В классе функций класса членов класса вне определения класса, когда требуются параметры шаблона?

Question

Этот код компилируется (Visual Studio 2013). Обратите внимание, что я передаю в Set, а не Set<T>, как параметр operator =, в тело функции, которое находится за пределами определения класса. Но я не могу вернуть Set или его член Set; он должен вернуть Set<T> и быть членом Set<T>.

Где законно оставлять параметры шаблона? Inside the class definition, а где еще?

Это изменение в стандарте? Я пытаюсь поддерживать совместимость со всеми существующими версиями, в том числе 98.

template <typename T> 
class Set 
{ 
public: 
    Set() {}   

    const Set& operator=(const Set& rhs); 
    //Shouldn't this have to be 
    //const Set<T>& operator= (const Set<T>& rhs); ? 

}; 

template <typename T> 
const Set<T>& Set<T>::operator= (const Set& rhs) //<-- HERE 
{ 
    Set temp;         //<-- AND HERE 
    /* ... */ 
    return *this; 
} 

int main() 
{ 
    Set<int> S, T; 
    T = S; 
} 

Answer 1

Имя класса предоставляется в классе. И в отдельном определении члена, как только вы передадите спецификацию типа возвращаемого кода C++ 03 и имя функции, вы находитесь в классе. Таким образом, это нормально в C++ 03:

template< class T > 
Set<T> const& Set<T>::operator=(Set const& rhs) 

И это нормально в C++ 11:

template< class T > 
auto Set<T>::operator=(Set const& rhs) -> Set const& 

---

Это на самом деле не имеет ничего общего с шаблонами, но он связан с доступом к имени, доступному в классе.

Например, в C++ 03 вы должны написать

struct S 
{ 
    struct Inner {}; 
    Inner foo(); 
}; 

S::Inner S::foo() { return Inner(); } 

в то время как с C++ 11 и более поздних версий вы можете написать

struct S 
{ 
    struct Inner {}; 
    auto foo() -> Inner; 
}; 

auto S::foo() -> Inner { return {}; } 

что одна хорошая причина, в том числе многие другие, чтобы использовать синтаксис типа возвращаемого типа в качестве единственного соглашения о синтаксисе.

---

This не в норме в С или C++, независимо от того, какой году стандарт:

void main() //! NOT VALID.