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 และเสียงดังกราว 10.0.0 บ่นเกี่ยวกับการBไม่สมบูรณ์ ข้อผิดพลาดของเสียงดังกราวคือ:

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;
                               ~~~^

แหล่งที่มาของข้อผิดพลาดไม่ใช่std::declvalแต่การเข้าถึงสมาชิกคลาสที่ไม่สมบูรณ์

จนกว่าความละเอียดของCWG1836 จะถูกรวมเข้าด้วยกัน 2.5 ปีที่ผ่านมามาตรฐานนั้นต้องการให้คลาสนั้นเสร็จสมบูรณ์ในนิพจน์การเข้าถึงสมาชิกคลาส ( E1.E2)
[expr.ref] / 2 ใน C ++ 11 :

สำหรับตัวเลือกแรก (จุด) การแสดงออกครั้งแรกจะต้องมีประเภทชั้นที่สมบูรณ์

[expr.ref] / 2 ใน C ++ 17 :

สำหรับตัวเลือกแรก (จุด) การแสดงออกครั้งแรกจะเป็น glvalue ที่มีประเภทชั้นสมบูรณ์

และชั้นจะไม่ถือว่าเป็นครบถ้วนภายในตัวของมันเองalias-declaration [class.mem] / 6 ใน C ++ 17 :member-specification

ชั้นถือว่าเป็นวัตถุชนิดสมบูรณ์ที่กำหนดไว้ ([basic.types]) (หรือพิมพ์เสร็จสมบูรณ์) ที่ปิด}ของชั้นระบุ ภายในคลาสสมาชิก - สเปคคลาสจะถือว่าสมบูรณ์ภายในฟังก์ชันเนื้อหาอาร์กิวเมนต์เริ่มต้นnoexcept-specifier s และสมาชิก initializers เริ่มต้น (รวมถึงสิ่งต่าง ๆ ในคลาสที่ซ้อนกัน) มิฉะนั้นจะถือได้ว่าเป็นที่ไม่สมบูรณ์ภายในชั้นเรียนของตัวเองสมาชิกสเปค

จาก[declval] :

ข้อสังเกต: พารามิเตอร์เทมเพลตTของdeclvalอาจเป็นประเภทที่ไม่สมบูรณ์

ถ้อยคำนี้มีอยู่ตั้งแต่ C ++ 11 (ดังนั้นจึงเป็นไปไม่ได้ที่คอมไพเลอร์จะต้องสอดคล้องกับมาตรฐานก่อนหน้านี้)