使用VC 2010,给出以下内容:
class Base { }; class Derived : public Base { }; template<class T> void foo(T& t); // A void foo(Base& base); // B Derived d; foo(d); // calls A foo(static_cast<Base&>(d)); // calls B
我以前要叫“B”.我可以通过转换到基地来实现这一点,但为什么这是必要的?
我想要为从Base(内置类型等)派生的所有类型调用模板函数,但是我想要从Base派生的类型调用非模板重载,而不需要客户端显式转换.我也尝试过载模板的专业化,但在这种情况下会发生相同的行为.什么是惯用的方式来获得我正在寻找什么?
解决方法
所有的东西是相同的,非模板函数优于函数模板.然而,在你的情况下,所有的事情都不相等:(A)与T = Derived完全匹配,但(B)需要对参数进行派生到基础的转换.
您可以通过使用SFINAE(替换失败不是错误)来解决具体情况(如此),以防止(A)使用从Base派生的类型实例化:
#include <type_traits> #include <utility> template <typename T> typename std::enable_if< !std::is_base_of<Base,T>::value >::type foo(T& x) { } void foo(Base& x) { }