C++ SFINAE给出了“;继承构造函数不继承省略号;警告
我最近遇到了一个新的警告: 继承构造函数不继承省略号 我在试着吹管C++ SFINAE给出了“;继承构造函数不继承省略号;警告,c++,inheritance,c++11,compiler-warnings,sfinae,C++,Inheritance,C++11,Compiler Warnings,Sfinae,我最近遇到了一个新的警告: 继承构造函数不继承省略号 我在试着吹管 Object{42}; // ... into an init that handles integers ……还有 Object{3.14}; // ... into an init that handles FLOATS 。。。通过使用一些SFINAE狡猾的技巧: #define DECAY(T) typename std::decay<T>::type #def
Object{42}; // ... into an init that handles integers
……还有
Object{3.14}; // ... into an init that handles FLOATS
。。。通过使用一些SFINAE狡猾的技巧:
#define DECAY(T) typename std::decay<T>::type
#define IS_INTEGRAL(T) std::is_integral< DECAY(T) >::value
#define IS_FLOATING(T) std::is_floating_point< DECAY(T) >::value
#define SUBFAIL_UNLESS(PRED) typename X = \
typename std::enable_if<PRED>::type
// long, float
template<typename T, SUBFAIL_UNLESS(IS_INTEGRAL(T)) >
explicit Object( T&& t ) : Object{ pyob_from_integral(t) } { }
template<typename T, SUBFAIL_UNLESS(IS_FLOATING(T)) >
explicit Object( T&& t, ... ) : Object{ pyob_from_floating(t) } { }
private:
template<typename T> PyObject* pyob_from_integral( T t ) {
cout << "integral"; return nullptr;
}
template<typename T> PyObject* pyob_from_floating(T t) {
cout << "FLOATING"; return nullptr;
}
定义衰退(T)类型名称std::衰退::类型
#定义IS_积分(T)标准::IS_积分<衰减(T)>::值
#定义是浮点数(T)标准::是浮点数<衰减(T)>::值
#定义子邮件_,除非(PRED)typename X=\
typename std::enable_if::type
//长,漂浮
模板
显式对象(T&&T):对象{pyob_from_integral(T)}{
模板
显式对象(T&&T,…):对象{pyob_from_floating(T)}{
私人:
模板PyObject*pyob_from_integral(T){
cout当基类具有省略号运算符时,它在继承的基类中被忽略(使用…)继承时: 在本例中,类B有一个B::B(int),它将调用a::a(int,…),其中…等于nothing,因为默认参数值为nothing,但默认值是构造函数继承的唯一强制性选项,请参见标准12.9.1: “对于X的每个非模板构造函数(至少有一个带有默认参数的参数),从参数类型列表的末尾省略任何省略号参数规范并依次省略带有默认参数的参数而得到的构造函数集,以及”。。。对于至少有一个参数带有默认参数的X的每个构造函数模板,是指从参数类型列表的末尾省略任何省略号参数规范并依次省略带有默认参数的参数而得到的一组构造函数模板
我认为你不能用…继承一个构造函数,在这种情况下你也不能重新定义它,因为它将与继承的构造函数冲突。据我所知,OP试图通过引入省略号来解决的问题是,你不能用同一个签名定义两个函数(违反ODR) 签名的概念扩展到函数模板。但是,函数模板的签名包括其模板参数。根据最近的github草案,基于N4296: [defns.signature.temp]签名 名称、参数类型列表(8.3.5)、封闭名称空间(如有), 返回类型和模板参数列表 [basic.link]/9.4和[temp.over.link]指定在什么情况下两个函数模板是等效的。在OP的情况下,您可以通过稍微改变SFINAE的应用方式使这些函数模板的签名不同:
template<typename T,
typename std::enable_if< std::is_integral<T>::value, int >::type = 0>
explicit Object(T&&);
template<typename T,
typename std::enable_if<std::is_floating_point<T>::value, int>::type = 0>
explicit Object(T&&);
template::type=0>
显式对象(T&&);
模板
显式对象(T&&);
第二个(非类型)模板参数的类型是依赖于第一个模板参数的表达式。这些表达式区分两个模板;有关详细信息,请参阅[temp.over.link]/5.在OP中,第二个模板参数只是一个类型。因此,这两个模板的模板参数是等效的,只是默认模板参数有所不同,它不是签名的一部分
使用构造函数继承时,省略号的问题是继承的构造函数发出省略号。这是构造函数继承的一个怪癖,如[class.inhctor]中所述/1.4继承OP中的两个ctor时,这会导致继承构造函数的候选集中出现两个具有相同签名的函数模板。我看不出这在标准中是如何解决的;clang++和g++一致认为这是非法的,ctor“不能继承”或“不能重载”
如果您使用
typename std::enable_If::type=0
,我想您不需要省略号。请看@dyp,那太棒了。那“…”一开始就很难看。但是它是如何工作的呢?为什么要使用那些定义而不是模板别名作为decay\t
?[temp.over.link]/5引用ODR来指定模板参数中出现的表达式的等价性。我明白了!在我的OP中,我有两个具有相同签名的模板。编译器必须在尝试替换和SFINAE丢弃一个候选模板之前检查这一点(并因重复定义错误而失败)(理由是第二个参数的默认值无效)。谢谢dyp!
template<typename T,
typename std::enable_if< std::is_integral<T>::value, int >::type = 0>
explicit Object(T&&);
template<typename T,
typename std::enable_if<std::is_floating_point<T>::value, int>::type = 0>
explicit Object(T&&);