[dcl.fct.def] p2 сообщает:
Тип параметра или возвращаемого типа для определения функции не должен быть неполным или абстрактным (возможно, cv-квалифицированным) типом класса в контексте определения функции, если функция не удалена.
И [class.mem] p7 заявляет:
Класс считается полностью определенным типом объекта (или полным типом) при закрытии
}спецификатора класса. Класс считается завершенным в контексте полного класса; в противном случае он считается неполным в пределах собственной спецификации члена класса.
Учитывая этот код:
struct S
{
// S is incomplete
S f() { /* S is complete in a function body */ return S(); }
// S is incomplete
};
// S is complete
контекст полного класса, в частности, не включает в себя decl-specier-seq определения функции и не включает в себя декларатор функции, однако каждый компилятор говорит, что это нормально. Какая формулировка позволяет это, поскольку я не могу найти это?
Самый первый пункт по указанной ссылке:
Полный контекст класса - это
- тело функции ([dcl.fct.def.general]),
Таким образом, в теле функции любого метода рассматривается контекст полного класса. Насколько я могу судить, "контекст определения функции" является синонимом тела функции, в отличие от контекста объявления функции, где тип возвращаемого значения не обязательно должен быть завершен.
Я думаю, что компилятор сначала находит токены класса lex.phases 1.7 S (со всеми объявленными его членами) и функции-члена f (только с объявлением, которое включает тип возвращаемого значения). Затем они анализируются.
К тому времени, когда тело функции f анализируется, класс S сначала анализируется и считается завершенным, поскольку в нем определена функция-член (функция boby есть, она будет проанализирована позже).
Теперь S завершен, f может использовать return S().
Но это его другой случай:
struct S {
decltype(S{}) f() { return S(); }
};
компилятор хочет найти тип S по decltype, чтобы расценивать токен (возвращаемый тип f), и терпит неудачу, потому что окончание класса }; еще не достигнуто.