Question

似乎替换失败有时是一个错误。
有人能告诉我什么时候会出错，什么时候会出错？
请参阅运行结果here
谢谢！

感谢您提供丰富的答案！
这段代码不能用g ++ 4.8编译，但与clang ++ 3.2，g ++ 4.7.3和intel 13.0.1一样正常工作。所以现在我确定这是g ++ 4.8的一个bug。我已经向gcc bugzila报告过了。

In substitution of ‘template<class C> static constexpr int has<T>::test(decltype (sizeof (C:: x))) [with C = C; T = foo] [with C = foo]’:
required from ‘const int has<foo>::value’
required from here
error: invalid use of non-static member function ‘std::string foo::x()’

代码

template <typename T>
struct has {
    template <typename>
    constexpr static int test(...) {
      return 0;
    }
    template <typename C>
    constexpr static int test(decltype(sizeof(C::x))) {  // Doesn't compile.
      return 1;   // Is a member variable.
    }
    template <typename C, int c =
        sizeof(decltype(((C*)nullptr)->x()))>
    constexpr static int test(int) {
      return 2;   // Is a member function.
    }
    static const int value = test<T>(0);
};

struct foo {
    string x();
};
struct bar {
    string x;
};
int main() {
    std::cout << has<int>::value << std::endl;
    std::cout << has<foo>::value << std::endl;
    std::cout << has<bar>::value << std::endl;
}

Answer 1

规则本质上是错误必须依赖于它立即属于的声明的模板参数。

此示例看起来像编译器错误。它没有正确地解决特定的语法缺陷。

如果您希望它在类具有名为x的非静态成员函数时返回成功，则应使用&C::x，因为您可以使用指向成员函数的指针而不是简单的将其命名为独立的子表达式。

我首选的方法是

template< typename, typename = void >
struct has_x
    : std::false_type {};

template< typename t >
struct has_x< t, typename std::enable_if< & t::x == & t::x >::type >
    : std::true_type {};

替换失败有时是一个错误

1 个答案: