Возвращение класса член в C++

Question

В следующем примере:

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

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

Почему именно требуется простор для возвращения типа, а не для типа аргумента?

Answer 1

Согласно [basic.lookup.qual]/3,

В декларации, в которой описателе-идентификатор является квалифицирован-идентификатор, имена используются до квалифицированного идентификатора объявленные , рассматриваются в области определения пространства имен; имена, следующие за квалифицированным идентификатором, рассматриваются в области класса участника или пространства имен.

Тип возврата приходит до квалифицирован-идентификатор объявляется (то есть, A::Method), тогда как тип параметра приходит после него, так что имя типа параметра, автоматически ищется в рамках A, в то время как имя типа возврата - нет. Мы можем избежать дополнительной квалификации с использованием возвращаемого возвращаемого типа.

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