VS2017 上 SFINAE 的编译错误
compile error for SFINAE on VS2017
#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"模板":多个部分专用化与模板参数列表匹配。
但是在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 错误?
它看起来像一个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>;
注意:此代码(以及您的代码(不允许您检测方法。
我建议您报告该问题(Help -> Send Feedback -> Report a problem
是Visual Studio(。
相关文章:
- std::is_base_of表示ctor编译错误
- Qt5:使用QCommandLineParser类时出现奇怪的编译错误
- 如何修复sfml c++代码编译错误
- 使用 MATLAB 编码器生成C++代码:编译错误"undefined reference to `rgb2gray_tbb_real64'"
- 使用外部SDK工具链文件在VisualStudio上生成项目编译错误
- vscode下的Arduino代码出现意外编译错误
- 第三方 API 中的编译错误 - Visual Studio
- std::cout输出int时出现编译错误
- 奇怪的代码抛出编译错误模板< J,int aSize=10> C2143:语法错误:在"<"之前缺少";"
- 提升图广度优先搜索前置编译错误
- C++ 中的编译错误:未定义对"主"的引用 collect2:错误:ld 返回 1 个退出状态
- 使用带有 ref 参数的成员函数创建线程时出现编译错误
- 我在C++中遇到了这个奇怪的编译错误
- 在C++中使用 Catch 测试框架编译错误"error: expected ';' at end of declaration list"
- 使用 std::enable_if 限制派生类的模板参数时出现编译错误
- 现代OpenGL和GLEW Libraray的编译错误
- C++ 编译错误:意外的类型名称"字符串":预期的表达式
- C ++程序编译错误,找不到/访问文件
- 使用直接大括号初始化时,C++ 编译错误"声明末尾的预期";"
- 为什么传递非静态成员函数会导致编译错误?