省略 C++ 模板参数列表时的差异

什么时候可以省略 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);
}

在类中，您可以省略类类型的参数：

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