c++ - unique_ptr 中的模板和继承情况下的重载解析

Question

我有两个类:

class Base {};
class Derived : public Base {};

还有两个重载函数:

void call(std::unique_ptr<Base> op)
{
    std::cout << "First overloading" << std::endl;
}

template<class F>
void call(F f) 
{
    std::cout << "Second overloading" << std::endl;
}

让我们用 Derived 的 unique_ptr 来调用它

call(std::make_unique<Derived>());

我希望调用第一个函数，但是却调用了第二个函数。为什么编译器选择通用函数而不是特定函数？重载解析不支持继承和多态？如果是这样，我该如何修复它并调用第一个函数？

Answer 1

您的两个重载都是有效的候选者。如果您删除任何一个，剩下的一个仍然是有效的重载。在这种情况下，从广义上讲，将选择的重载将是与提供的参数最匹配的重载。

您提供了 std::unique_ptr<Derived> .在第一种情况下，它期望 std::unique_ptr<Base> .存在从 std::unique_ptr<Derived> 的隐式转换至 std::unique_ptr<Base> ，所以这个重载是合法的，但它确实需要转换。

在第二种情况下，F简单地推断为 std::unique_ptr<Derived> .它不需要转换，并且与提供的参数更匹配。因此，它是首选。

编辑:看来我错过了有关修复的部分。

您可以使接受 unique_ptr 的重载函数模板代替。这样，您可以获得与第一个重载的精确匹配，从而无需进行转换。您可以使用 std::enable_if禁用 unique_ptr 的重载不兼容的类型:

#include <memory>
#include <type_traits>

class Base {};
class Derived : public Base {};

template<class T>
std::enable_if_t<std::is_base_of<Base, T>::value>>
call(std::unique_ptr<T>);

template<class T>
void call(T);