พยายามทำความเข้าใจแม่แบบและค้นหาชื่อ

ฉันพยายามเข้าใจตัวอย่างโค้ดต่อไปนี้

ตัวอย่าง # 1

template <typename T>
struct A
{
    static constexpr int VB = T::VD;
};

struct B : A<B>
{
};

ไม่ว่าจะเป็น gcc9 หรือ clang9 ข้อผิดพลาดที่นี่

ถามทำไมรหัสนี้ถึงคอมไพล์? เราไม่ได้ยกตัวอย่างA<B>เมื่อได้รับมรดกจาก B? ไม่มี VD ใน B ดังนั้นคอมไพเลอร์ไม่ควรโยนข้อผิดพลาดที่นี่หรือ

ตัวอย่าง # 2

template <typename T>
struct A
{
    static constexpr auto AB = T::AD; // <- No member named AD in B
};

struct B : A<B>
{
    static constexpr auto AD = 0xD;
};

ในกรณีนี้ gcc9 คอมไพล์ได้ดี แต่ clang9 ส่งข้อผิดพลาดว่า "ไม่มีสมาชิกชื่อ AD ใน B"

ถามทำไมมันคอมไพล์ด้วย gcc9 / ทำไมมันไม่คอมไพล์ด้วย clang9?

ตัวอย่าง # 3

template <typename T>
struct A
{
    using TB = typename T::TD;
};

struct B : A<B>
{
    using TD = int;
};

ที่นี่ทั้ง clang9 และ gcc9 มีข้อผิดพลาด gcc9 พูดว่า "การใช้ประเภทที่ไม่สมบูรณ์ 'struct B' ไม่ถูกต้อง"

ถาม: ถ้า struct B ไม่สมบูรณ์ที่นี่แล้วทำไมมันไม่สมบูรณ์ในตัวอย่างที่ 2?

ธงคอมไพเลอร์ที่ใช้: -std=c++17 -O3 -Wall -Werror. ขอบคุณล่วงหน้า!!!

ฉันเชื่อว่าสิ่งเหล่านี้เดือดลงไปที่[temp.inst] / 2 (เน้นที่เหมือง):

การสร้างอินสแตนซ์โดยนัยของความเชี่ยวชาญเทมเพลตคลาสทำให้การอินสแตนซ์โดยนัยของการประกาศ แต่ไม่ใช่ของคำจำกัดความอาร์กิวเมนต์เริ่มต้นหรือnoexcept-specifiers ของฟังก์ชันสมาชิกคลาสคลาสสมาชิกการกำหนดสมาชิกสมาชิกที่กำหนดขอบเขตสมาชิกข้อมูลแบบคงที่สมาชิกแม่แบบและ เพื่อน [ ... ]

และ[temp.inst] / 9

การดำเนินการจะไม่ยกตัวอย่างโดยนัย […] สมาชิกข้อมูลคงที่ของแม่แบบคลาส […] เว้นแต่ว่าจำเป็นต้องมีการสร้างอินสแตนซ์

การใช้ถ้อยคำในมาตรฐานที่เกี่ยวข้องกับการสร้างแม่แบบโดยนัยจะทำให้รายละเอียดมากมายเปิดให้มีการตีความ โดยทั่วไปแล้วฉันคิดว่าคุณไม่สามารถพึ่งพาบางส่วนของแม่แบบที่ไม่ได้สร้างอินสแตนซ์เว้นแต่ว่าข้อกำหนดระบุไว้อย่างชัดเจน ดังนั้น:

ตัวอย่าง # 1

ถามทำไมรหัสนี้ถึงคอมไพล์? เราไม่ได้ยกตัวอย่างก. เมื่อสืบทอดจาก B หรือไม่? ไม่มี VD ใน B ดังนั้นคอมไพเลอร์ไม่ควรโยนข้อผิดพลาดที่นี่หรือ

A<B>คุณกำลังอินสแตนซ์ แต่การทำให้อินสแตนซ์เป็นA<B>เพียงการทำให้การประกาศเป็นไปอย่างรวดเร็วไม่ใช่คำจำกัดความของสมาชิกข้อมูลแบบคงที่ VBไม่เคยถูกใช้ในลักษณะที่จะต้องมีคำนิยามที่มีอยู่ คอมไพเลอร์ควรยอมรับรหัสนี้

ตัวอย่าง # 2

ถามทำไมมันคอมไพล์ด้วย gcc9 / ทำไมมันไม่คอมไพล์ด้วย clang9?

ตามที่ชี้แจงโดย Jarod42 การประกาศของABประกอบด้วยตัวยึดตำแหน่ง สำหรับฉันแล้วดูเหมือนว่าถ้อยคำของมาตรฐานไม่ชัดเจนในสิ่งที่ควรจะเกิดขึ้นที่นี่ การสร้างอินสแตนซ์ของการประกาศของสมาชิกข้อมูลคงที่ที่มีตัวยึดประเภททริกเกอร์การหักประเภทตัวยึดตำแหน่งและดังนั้นจึงเป็นการใช้งานที่ต้องการคำจำกัดความของสมาชิกข้อมูลคงที่หรือไม่? ฉันไม่สามารถหาข้อความในมาตรฐานที่จะพูดอย่างชัดเจนว่าใช่หรือไม่ใช่ ดังนั้นฉันจะบอกว่าการตีความทั้งสองมีความถูกต้องเท่าเทียมกันที่นี่และดังนั้น GCC และเสียงดังกราวนั้นทั้งคู่ถูกต้อง ...

ตัวอย่าง # 3

ถาม: ถ้า struct B ไม่สมบูรณ์ที่นี่แล้วทำไมมันไม่สมบูรณ์ในตัวอย่างที่ 2?

ประเภทระดับเป็นเพียงที่สมบูรณ์ที่จุดที่คุณเข้าถึงปิด}ของชั้นระบุ [class.mem] / 6 ดังนั้นจึงBไม่สมบูรณ์ในระหว่างการสร้างอินสแตนซ์โดยนัยของตัวอย่างA<B>ทั้งหมดของคุณ เป็นเพียงแค่สิ่งนี้ไม่เกี่ยวข้องกับ Snippet # 1 ในตัวอย่าง # 2, เสียงดังกราวไม่ให้ข้อผิดพลาดNo member named AD in Bเป็นผล เช่นเดียวกับกรณีของ Snippet # 2 ฉันไม่สามารถหาถ้อยคำได้ว่าเมื่อใดการประกาศนามแฝงของสมาชิกจะเกิดขึ้นทันที อย่างไรก็ตามไม่เหมือนกับคำจำกัดความของสมาชิกข้อมูลแบบคงที่ไม่มีถ้อยคำในสถานที่ที่จะป้องกันการสร้างอินสแตนซ์ของการประกาศนามแฝงของสมาชิกอย่างชัดเจนในระหว่างการสร้างอินสแตนซ์ของแม่แบบคลาสโดยนัย ดังนั้นฉันจะบอกว่าพฤติกรรมของทั้ง GCC และเสียงดังกราวเป็นการตีความที่ถูกต้องของมาตรฐานในกรณีนี้ ...