C++11 標準では、次の文法で記述さtype-name
れています。class-name
type-name:
class-name
enum-name
typedef-name
simple-template-id <--- HERE
class-name:
identifier
simple-template-id
私の質問はsimple-template-id
、 の直系の子孫である についてtype-name
です。
simple-template-id
であるtype-name
が ではないを持つことは可能class-name
ですか?
たとえばfoo<bar>
、型に名前を付ける場合、それは非クラス型になる可能性がありますか?
simple-template-id
(答えが「いいえ」の場合、下で繰り返される理由を見逃している他の理由はありtype-name
ますか?)