省略C++模板參數列表時的區別

Question

何時可以省略C++模板參數列表？例如，在Visual Studio 2010中這一段代碼編譯罰款：

template<class T> 
Vec2<T> Vec2<T>::operator+ (const Vec2 &v) const 
{ 
    return Vec2(x + v.x, y + v.y); 
} 

如果內嵌代碼，它實際上編譯沒有任何參數列表。但這是否與以下版本一樣？

template<class T> 
Vec2<T> Vec2<T>::operator+ (const Vec2<T> &v) const 
{ 
    return Vec2<T>(x + v.x, y + v.y); 
} 

Answer 1

內一類，你可以省略這個類的參數類型：

template<typename K> 
struct A { 
    A<K> foo1; // legal 
    A foo2; // also legal and identical to A<K> foo 
    A bar(A x) {...} // same as A<K> bar(A<K> x) {...} 
}; 

外，您所需要的模板參數類範圍：

// legal 
template<typename K> 
A<K> foo(A<K> x) { return A<K>(); } 

// illegal! 
template<typename K> 
A foo(A x) { return A(); } 

如果聲明成員功能外類您需要返回類型和類的模板列表：

// legal 
template<typename K> 
A<K> A<K>::bar(A<K> x) { return A<K>(x); } 

// legal 
template<typename K> 
A<K> A<K>::bar(A x) { return A(x); } 

// illegal! 
template<typename K> 
A A::bar(A<K> x) { return A<K>(x); }