この特定のケースでテンプレートパラメータが必要なのはなぜですか？

Question

私はこのコードを持っている：驚きと

struct Base {}; 

template<typename T> 
struct Foo : Base {}; 

struct Bar { 
    template<typename T> //   v--- What's happening here? 
    Bar(T foo) : baz{std::make_unique<Foo>(foo)} {} 

    std::unique_ptr<Base> baz; 
}; 

を、GCCとクランを受け入れ、それをコンパイルします。それはFooのテンプレートパラメータを推定するようですが、それは意味をなさないでしょう。テンプレートテンプレートパラメータをとるstd::make_uniqueの過負荷がなくても、コンパイラはそれをどのように受け入れますか？ Live example

Answer 1

テンプレートは関係なく、引数が供給されているものをテンプレート、常に無効ではないいくつかの状況がありますが、コンパイラは、そのを把握することができません、それはすべてのを代入しようとする能力を持っていないため、テンプレート引数の可能なセット。標準（[temp.res]/8）によれば、有効な特化は テンプレートのために生成することができない、そのテンプレートがインスタンス化されていない場合

、テンプレートが悪い形成されており、いかなる診断 不要。コンパイラは賢いこととが有効な分業が存在しないことを証明し、コンパイルエラーを生成するために許可されているが、それも十分にスマートではない、とコンパイルエラーを生成しないために許可されていますことを意味

。もちろん、テンプレートがインスタンス化されると、コンパイラはエラーを診断する必要があります。

テンプレート引数なしでテンプレートの名前を使用することは違法ではありません。コンパイラが引数を推論できる状況がいくつかあります。例えば：あなたのコードで

template <class T> 
void foo(T x); 

int main() { 
    void (*p)(int) = foo; // p points to foo<int> 
} 

、それはあなたがテンプレート引数を推定することができない状況でFooを使用していたことが判明しました。コンパイラがよりスマートならば、それは分かりました。しかし、彼らはそれを把握することができなかったという事実はあなたのコードが正しいことを意味しません。

Answer 2

これは、コード内のどこかから呼び出されるまで、実際にはC++がテンプレート関数を作成しないためです。この例では、コードがBarを作成しようとしていないので、テンプレートone-arg Barコンストラクタは生成されないため、コンパイラはコードが正しいかどうかを確認する必要はありません。

テンプレート関数は、使用されるとすぐにコンパイラによって生成され、渡された型に基づいて生成されます。あなたはそのようなBar作成しようとしたのであれば、：それは今のコードが間違っている知っているので

error C2955: 'Foo' : use of class template requires template argument list 

：

Foo<int> f; 
Bar b = Bar(f); 

をコンパイラがコンストラクタを生成するなどのエラーで失敗しようとします。

もしこれについて考えるなら、これはどのように動作しなければならないのですか？C++ではテンプレート型に制約を付けることができないため、コンパイラは可能なすべてのテンプレート型を試して、関数に構文エラーがあります。