Когда вы можете опустить список аргументов шаблона 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); }
A = A<K>), а возвращаемое значение — нет. (Что кажется непоследовательным, потому что оба составляют сигнатуру метода, не так ли?)
- person Martin Nyolt; 19.07.2015
