Должен ли T быть полным типом для использования в `std :: declval <T>`?

Рассмотрим этот пример ( отсюда ):

#include <type_traits>
#include <iostream>
template <typename U>
struct A {
};

struct B {
   template <typename F = int>
   A<F> f() { return A<F>{}; }

   using default_return_type = decltype(std::declval<B>().f());
};

int main()
{
    B::default_return_type x{};
    std::cout << std::is_same< B::default_return_type, A<int>>::value;
}

Он компилируется без ошибок на gcc9.2, но gcc7.2 и clang 10.0.0 жалуются на то, что они Bне завершены. Ошибка Clangs:

prog.cc:11:58: error: member access into incomplete type 'B'
   using default_return_type = decltype(std::declval<B>().f());
                                                         ^
prog.cc:7:8: note: definition of 'B' is not complete until the closing '}'
struct B {
       ^
prog.cc:16:8: error: no type named 'default_return_type' in 'B'
    B::default_return_type x{};
    ~~~^
prog.cc:17:35: error: no member named 'default_return_type' in 'B'
    std::cout << std::is_same< B::default_return_type, A<int>>::value;
                               ~~~^

— idclev 463035818
источник

Заголовок вопроса не соответствует ошибке? Мне кажется, что GCC жалуется на .f(). В этом есть смысл; неполный тип Bне имеет члена f.

— MSalters

@MSalters я тоже так думал, но тогда в чем тут реальная проблема? Я предположил бы, что, как только вы получили экземпляр от std::declvalнего, больше не имеет значения, был ли тип завершен или нет (и я предполагаю, что я не прав с этим)

— idclev 463035818

[expr.ref] / 2 (C ++ 11) говорит о доступе к члену класса: «Для первого параметра (точка) первое выражение должно иметь полный тип класса» . И не Bявляется ни полным, ни считающимся завершенным в alias-declaration.

— Язык юрист

@LanguageLawyer Я не нашел предложение, которое вы цитируете, но только «Тип класса должен быть полным, если в определении этого класса не

— указан доступ к члену

@LanguageLawyer хорошо, тогда я согласен, что моя интерпретация была неверной, и кажется, что что-то изменилось после c ++ 11, что делает вышеупомянутое хорошо в новых стандартах, но не в c ++ 11 Не могли бы вы написать ответ?

— idclev 463035818

Ответы:

Источником ошибки является не std::declvalполный доступ к членам класса.

До тех пор пока разрешение CWG1836 не было слито 2,5 года назад, стандарт требовал класса , чтобы быть полными в выражении доступа члена класса ( E1.E2).
[expr.ref] / 2 в C ++ 11 :

Для первого параметра (точка) первое выражение должно иметь полный тип класса.

[expr.ref] / 2 в C ++ 17 :

Для первого параметра (точка) первое выражение должно быть glvalue, имеющим полный тип класса.

И класс не считается завершенным в alias-declarationсвоем собственном member-specification.
[class.mem] / 6 в C ++ 17 :

Класс считается полностью определенным типом объекта ([basic.types]) (или полный типа) при закрытии }этого класса спецификатора . В спецификации членов класса класс считается завершенным в теле функций, аргументах по умолчанию, спецификаторах noexcept-spec и инициализаторах членов по умолчанию (включая такие вещи во вложенных классах). В противном случае он считается неполным в пределах своей спецификации члена класса .

— Языковой адвокат
источник

От [declval] :

Примечание: Параметр шаблона Tиз declvalможет быть неполным типом.

Эта формулировка присутствует с C ++ 11 (поэтому компиляторы не могут соответствовать более раннему стандарту)

— AndyG
источник

это то, на что я надеялся. Похоже, что gcc это исправило, лязгать нет (пока)

— idclev 463035818

@ прежняя известная_463035818: Моя первая мысль была, что это Tдолжен быть абсолютно полный тип. Рад, что проверил стандарт.

— AndyG