암시 템플릿 매개 변수

Question

다음 코드는 엑스 코드에서 컴파일 오류가 발생하는

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

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

error: missing template arguments before 'MyFoo'

가 Foo MyFoo(123);Foo<int> MyFoo(123);에 대한 수정 문제를 변경,하지만하지 컴파일러는 적절한 알아낼 수있을 것 데이터 형식?

이것은 컴파일러 버그입니까? 아니면 암시 적 템플릿 매개 변수를 잘못 이해합니까?

Foo MyFoo(123); 

이 MyFoo위한 임시 공간을 할당하고, 알고하기 위해 MyFoo의 완전한 유형을 알고 있어야합니다

Answer 1

생성자는 이론적으로는 건설 된 개체의 유형,하지만 문을 추론 할 수있다 얼마나 많은 공간이 필요한지.

당신은 특히 복잡한 템플릿의 이름을 (손가락으로 예) 입력을 피하고 싶은 경우 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에서이 기사를 읽기 : 푸 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);