c – 为什么编译器通过重载的非模板函数选择此模板函数？

发布时间：2020-12-16 07:52:16 所属栏目：百科来源：网络整理

导读：使用VC 2010,给出以下内容： class Base { };class Derived : public Base { };templateclass T void foo(T t); // Avoid foo(Base base); // BDerived d;foo(d); // calls Afoo(static_castBase(d)); // calls B 我以前要叫“B”.我可以通过转换到基地来实

使用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)
{
}

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!