c++ - VS2017 上 SFINAE 的编译错误
问题描述
#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 的错误?
解决方案
它看起来像一个 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)。
推荐阅读
- c# - 如何将内容对象(在控制器中)放入另一个要返回的对象中
- php - 带有 PDO 的订购结果和准备好的语句
- elasticsearch - 如何通过 Elasticsearch 6.7 版中的 Painless 脚本获取“嵌套”类型数组的大小?
- php - 在 Laravel 中检查用户是否在线
- php - 从 laravel 的下拉列表中获取选定的值
- c++ - 为什么我在输出开始时会多出一行?
- google-apps-script - 对我的列标题使用“=TRANSPOSE()”,当我在原始数据中插入新行时,如何保持数据链接?
- node.js - 为什么 node-sass 在 npm 重建时失败?
- plsql - 全局临时表在提交时清除
- javascript - 100% CPU 使用率