テンプレートの暗黙的パラメータ

Question

次のコードは、Xcodeでコンパイルエラー発生：Foo MyFoo(123);Foo<int> MyFoo(123);への修正問題を変更

template <typename T> 
struct Foo 
{ 
    Foo(T Value) 
    { 
    } 
}; 

int main() 
{ 
    Foo MyFoo(123); 
    return 0; 
} 

error: missing template arguments before 'MyFoo'

を、しかし、コンパイラが適切に把握できないようにする必要がありデータ・タイプ？

これはコンパイラのバグですか、または暗黙のテンプレートパラメータを誤解していますか？

Foo MyFoo(123); 

がMyFooのための一時的なスペースを割り当てるされ、知るためにMyFooの完全修飾タイプを知っている必要があります。

Answer 1

コンストラクタは、理論的には、それが構築されたオブジェクトが、文の種類を推測することができどのくらいのスペースが必要です。

あなたが特に複雑なテンプレートの名前を（指でIE）のタイピングを避けたい場合は、typedefが使用することを検討してください：持っている

typedef std::map<int, std::string> StringMap; 

またはC++ 0xの中

あなたが autoキーワードを使用することができますコンパイラの使用タイプの推論 - 多くの人が、読みにくく、エラーが発生しやすいコードを作成すると主張しますが、私自身もそうです。 ; P

Answer 2

コンパイラがないクラス/構造体

Answer 3

それはバグではないため、唯一のテンプレート機能のためのテンプレートパラメータの種類を把握することができ、それが存在しない機能です。インスタンス化の際には、クラス/構造テンプレート引数を完全に指定する必要があります。関数テンプレートの場合と同じように、型は推測されません。

Answer 4

コンパイラは、テンプレート引数、このようなケースを推測することができます

template<typename T> 
void fun(T param) 
{ 
    //code... 
} 

fun(100); //T is deduced as int; 
fun(100.0); //T is deduced as double 
fun(100.0f); //T is deduced as float 

Foo<int> foo(100); 
fun(foo); //T is deduced as Foo<int>; 

Foo<char> bar('A'); 
fun(bar); //T is deduced as Foo<char>; 

実際のテンプレート引数控除は巨大なトピックです。 ACCUでこの記事を読む：fooはTがタイプである場合には、だけでなく、Foo<T>クラスであるよう

The C++ Template Argument Deduction

Answer 5

それは、それはこのようなものです多くの意味になります。

C++ 0xではautoを使うことができ、Fooを作るための関数を作成してfoo（小文字のf）と呼ぶことができます。そして、あなたがC++ 11では

template<typename T> Foo<T> foo(int x) 
{ 
    return Foo<T>(x); 
} 

auto myFoo = foo(55); 

Answer 6

を行うだろう、あなたはdecltypeを使用することができます：それは型を推論することができれば

int myint = 123; 
Foo<decltype(myint)> MyFoo(myint);