我试图在struct A中留下一个函数foo(打印0),如果它的参数有模板方法isA< void>和另一个(打印1),如果没有.这段代码(简化为下面的最小例子)编译(尝试使用gcc 6.1.0和clang-3.9.0以及显式–std = c 14选项)并运行.
但它打印1,但是,我确信,它将打印0.我想知道我错在哪里,但真正的问题是:如何使这项工作正确?
请只使用C 14解决方案.
#include <type_traits>
#include <iostream>
#include <utility>
using std::enable_if;
using std::declval;
using std::true_type;
using std::false_type;
using std::cout;
template<int M>
struct ObjectX
{
template<typename C>
bool isA() { return false; }
};
struct XX : ObjectX<23456> {
int af;
};
template <typename ObjType> using has_dep = decltype(declval<ObjType>().template isA<void>());
template <typename, typename = void>
struct has_isa : public false_type {};
template <typename ObjType>
struct has_isa<ObjType, has_dep<ObjType> > : public true_type {};
template<typename ObjType>
struct A
{
template<typename T = void>
typename enable_if<has_isa<ObjType>::value, T>::type
foo() {
cout << "called foo #0" << "\n";
}
template<typename T = void>
typename enable_if<!has_isa<ObjType>::value, T>::type
foo() {
cout << "called foo #1" << "\n";
}
};
int
main()
{
A<XX> axx;
// XX().template isA<void>(); -- to check, that we can call it and it exists
axx.foo();
return 0;
}
解决方法:
这个程序有两个问题.
首先,has_dep< XX>是布尔.当我们尝试has_dep< XX>时,添加默认模板参数意味着这实际上是has_dep< XX,void>.但专业化是has_dep< XX,bool> – 这与我们实际查找的内容不符.布尔与虚空不符.这就是为什么has_dep< XX>是false_type.对此的解决方案是std::void_t
,我建议阅读该Q / A以了解其工作原理.在您的专业化中,您需要使用void_t< has_dep< ObjType>>代替.
其次,这是不对的:
template<typename T = void>
typename enable_if<has_isa<ObjType>::value, T>::type
SFINAE仅发生在替换的直接上下文中,并且类模板参数不在函数模板替换的直接上下文中.这里正确的模式是:
template <typename T = ObjType> // default to class template parameter
enable_if_t<has_isa<T>> // use the function template parameter to SFINAE
foo() { ... }
进行这两个修复,程序按预期工作.
标签:c,templates,c14,sfinae 来源: https://codeday.me/bug/20190727/1551199.html
本站声明: 1. iCode9 技术分享网(下文简称本站)提供的所有内容,仅供技术学习、探讨和分享; 2. 关于本站的所有留言、评论、转载及引用,纯属内容发起人的个人观点,与本站观点和立场无关; 3. 关于本站的所有言论和文字,纯属内容发起人的个人观点,与本站观点和立场无关; 4. 本站文章均是网友提供,不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属;如您发现该文章侵犯了您的权益,可联系我们第一时间进行删除; 5. 本站为非盈利性的个人网站,所有内容不会用来进行牟利,也不会利用任何形式的广告来间接获益,纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。