C# と VB.NET の質問掲示板

後者の BBB や func をどう実用的に使いうるのか微妙に疑問が残るところだけど
まあ単純に技術的解説に絞ってみよう

後者でダメと書かれているほうの func は「非メンバー関数」なのだが、そこは理解できているかい？
どれかのクラスに属しているわけではない関数 main とか printf とかと同じ扱いなわけだ。
struct foo {
  int func(); // これは foo::func
};
int func(); // これは非メンバ func
提示コード後者は、こういう状況になっているわけだ。この２つの func は無関係な独立した存在。

つーことで、やりたいことがメンバー関数 func の定義を、クラス定義外で行うことであるとするなら
書き方の方針はこういうことになる
１．メンバー関数 func は AAA のメンバーである → AAA::func と書かなきゃならない
２．AAA は実は template であるため AAA<T> と書かなきゃならない
３．func の返却値の型は BBB なんだが、これは AAA の型だから AAA<T>::BBB と書く必要がある
と、この順に考え＋実装していくことになる

１．の時点で *** AAA::func() { ... } と書ける。
　　この時点で返却値の型はまだ考えていないので *** と適当にごまかしておく
２．を適用して *** AAA<T>::func() { ... } と修正
３．を適用して AAA<T>::BBB AAA<T>::func() { ... } となる
４．全体を template 化して
template<typename T> AAA<T>::BBB AAA<T>::func() { ... } で完了。

■No31437 (774RR さん) に返信

> ４．全体を template 化して
> template<typename T> AAA<T>::BBB AAA<T>::func() { ... } で完了。

BBBは依存名(dependent-name)なのでtypename付けないとダメですね。

template <typename T>
typename AAA<T>::BBB AAA<T>::func()
{
}


参考までに今日私が投稿したバグ報告

「C++で、依存名に対してtypenameを付けなくてもコンパイルが通ってしまう」
https://connect.microsoft.com/VisualStudioJapan/feedback/ViewFeedback.aspx?FeedbackID=403295

■No31491 (雲 さん) に返信
> あと、もう一つ、不思議に思ったことを書いておきます。
> 
> template <typename T>
> typename AAA<T>::BBB AAA<T>::func()
> {
> AAA<T>::BBB aaa; // <------- ここには、typename が必要ない？
> }
> 
> 上記は、VC2005ではコンパイルエラーにならないのですね。
 
それがコンパイルエラーにならないので、No31437で書いたように
Microsoftにバグ報告出してます。
typenameは必要です。