C++ Typ Argumente sind in der Vorlage Deklaration weggelassen. Wie wäre es jedoch mit der Definition der Mitgliedsfunktion?

Question

Sorry, dass ich ein Anfänger der C++ Programmierung bin.

Wie ich weiß, die type Argumente in der Vorlage Deklaration kann weggelassen werden. Zum Beispiel

template<typename T> 
class A{ 
A<T> func(A<T> t); 
} 

als

template<typename T> 
class A{ 
A func(A t) {} 
} 

auch geschrieben werden, ich weiß, dass, wenn die Mitgliederfunktionen außerhalb der Klasse definiert sind, können die Typargumente nicht verzichtet werden. Ich habe jedoch festgestellt, dass das Argument type im Argumenttyp der Funktion ebenfalls weggelassen werden kann. Warum ist es so?

meine ich für

A<T> A<T>:: func(A<T> t) {} 

warum Sie den Code unten zulässig ist, auch wenn es außerhalb der Template-Deklaration ist?

A<T> A<T>:: func(A t) {} 

Answer 1

Der Grund dieser Arbeiten ist, weil A<T>:: die Deklaration Scopes - alles, was er weiß, über den Inhalt der A<T>, einschließlich der injizierten Klassennamen A folgt. Dies ist auch streng in der Reihenfolge des Quellcodes, was zu der folgenden Neugier zwischen zwei semantisch identische Definitionen führt:

A A<T>::func(A t) {} // Doesn't work -- `A` is not known before `A<T>::` 

auto A<T>::func(A t) -> A {} // Works, because the return type is after `A<T>::`!