使用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派生的所有类型(内置类型等)调用模板函数,但是我希望为从Base派生的类型调用非模板重载,而不需要客户端显式强制转换。我还尝试使重载成为模板的特殊化,但是在这种情况下也会发生相同的行为。得到我要找的东西的惯用方式是什么?

最佳答案

在所有条件都相同的情况下,非模板功能优于功能模板。但是,在您的情况下,所有条件都不相等:(A)与T = Derived完全匹配,但(B)需要参数的派生到基数转换。

您可以通过使用SFINAE(替代失败不是错误)来解决特定情况(如这种情况)的情况,以防止使用源自Base的类型实例化(A):

#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)
{
}

08-26 19:36
查看更多