เหตุใด C ++ จึงไม่อนุญาตโครงสร้างที่ไม่ระบุตัวตน

คอมไพเลอร์ C ++ บางตัวอนุญาตให้ใช้สหภาพและโครงสร้างที่ไม่ระบุชื่อเป็นส่วนขยายของ C ++ มาตรฐาน มันเป็นน้ำตาลที่มีประโยชน์มากในบางครั้ง

อะไรคือเหตุผลที่ป้องกันไม่ให้สิ่งนี้เป็นส่วนหนึ่งของมาตรฐาน? มี Roadblock ทางเทคนิคหรือไม่? ปรัชญา? หรือแค่ไม่เพียงพอที่จะต้องพิสูจน์?

นี่คือตัวอย่างของสิ่งที่ฉันกำลังพูดถึง:

struct vector3 {
  union {
    struct {
      float x;
      float y;
      float z;
    };
    float v[3];
  };
};

คอมไพเลอร์ของฉันจะยอมรับเรื่องนี้ แต่ก็เตือนว่า"นิรนาม struct / ยูเนี่ยน" เป็นส่วนขยายที่ไม่ได้มาตรฐานที่ C

เนื่องจากคนอื่น ๆ ได้ชี้ให้เห็นว่าสหภาพที่ไม่ระบุตัวตนได้รับอนุญาตใน C ++ มาตรฐาน แต่โครงสร้างที่ไม่ระบุตัวตนไม่ได้รับอนุญาต

เหตุผลนี้ก็คือ C สนับสนุนสหภาพที่ไม่ระบุตัวตน แต่ไม่ใช่โครงสร้างแบบไม่ระบุชื่อ * ดังนั้น C ++ จึงสนับสนุนแบบเดิมสำหรับความเข้ากันได้ แต่ไม่ใช่อย่างหลังเนื่องจากไม่จำเป็นสำหรับความเข้ากันได้

นอกจากนี้โครงสร้างที่ไม่ระบุตัวตนใน C ++ ยังไม่มีประโยชน์มากนัก การใช้งานที่แสดงให้เห็นถึงคุณจะมีโครงสร้างที่มีสามลอยซึ่งสามารถเรียกทั้งโดย.v[i]หรือ.x, .yและ.zผมเชื่อว่าผลในพฤติกรรมที่ไม่ได้กำหนดใน C ++ C ++ ไม่อนุญาตให้คุณที่จะเขียนถึงหนึ่งในสมาชิกของสหภาพการพูดแล้วอ่านจากสมาชิกอีกคนหนึ่งกล่าวว่า.v[1] .yแม้ว่าโค้ดที่ทำเช่นนี้จะไม่ใช่เรื่องแปลก แต่ก็ไม่ได้กำหนดไว้อย่างชัดเจน

สิ่งอำนวยความสะดวกของ C ++ สำหรับประเภทที่ผู้ใช้กำหนดเองให้โซลูชันทางเลือก ตัวอย่างเช่น:

struct vector3 {
  float v[3];
  float &operator[] (int i) { return v[i]; }
  float &x() { return v[0]; }
  float &y() { return v[1]; }
  float &z() { return v[2]; }
};

_{* C11 เห็นได้ชัดว่าเพิ่มโครงสร้างที่ไม่ระบุตัวตนดังนั้นการแก้ไข C ++ ในอนาคตอาจเพิ่มได้}

ฉันจะบอกว่าคุณสามารถล้างvector3คำประกาศของคุณได้โดยใช้ไฟล์union

union vector3 {
  struct { float x, y, z; } ;
  float v[3] ;
} ;

แน่นอนว่าโครงสร้างที่ไม่ระบุชื่อเป็นส่วนขยาย MSVC แต่ ISO C11 อนุญาตตอนนี้และgcc อนุญาตและคอมไพเลอร์ llvm ของ Apple ก็เช่นกัน

ทำไมใน C11 ถึงไม่ใช่ C ++ 11 ฉันไม่แน่ใจ แต่ในทางปฏิบัติส่วนใหญ่ (gcc ++, MSVC ++ และคอมไพเลอร์ C ++ ของ Apple) คอมไพเลอร์ C ++ รองรับ

ไม่แน่ใจคุณหมายถึงอะไร. ส่วนที่ 9.5 ของข้อมูลจำเพาะ C ++ ข้อ 2:

การรวมกันของแบบฟอร์ม

union { member-specification } ;

เรียกว่าสหภาพนิรนาม กำหนดวัตถุที่ไม่มีชื่อของประเภทที่ไม่มีชื่อ

คุณสามารถทำสิ่งนี้ได้เช่นกัน:

void foo()
{
  typedef
  struct { // unnamed, is that what you mean by anonymous?
    int a;
    char b;
  } MyStructType; // this is more of a "C" style, but valid C++ nonetheless

  struct { // an anonymous struct, not even typedef'd
    double x;
    double y;
  } point = { 1.0, 3.4 };
}

ไม่มีประโยชน์เสมอไป ... แม้ว่าบางครั้งจะมีประโยชน์ในคำจำกัดความมาโครที่น่ารังเกียจ

สหภาพแรงงานสามารถไม่ระบุชื่อ ดูมาตรฐาน 9.5 ย่อหน้า 2

จุดประสงค์ใดที่คุณเห็นโครงสร้างหรือคลาสที่ไม่ระบุตัวตนว่าเป็นจริง ก่อนที่จะคาดเดาว่าเหตุใดบางอย่างจึงไม่อยู่ใน Standard ฉันต้องการทราบว่าเหตุใดจึงควรเป็นเช่นนั้นและฉันไม่เห็นการใช้โครงสร้างแบบไม่ระบุตัวตน

จากการแก้ไขความคิดเห็นและบทความ MSDN นี้: Anonymous Structuresฉันจะคาดเดาได้ยาก - มันเข้ากันได้ไม่ดีกับแนวคิดของการห่อหุ้ม ฉันคงไม่คิดว่าสมาชิกคนหนึ่งของชั้นเรียนจะยุ่งกับเนมสเปซชั้นเรียนของฉันนอกจากเพิ่มสมาชิกเพียงคนเดียว นอกจากนี้การเปลี่ยนแปลงโครงสร้างแบบไม่ระบุตัวตนอาจส่งผลต่อคลาสของฉันโดยไม่ได้รับอนุญาต

รหัสของคุณ

union {
  struct {
    float x;
    float y;
    float z;
  };
  float v[3];
};

ก็เหมือน

union Foo {
   int;
   float v[3];
};

ซึ่งไม่ถูกต้องแน่นอน (ใน C99 และก่อนหน้านี้)

เหตุผลน่าจะเพื่อลดความซับซ้อนของการแยกวิเคราะห์ (ใน C) เนื่องจากในกรณีนี้คุณจะต้องตรวจสอบว่าโครงสร้าง / สหภาพแรงงานมีเพียง "คำสั่งผู้ประกาศ" เช่น

Type field;

ที่กล่าวว่าgcc และ "คอมไพเลอร์อื่น ๆ "สนับสนุนฟิลด์ที่ไม่มีชื่อเป็นส่วนขยาย

แก้ไข:ขณะนี้โครงสร้างที่ไม่ระบุชื่อได้รับการสนับสนุนอย่างเป็นทางการใน C11 (§6.7.2.1 / 13)