C++17类模板推导

Question

我正在尝试在 C++17 中的类模板推导下。
我编写了一个示例类模板，可以在不指定模板类型的情况下进行构建。std::unique_ptr不能在不指定类型的情况下构造。
我需要帮助来理解为什么会这样。

使用 clang 5.0 编译的代码

// Please don't worry about memory leaks, etc. This is sample code anyways.
template<typename T, typename deleter = std::default_delete<T>>
struct Sample
{
T* x_;
deleter func_;

Sample(T* x = nullptr, deleter func = deleter{})
: x_(x)
, func_(func)
{
}
};

auto sample = Sample(new int(10));
std::cout << *(sample.x_) << '\n';

下面的代码无法编译。

auto ptr = std::unique_ptr(new int(10)); 

Answer 1

类模板std::unique_ptr比您的玩具示例更复杂。它的主要所有权构造函数采用以下形式

unique_ptr<T, D>::unique_ptr(pointer p)

哪里pointer是D::pointerorremove_reference_t<D>::pointer或T*。因此，如果您想从构造函数推导出类模板参数，您首先需要知道哪个删除器提供了指针类型，这会导致循环依赖，因此您无法从构造函数参数中知道什么T和D应该是什么。为了避免任何意外的误解，标准明确要求此构造函数不能用于模板参数推导（感谢@TC 指出准确的措辞！）。

一个简单的例子是，对于一个类型的参数，U*你可以推导出unique_ptr<U>或unique_ptr<U[]>; 显然两者都不是更好，错误的选择将是一场灾难。

长话短说std::unique_ptr，与 的情况不同， 的类模板参数不能从构造函数参数中推导出来Sample。