为什么std :: unique_ptr不允许类型推断？

Question

一切都在标题中.读取/写入我的示例的第二行会更容易,因为模板参数的类型很明显:

#include <memory>

struct Foo{};

int main()
{
  // redundant: good
  auto foo1 = std::unique_ptr<Foo>(new Foo());
  // without explicitness: does not compile
  auto foo2 = std::unique_ptr(new Foo());
}

当然,如果你想使用多态,我们总是写:

auto base = std::unique_ptr<Base>(new Derived());

这种约束的原因是什么？

Answer 1

这不是一个独特的问题std::unique_ptr- 模板类的实例化不会自动从C++之前的构造函数中推导出类型17.这就是为什么等设施std::make_unique,std::make_pair并std::make_tuple存在:他们使用的模板函数参数推导,以减少样板.

在C++ 17中,您将能够编写:

auto foo2 = std::unique_ptr(new Foo());

由于类模板演绎 -假设P0433R0被接受,还增加了一个扣引导到std::unique_ptr.

推导指南是必需的,因为std::unique_ptr采用原始指针的构造函数使用pointer类型别名,其定义如下:

std::remove_reference<Deleter>::type::pointer如果该类型存在,否则T*.必须满足NullablePointer.

类型别名pointer是不可导入的上下文,因此P0433R0建议添加:

template<class T> unique_ptr(T*) 
    -> unique_ptr<T, default_delete<T>>;

template<class T, class V> unique_ptr(T*, V) 
    -> unique_ptr<T, default_delete<T, V>>;  

template<class U, class V> unique_ptr(U, V) 
    -> unique_ptr<typename pointer_traits<typename V::pointer>::element_type, V>;  

这将使类模板演绎的std::unique_ptr.

Answer 2

没有扣除指南的真正原因是：

没有从指针类型推导类模板参数，因为无法区分从数组和非数组形式的 new 获得的指针

旁注：另一个答案承诺c ++ 17将允许编译：

这根本不是那么回事。也是因为上面的原因。