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;
}

让我们用 Derivedunique_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);

Answer 2

问题是，当T被推导为std::unique_ptr<Derived>时，第二次重载是完全匹配；而第一个重载需要从 std::unique_ptr<Derived> 到 std::unique_ptr<Base> 的隐式转换。然后第二个在重载决议中获胜。

您可以添加申请SFINAE：

template<class F>
std::enable_if_t<!std::is_convertible_v<F, std::unique_ptr<Base>>> call(F f) 
{
    std::cout << "Second overloading" << std::endl;
}

LIVE

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

Overload resolution in case of templates and inheritance in unique_ptr

c++

overload-resolution