功能模板參數編譯錯誤

Question

我試圖做這樣的事情：

#include <iostream> 
#include <array> 
using namespace std; 

template <size_t A> 
class Test { 
    public: 
     typedef array<int, A> TestType; 
}; 

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

int main() { 
    Test<5>::TestType q; 

    foo(q); 
    return 0; 
} 

但富不編譯。在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) { 

而在Visual Studio 2010中，我得到

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

我不明白我在做什麼錯誤的，因爲A是一個編譯時間常數。我應該改變什麼？

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只有一個可能的匹配項。你需要調用

foo<5>(q); 

明確指定或更改的foo定義：

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