기능 템플릿 매개 변수 컴파일 오류

Question

나는 이런 식으로 뭔가를 시도하고있다. 비주얼 스튜디오 2010 년에 나는 내가 뭘 잘못 이해하지

error C2975: 'Test' : invalid template argument for 'A', expected compile-time constant expression 

을받을 동안은 컴파일 타임 상수이기 때문에 GCC에서 나는,

prog.cpp:12:19: error: variable or field ‘foo’ declared void 
void foo(Test<A>::TestType t) { 
       ^
prog.cpp:12:28: error: expected ‘)’ before ‘t’ 
void foo(Test<A>::TestType t) { 

를 얻을. 무엇을 바꾸어야합니까?

Answer 1

이 같은 typename을 추가 할 경우

template <size_t A> 
void foo(typename Test<A>::TestType t) { 
    cout << "test\n"; 
} 

유일한 효과는 더 나은 오류 메시지입니다. 문제는 그런 템플릿 매개 변수를 여전히 추론 할 수 없다는 것입니다.

당신이 선언 할 때 q

Test<5>::TestType q; 

q의 유형 std::array<int,5>이고 컴파일러가 이러한 유형의 Test<5>에 연결된 방법을 알고하지 않습니다. foo(q)으로 전화하면 A에 가능한 일치가 하나만 있음을 알기 위해 표준화되지 않은 코드를 훨씬 더 깊이 분석해야합니다. 이 종속 이름이기 때문에,

template <size_t A> 
void foo(std::array<int,A> t) { 
    cout << "test\n"; 
}