模板化的成員函數typedefs無法編譯

Question

#include <iostream>
#include <string>
using namespace std;

void printstr( const string & s ) { cout << s << endl; }

template < typename A >
class Test
{
public:
    typedef void (*Func)( const A & );
};

typedef void (*Func)( const string & );

template < typename A >
void bind(
        Test< A >::Func f,           //<---- does NOT compile
        //Func f,                    //<---- compiles & works!
        //void (*f)( const A & ),    //<---- compiles & works!
        const A & a) { f( a ); }


int main( )
{
    bind( printstr, string("test") );
    return 0;
}

在上面的代碼中，我試圖使用另一個類的函數指針typedef。 如圖所示，它不會編譯，但是用其他兩行中的任何一條代替注釋Test< A >::Func f,行，它都可以正常編譯！ 這是我在C ++中做不到的事情嗎？ 需要什么語法？

使用g ++ 4.4.3，我得到

test.cpp:20: error: variable or field "bind" declared void
test.cpp:20: error: expected ")" before "f"
test.cpp:23: error: expected primary-expression before "const"

Answer 1

名稱Test<A>::Func是一個從屬名稱，需要以typename作為前綴

typename Test< A >::Func f,  

有關更詳細的說明，請查看以下答案中的約翰內斯說明。

• 為什么必須在何處以及為什么要放置“模板”和“類型名”關鍵字？