C++ 当模板参数推导失败时

Question

为什么 C++ 不能确定我打算创建一个 unique_ptr<A>用这个语法？ (a 之前已声明为 unique_ptr<A> )

a = unique_ptr(new A());

必须包含 <A> 似乎非常多余.这适用于我使用的大多数函数模板，为什么 unique_ptr 不行？

编辑:C++ 现在支持 make_unique，没有冗余。

Answer 1

std::unique_ptr 是一个class 模板，而不是function 模板。参数推导只发生在 function 模板，而不是 class 模板。

一个常用的技巧是编写一个函数模板，创建一个实例化类模板类型的对象，例如:

template <typename T>
std::unique_ptr<T> make_unique_ptr(T* ptr) 
{
    return std::unique_ptr<T>(ptr);
}

不过，对于 std::unique_ptr，我会避免这样做:std::unique_ptr 对象应该直接取得动态分配对象的所有权，所以不应该需要这个。您的代码应该写成:

std::unique_ptr<A> a(new A());

或者，如果 a 已经存在，可以使用对 reset() 的调用:

a.reset(new A());

---

至于为什么类型推导不适用于实例化类模板，请考虑以下示例:

template <typename T>
struct X
{
    template <typename U> X(U) { }
};

T 无法从构造函数的调用中推导出来。即使在“更简单”的情况下，构造函数的参数类型为 T，由于构造函数可以重载，仍然会出现问题。