c++ - SFINAE 在 VS2017 上的编译错误

Question

#include <type_traits>
#define str_cat(first, second) first##second
#define has_xxx(member_name) \
template<class T, class U = void> \
struct str_cat(has_, member_name): std::false_type {};\
template<class T>\
struct str_cat(has_, member_name)<T, typename SFINAE<typename T::member_name>::type>\
    : std::true_type {};\
template<class T>\
struct str_cat(has_, member_name)<T, typename SFINAE<decltype(T::member_name)>::type>\
    : std::true_type {};

template<class T>
struct SFINAE {
    using type = void;
};

struct A {
    int i = 0;
    void foo() {}
    using void_t = void;
};

struct B {
    int j = 0;
    void goo() {}
    using void_t = void;
};

has_xxx(i)
has_xxx(foo)
has_xxx(j)
has_xxx(goo)
has_xxx(void_t) //compile error if `has_xxx(i)` appears at the head

int main()
{

    //has_i<A>::value; // true
    //has_i<B>::value; // false

    has_foo<A>::value; // true
    has_foo<B>::value; // false
    has_goo<B>::value; // true

    has_void_t<A>::value; // true
    has_void_t<B>::value; // true

    return 0;
}

在 VS2017 上编译失败
https://gcc.godbolt.org/z/JkOhLi
错误:C2752"template":多个部分特化匹配模板参数列表。
但是在 gcc 和 clang 上没问题。 http://coliru.stacked-crooked.com/a/6b9490f6b127ae88
如果我改变宏的顺序，它会编译:

has_xxx(foo)
has_xxx(i) //now compiles successfully
has_xxx(j)
has_xxx(goo)
has_xxx(void_t) //compile error if `has_xxx(i)` appears at the head

或者只更改结构 A 中成员的名称:

struct A {
    int k = 0; // i -> k, now compiles successfully !!!!
    void foo() {}
    using void_t = void;
};

我想不通原因。 宏的顺序重要还是 SFINAE 上的 MSVC 错误？

Answer 1

它看起来像一个 MSVC 错误，但是可以像这样轻松避免它:

#include <type_traits>

#define str_cat(first, second) first##second
#define custom_trait(trait_name, expr) \
  template<class T, class U = void> \
  struct trait_name: std::false_type {}; \
  template<class T> \
  struct trait_name<T, std::void_t<expr>> : std::true_type {};
#define has_xxx(member_name) \
  custom_trait(str_cat(has_type_, member_name), typename T::member_name) \
  custom_trait(str_cat(has_value_, member_name), decltype(T::member_name)) \
  template<class T>\
  using str_cat(has_, member_name) = \
      std::bool_constant<str_cat(has_type_, member_name)<T>::value \
                      || str_cat(has_value_, member_name)<T>::value>;

注意:此代码(以及您的代码)不允许您检测方法。

我建议您报告问题(帮助 -> 发送反馈 -> 报告问题 是 Visual Studio)。