Question

假设以下相当简单的类：

struct A {
    bool toBool() const { return true; }
    template<typename T> T to() const { return T();}
};

现在，我想测试toBool：

的存在

template<typename From, typename To>
class has_toBool_func
{
    typedef char (&Two)[2];
    template<typename F, bool (F::*)() const> struct helper {};
    template<typename F> static char test(helper<F, &F::toBool>*);
    template<typename F> static Two test(...);
public:
    static const bool value = (sizeof(test<From>(0)) == sizeof(char));
};

已定义并使用：

::std::cout << "int: " << has_toBool_func<int, bool>::value
    << ", A: " << has_toBool_func<A, bool>::value << ::std::endl;

并且只产生预期的输出“int：0，A：1”。

为函数模板尝试相同的事情：

class has_to_func
{
    typedef char (&Two)[2];
    template<typename F, To (F::*)() const> struct helper {};
    template<typename F> static char test(helper<F, &F::to<To> >*);
    template<typename F> static Two test(...);
public:
    static const bool value = (sizeof(test<From>(0)) == sizeof(char));
};

::std::cout << "int: " << has_to_func<int, bool>::value
    << ", A: " << has_to_func<A, bool>::value << ::std::endl;

产生的不是预期的输出“int：0，A：1”，而是编译错误。

为什么会这样？当然：我该如何解决？

MSVC 2012

发出警告

warning C4346: 'F::to' : dependent name is not a type  
      prefix with 'typename' to indicate a type  
      see reference to class template instantiation 'xtd::has_to_func<From,To>' being compiled

这是无用的，因为从属名称实际上不是类型和错误

error C2998: 'char test' : cannot be a template definition

这也没什么用处......

ICC 13.0

首先给出错误

error : type name is not allowed  
        template<typename F> static char test(helper<F, &F::to<To>() >*);

（<To>已标记）

描述了这个问题，但仍然让我完全不知道为什么会发生这种情况和另一个错误

error : expected a ")"  
        template<typename F> static char test(helper<F, &F::to<To>() >*);

（标记了最后一个>）

我非常确定是完整的bollocks并且只是因为编译器感到困惑而显示出来。

Answer 1

将&F::to<To>作为模板参数传递给helper时，不应使用括号，并且应使用template消歧器告诉编译器：

to应该被解释为模板的名称;
后续的尖括号应该分隔模板参数而不是被解释为小于和大于：

template<typename F> static char test(helper<F, &F::template to<To> >*);
//                                              ^^^^^^^^^^^^^^^^^^^

将T添加为A::to<>()的返回类型后，这似乎对我有效（在GCC 4.7.2上测试）。这是live example。

测试成员函数模板

MSVC 2012

ICC 13.0

1 个答案: