我正在尝试在 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));
类模板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。
本文收集自互联网，转载请注明来源。
如有侵权，请联系[email protected] 删除。
我来说两句