decltype вычитается результат в своем классе функции, определенная

Question

Почему

struct MyStruct { 
    auto foo() { return 1; } 
    auto bar() { return foo(); } 
}; 

компиляция, но при использовании трейлинга типа возвращаемого значения следующим образом:

struct MyStruct { 
    auto foo() { return 1; } 
    auto bar() -> decltype(foo()) { return foo(); } 
}; 

компиляции завершается с

error: function 'foo' with deduced return type cannot be used before it is defined

Это правильное поведение в части реализации?

Answer 1

В первом фрагменте, мы можем вывести (эффективный) тип возвращаемого значения, так как определение предусмотрено в этой лексической точки — и, наоборот, не будет работать, если the definitions are lexically swapped, что в унисон с [dcl.spec.auto]/10, так как мы должны запретить циклический вывод ,

Что касается второго фрагмента кода, см core issue 945, который эффективно вновь core issue 643 и сделок с this используется в задней возвращаемые типы, в которых тип класса является неполным до сих пор. AFAICS, текущая формулировка допускает его так же, как в первом случае (опять же, учитывая правильный порядок определений), но сохраняйте открытый вопрос 1890; поставщики откладывают выполнение сомнительных материалов до подтверждения.