テンプレートメンバ関数

Question

：

template<class X> struct A { 
    template<int I> void f() {} 
}; 

template<class T> void g() 
{ 
    A<T> a; 
    a.f<3>(); // Compilation fails here (Line 18) 
} 

int main(int argc, char *argv[]) 
{ 
    g<int>(); // Line 23 
} 

コンパイラ（GCC）は言う：

hhh.cpp: In function 'void g()':

hhh.cpp:18: error: expected primary-expression before ')' token

hhh.cpp: In function 'void g() [with T = int]':

hhh.cpp:23: instantiated from here

hhh.cpp:18: error: invalid use of member (did you forget the '&' ?)

これは、なぜ誰も説明できますか？それを働かせる方法はありますか？

Answer 1

次のコードを試してみてください：14.2/4 C++ 03標準によると

template<class T> void g() 
{ 
    A<T> a; 
    a.template f<3>(); // add `template` keyword here 
} 

を：

When the name of a member template specialization appears after . or -> in a postfix-expression, or after nested-name-specifier in a qualified-id, and the postfix-expression or qualified-id explicitly depends on a template-parameter (14.6.2), the member template name must be prefixed by the keyword template . Otherwise the name is assumed to name a non-template.

今後のC++標準はまだn2857 14.3/4を起草するに従って、このキーワードを必要としているようです。コンパイラの中には、エラーなしで元のコードをコンパイルできる特別なモードがあります（これは、緩和モードと呼ばれています）。

Answer 2

ここで、タイプTは定義されていますか？

関数g（）を呼び出すときには、Tを知らなければなりません。そうでなければ、Tが未定義であるというコンパイラエラーの準備ができていなければなりません。

Answer 3

使用しているコンパイラを教えてください。問題のコードは、

int main() { 
    g<int>(); 
} 

を追加して問題なくコンパイルしました。Microsoft Visual Studio 9のcl.exeを使用してコンパイルしました。

私は試みたG ++のさまざまなバージョンで失敗しました。Comeauオンラインコンパイラもありました。