c++ - 函数模板和派生类

Question

如果是这段代码，为什么 foo(d) 调用模板函数而不是 'base' 函数？有没有办法让它在不显式编写另一个函数重载的情况下调用基本函数？

template <class T> void foo(T val)
{
    printf("template called\n");
}

class Base
{
};

void foo(const Base &val)
{
  printf("Base called\n");
}

class Derived : public Base
{   
};

int main() {
    Derived d;
    foo(d);
    return 0;
}

Answer 1

why does foo(d) call the template function rather than the 'base' function?

因为对于模板函数foo，T被推导为Derived，所以是精确匹配。对于非模板，需要进行派生到基础的转换。

您可以使用 SFINAE 来完成;使函数模板仅适用于不是从 Base(或 Base 本身)派生的类型。

template <class T> 
std::enable_if_t<!std::is_base_of_v<Base, T>> foo(T val)
{
    printf("template called\n");
}

LIVE