ทำไมคลาสของฉันจึงไม่ใช่ค่าเริ่มต้นที่สามารถสร้างได้?

ฉันมีชั้นเรียนเหล่านั้น:

#include <type_traits>

template <typename T>
class A {
public:
    static_assert(std::is_default_constructible_v<T>);

};

struct B {
   struct C {
      int i = 0;
   };

    A<C> a_m;
};

int main() {
    A<B::C> a;
}

เมื่อทำการคอมไพล์a_mไม่ใช่ค่าเริ่มต้นที่สามารถสร้างได้ แต่aเป็น

เมื่อเปลี่ยนCเป็น:

struct C {
      int i;
   };

ทุกอย่างปกติดี.

ทดสอบกับเสียงดังกราว 9.0.0

สิ่งนี้ไม่ได้รับอนุญาตทั้งโดยข้อความของมาตรฐานและการใช้งานที่สำคัญหลายประการตามที่ระบุไว้ในความคิดเห็น แต่ด้วยเหตุผลที่ไม่เกี่ยวข้องอย่างสมบูรณ์

ประการแรกเหตุผล "โดยหนังสือ": จุดอินสแตนซ์ของA<C>คือตามมาตรฐาน ทันทีก่อนที่จะนิยามBและจุดอินสแตนซ์ของstd::is_default_constructible<C>ทันทีก่อนหน้านั้น:

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

เนื่องจากจุดCนั้นไม่สมบูรณ์อย่างชัดเจนพฤติกรรมของการสร้างอินสแตนซ์std::is_default_constructible<C>จึงไม่ได้กำหนดไว้ อย่างไรก็ตามดูปัญหาหลัก 287ซึ่งจะเปลี่ยนกฎนี้

ในความเป็นจริงสิ่งนี้เกี่ยวข้องกับ NSDMI

• NSDMI นั้นแปลกเพราะพวกมันได้รับการแยกวิเคราะห์ล่าช้าหรือในสำนวนมาตรฐานพวกเขาเป็น "บริบทที่สมบูรณ์แบบ"
• ดังนั้นที่= 0สามารถในหลักการหมายถึงสิ่งที่อยู่ในที่ยังไม่ได้ประกาศเพื่อให้การดำเนินการไม่สามารถจริงๆพยายามที่จะแยกมันจนกว่าจะได้จบด้วยBB
• การทำให้คลาสเสร็จสมบูรณ์จำเป็นต้องมีการประกาศโดยนัยของฟังก์ชันสมาชิกพิเศษโดยเฉพาะคอนสตรัคเตอร์เริ่มต้นเนื่องจากCไม่มีคอนสตรัคเตอร์ที่ประกาศ
• บางส่วนของการประกาศนั้น (constexpr-ness, noexcept-ness) ขึ้นอยู่กับคุณสมบัติของ NSDMI
• ดังนั้นหากคอมไพเลอร์ไม่สามารถแยกวิเคราะห์ NSDMI มันจะไม่สามารถเรียนได้
• เป็นผลให้เมื่อถึงจุดที่มัน instantiates A<C>มันคิดว่าCมันไม่สมบูรณ์

พื้นที่ทั้งหมดที่เกี่ยวข้องกับภูมิภาคที่มีการแยกวิเคราะห์ล่าช้านี้ไม่ได้รับการเน้นยิบอย่างเด็ดขาด อาจใช้เวลาสักครู่ก่อนทำความสะอาด

พฤติกรรมที่ไม่ได้กำหนดเป็น:

หากการสร้างอินสแตนซ์ของเทมเพลตข้างต้นขึ้นอยู่กับประเภทที่ไม่สมบูรณ์ทั้งทางตรงและทางอ้อมและการสร้างอินสแตนซ์นั้นอาจให้ผลลัพธ์ที่แตกต่างหากประเภทนั้นเสร็จสมบูรณ์ตามสมมุติฐานพฤติกรรมจะไม่ได้กำหนดไว้