爲什麼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()); 

感謝class template deduction - 假設P0433R0被接受，還增加了一個扣除指南到std::unique_ptr。

扣除導是必需的因爲std::unique_ptr's constructor that takes a raw pointer使用其定義如下的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。