typenameやtemplateの許される場所 - 梶本裕介の日記

http://d.hatena.ne.jp/faith_and_brave/20080128/1201510970#c1201580416について．昨晩は睡魔に負けてしまいました＞＜書きかけですが，とりあえずこの辺で．そのうちそもそもなぜこんなものが必要なのかと言った所から説明した完全版を書こうと思います．usingやfriendの絡んだ話も書いてないし・・・．templateの外template外では，typename，template共に使ってはいけません． struct bar { typedef int type; template class T> struct tmpl { }; }; struct foo { typedef typename bar::type x; // error typedef bar::template tmplint> y; // error };

[amachang]

typename や template が許される場所。explicit specialization の中では使ってはダメ。／ temlate palameter が決まらないと instantiation されない（？）名前に対しては typename や template が必須ってことでいいんですかね。難しいです。