更改构造函数优先级
||
是否可以为所有派生类型定义一个构造函数和一个模板构造函数？
我已经编写了这个测试用例来说明我的问题：
#include <iostream>
class Variant;
class CustomVariant;
class Variant
{
public:
Variant(void)
{}
Variant(const Variant&)
{
std::cout << \"ctor\" << std::endl;
}
Variant(const CustomVariant&)
{
std::cout << \"custom\" << std::endl;
}
template<typename T>
Variant(const T&)
{
std::cout << \"template\" << std::endl;
}
};
class CustomVariant : public Variant
{
};
class DerivedVariantA : public CustomVariant
{
};
class DerivedVariantB : public CustomVariant
{
};
int main(void)
{
DerivedVariantB dvb;
Variant v(dvb);
// expcected output: \"custom\" instead of \"template\"
}
没有找到相关结果
已邀请:
2 个回复
闪脖
无需转换即可致电（a）；参数类型是精确匹配，。 调用（b）需要派生到基本的转换。因此，（a）比（b）更好。 如果您使用类型为的参数调用构造函数，则两个构造函数都是完全匹配的，因此选择（b），因为在其他所有条件相等的情况下，非模板优先于模板。 您可以使用禁止使用从衍生的模板：template<typename T> Variant(const T&, typename std::enable_if< !std::is_base_of<Variant, T>::value, void* >::type = 0) { std::cout << \"template\" << std::endl; }派生时模板无法实例化，因此在过载解析期间将无法使用该模板。 ѭ11和ѭ12是C ++ 0x中C ++的新增功能，您的编译器和标准库可能支持它们。如果没有，您也可以在C ++ TR1或Boost.TypeTraits中找到它们。亲奋漏
class DerivedVariantB ; // Forward Declaration class Variant { public: // ... Variant( const DerivedVariantB &obj ) { std::cout << \"\\n DerivedVariantB \\n\"; } };