我有以下模板对象:
template< typename type_1,typename type_2 > struct result { // I want to enable these two constructors only if type_1 != type_2 result( type_1 f ) : foo{f} {} result( type_2 b ) : bar{b} {} // I want to enable this constructor only if type_1 == type_2 result( type_1 f,type_2 b ) : foo{f},bar{b} {} // Other member functions removed. type_1 foo; type_2 bar; };
如何根据需要使用std :: enable_if启用或禁用构造函数?
例如:
这个只有前两个构造函数:
result<string,int> // type_1 != type_2
这个只有第三个构造函数:
result<int,int> // type_1 == type_2
解决方法
This似乎有效,但我不确定它是最佳方式
因此,只需将具有默认值的新模板参数添加到构造函数以启用SFINAE
#include <type_traits> template< typename type_1,typename type_2 > struct result { // I want to enable these two constructors only if type_1 != type_2 template<typename T1 = type_1,typename T2 = type_2> result( type_1 f,typename std::enable_if<!std::is_same<T1,T2>::value>::type * = nullptr ) : foo{f} {} template<typename T1 = type_1,typename T2 = type_2> result( type_2 b,T2>::value,int >::type * = nullptr ) : bar{b} {} /* ^^^ need this to avoid duplicated signature error with above one*/ // I want to enable this constructor only if type_1 == type_2 template<typename T1 = type_1,type_2 b,typename std::enable_if<std::is_same<T1,T2>::value>::type * = nullptr ) : foo{f},bar{b} {} type_1 foo; type_2 bar; }; int main() { result<int,double> r(1); result<int,double> r2(1.0); result<int,int> r3(1,2); // disbaled //result<int,double> r4(1,2.0); //result<int,int> r5(1); }
原文地址:https://www.jb51.cc/c/114023.html
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。