使用模板函数指针声明模板函数

Question

我第一次同时使用模板和指向成员函数的指针，我偶然发现了以下问题。

我为 typedef 声明了一个 struct Proxy，因为模板和 typedef 不能一起工作（我知道这在 C++11 中应该是可能的，但 MSVC++ 不接受它）。现在我想声明一个模板化（！）函数，它使用具有模板类型的代理。这就是导致编译时出错的原因。请看一下下面的（简化的）代码，我添加了一些示例来澄清问题。

我正在使用标准 VC++ 2010（无 CLR/CLI）。

template<typename T>
struct Proxy
{
    typedef bool (CClass::*MethodPtr)(const T* const objectX);
}

class CClass
{
    // warning: dependent name is not a type
    // error:: Method can not be a template definition
    template<typename T>
    bool Method( Proxy<T>::MethodPtr );

    // this works, but i want to specify T instead of int of course
    template<typename t>
    bool method( Proxy<int>::MethodPtr );

    // this is what i use
    template<typename T>
    bool Method( bool (CClass::*MethodPtr)(const T* const objectX) );
}

template<typename T>
bool CClass::Method( bool (CClass::*MethodPtr)(const T* const objectX) ) 
{
    // next line compiles without problems
    Proxy<T>::MethodPtr ptr2;
}

Answer 1

您需要使用 typename 来指示依赖名称是类型；特别是， Method 的第一个声明应该是：

template<typename T>
bool Method( typename Proxy<T>::MethodPtr );

你所说的编译没有问题的行（但只是因为 VC++ 有一个接受格式错误的代码的“扩展”）应该是

// next line compiles without problems
typename Proxy<T>::MethodPtr ptr2;

：类定义之后也缺少分号，并且在 Proxy 定义之前缺少 CClass 的前向声明。

Answer 2

// warning: dependent name is not a type
// error:: Method can not be a template definition
template<typename T>
bool Method( Proxy<T>::MethodPtr );

MethodPtr 依赖于模板参数 T，您应该使用 typename。

// next line compiles without problems
Proxy<T>::MethodPtr ptr2;

您也应该在那里使用 typename ，不确定为什么它会编译。