niejawne Parametry szablonu

Question

Poniższy kod generuje błąd kompilacji w Xcode:

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

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

error: missing template arguments before 'MyFoo'

Zmiana Foo MyFoo(123); do Foo<int> MyFoo(123); rozwiązuje problem, ale nie powinna kompilator być w stanie dowiedzieć się odpowiedni typ danych?

Czy jest to błąd kompilatora, czy też nieporozumienia niejawne parametry szablonu?

Answer 1

Konstruktor mógłby teoretycznie wywnioskować typ obiektu to buduje, ale stwierdzenie:

Foo MyFoo(123); 

przeznacza tymczasową przestrzeń dla MyFoo i musi znać doskonale wykwalifikowaną typ MyFoo w celu poznania ile miejsca potrzeba.

Jeśli chcesz uniknąć pisania (tj palców) nazwę szczególnie skomplikowanej matrycy, należy rozważyć użycie typedef:

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

Albo w C++ 0x można użyć słowa kluczowego auto mieć wnioskowanie na temat użycia kompilatora - choć wielu będzie argumentować, że prowadzi to do mniej czytelnego i podatnego na błędy kodu, ja sam wśród nich. ; P

Answer 2

kompilator może dowiedzieć się typ parametru szablonu tylko dla matrycy, funkcji, nie dla klas/kodowanym

Answer 3

To nie jest błąd, to nieistniejące cecha. Musisz w pełni określić argumenty szablonu klasy/struktury podczas tworzenia instancji, zawsze typy nie są wnioskowane, ponieważ mogą być dla szablonów funkcji.

Answer 4

Compiler można wywnioskować szablon argumentu taką sprawę:

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>; 

Właściwie szablon odliczenie argument jest ogromny temat. Przeczytaj ten artykuł w ACCU:

The C++ Template Argument Deduction

Answer 5

To sprawia, że ​​wiele sensu, że jest tak, jak Foo nie jest klasa, tylko Foo<T> gdzie T jest typem.

W C++ 0x możesz użyć auto, a możesz utworzyć funkcję, która sprawi, że będziesz Foo, nazwijmy to foo (małe litery f). Wtedy byś zrobił

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

auto myFoo = foo(55); 

Answer 6

w C++ 11 można użyć decltype:

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