テンプレートあれこれ (4) -- typename の役割 - C++ Labyrinth

テンプレートあれこれ (4) -- typename の役割 typename というキーワードには、2通りの用法がある。 "static" もそうだが、同一のキーワードに複数の意味を持たせるのは、 C++ の悪い癖だな。なんとかしてほしいところ。 で、typename の一つの意味は、テンプレート引数として 「型」を取ることを宣言する場合。 これは、"class" キーワードで置換できる。 たとえば、次の (A) と (B) は同値である。 template<typename T> class Foo; // (A) template<class T> class Foo; // (B) まあ、これは誰でも知っていると思う。 typename には、もう一つ、後続する識別子が 「型名」であることを明示するという重要な働きがある。たとえば、 template<class T> class

[t-murachi]

型名に見えるものはとりあえず型名として解釈する、というのが M$ のスタンスなんだろうな。それに対して、標準としては、将来的に言語を拡張できる余地を残しておきたいので、迂闊なルールは作れない。

[mooz]

typename の次に来る識別子が「型名」であることをコンパイラに伝える。

[tyru]

typenameには『後続する識別子が型名であることを明示するという重要な働きがある』

[matsutakegohan1]

[]