c++ - MSVC2015 中 SFINAE 成员检测的错误输出

Question

我正在学习 SFINAE 以及如何使用 void_t 轻松实现它。但是对于不同的编译器我得到了不同的输出:

//pre c++17 void_t definition:
template<class... Ts> struct make_void {typedef void type;};
template<class... Ts> using void_t = typename make_void<Ts...>::type;

//check for member helper structures
template<class, class = void>
struct has_abc : std::false_type
{ };

template<class T>
struct has_abc<T, void_t<decltype(T::abc)>> : std::true_type
{ };

class has
{
public:
    void abc();
};

class has_not
{ };

int main()
{
    std::cout << has_abc<has>::value << std::endl;
    std::cout << has_abc<has_not>::value << std::endl;
}

GCC 5.3.0 打印预期输出 1 0，但 MSVC 2015 打印 0 0，为什么？

---

编辑:

额外的示例 GCC 5.3.0 代码可能违反了 c++ 语法:

template<class T>
void test()
{
    std::cout << std::is_same<decltype(T::func), void(T::*)(void)>::value << std::endl;
}

class Test
{
public:
    void func();
};

int main()
{
    test<Test>();
}

输出:

1

Answer 1

事实上，您的代码存在错误。 MSVC 是对的，而 GCC 是完全错误的。

指向成员函数的指针的语法不是那样工作的。您必须将& 放在表达式前面:

//check for member helper structures
template<class, class = void>
struct has_abc : std::false_type {};

template<class T>
struct has_abc<T, void_t<decltype(&T::abc)>> : std::true_type {};
//     Notice the '&' there ------^

T::member 的语法只适用于静态数据成员，typename T::member 适用于成员类型。在使用 sfinae 时，区分小的语法属性和差异很重要。

作为评论中的请求，这里有多个声明表明如果没有 GCC 5.3 的 & 就不能引用非静态成员:https://godbolt.org/g/SwmtG2

这是一个 GCC 示例:http://coliru.stacked-crooked.com/a/0ee57c2c34b32753

这是一个 MSVC 示例:http://rextester.com/FJH22266

这是 C++ 标准中明确指出没有 & 的部分，表达式的格式不正确:

[expr.prim.id]/2

An id-expression that denotes a non-static data member or non-static member function of a class can only be used:

• as part of a class member access ([expr.ref]) in which the object expression refers to the member's class or a class derived from that class,

• or to form a pointer to member ([expr.unary.op]), or

• if that id-expression denotes a non-static data member and it appears in an unevaluated operand. [ Example:

-

 struct S {
   int m;
 };

 int i = sizeof(S::m);           // OK
 int j = sizeof(S::m + 42);      // OK

— end example ]

---

正如我们在聊天中讨论的那样，我们得出的结论是，这两个编译器存在差异的原因是 GCC 和 MSVC 都存在阻止此代码正常运行的错误。如前所述，如果存在未正确实现规则的无关类，MSVC 将拒绝应用 SFINAE 规则:http://rextester.com/FGLF68000

请注意，有时，更改类型特征的名称有助于 MSVC 正确解析我的代码，但它大多不可靠。

如果您希望您的代码按预期工作，请考虑向 Microsoft 报告错误并升级您的 GCC 版本。