功能模板参数编译错误

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