Rückkehr Mitglied Klasse in C++

Question

Im folgende Beispiel:

class A 
{ 
public: 
    class B 
    { 
     ... 
    } 
    B Method(B argument); 
} 

A::B A::Method(B argument); 

Warum genau der Spielraum für Rückgabetyp erforderlich ist, obwohl sie nicht für Argumenttyp?

Answer 1

Nach [basic.lookup.qual]/3,

In einer Erklärung, in der die declarator-ID ist einequalifizierte ID, verwendete Namen vor der qualifizierten ID deklariert werden im Definitionsbereich Namespace nachgeschlagen; Namen, die auf die qualifizierte ID folgen, werden im Bereich der Klasse oder des Namespaces des Members nachgeschlagen.

Der Rückgabetyp kommt, bevor die qualifizierte ID erklärt zu werden (das heißt, A::Method), während die Art des Parameters, nachdem es kommt, so dass der Name des Parametertypen automatisch in dem Rahmen A nachgeschlagen wird, während die Der Name des Rückgabetyps ist nicht. Wir können die zusätzliche Qualifikation vermeiden, indem wir einen nachgestellten Rückgabetyp verwenden.

auto A::Method(B argument) -> B;