Tại sao C++ 11 không hỗ trợ cấu trúc ẩn danh, trong khi C11 làm gì?

Question

C11 hỗ trợ cấu trúc mang tính chất như vậy:

struct Foo 
{ 
    struct 
    { 
     size_t x, y; 
    }; 
}; 
struct Foo f; 
f.x = 17; 
f.y = 42; 

Về cơ bản, các thành viên của như một struct được đối xử như thể họ là thành viên của kèm theo struct hoặc union (đệ quy, nếu cấu trúc kèm theo là bản thân vô danh).

Lý do cơ bản cho C++ 11 cũng không bao gồm cấu trúc ẩn danh là gì? Chúng chỉ hữu ích một cách không phổ biến (chủ yếu là trong các công đoàn, để loại bỏ việc đánh máy mã định danh cho số struct). Nhưng chúng dường như là một sự bổ sung đủ rõ ràng cho đặc tả (và đã được nhiều trình biên dịch thực hiện) mà chắc chắn chúng phải được thảo luận, ít nhất là để duy trì tính tương thích với tiêu chuẩn C11. Vậy tại sao họ không được thêm vào?

Answer 1

Ít nỗ lực để duy trì tính tương thích giữa C++ và C khi hai ngôn ngữ phát triển. Lưu ý rằng các mảng ngăn xếp độ dài biến đổi đã có trong C từ năm 1999, nhưng không được bao gồm trong C++ 11. Trong khi họ thường không giới thiệu những thứ mâu thuẫn với nhau, ủy ban C++ không chính xác uốn cong về phía sau để đảm bảo rằng C++ 11 tương thích với các phiên bản của C vượt quá C89.

Hơn nữa, tính năng này sẽ khá phức tạp trong C++, vì struct không có gì khác hơn là class. Và một cấu trúc/lớp ẩn danh nên có tất cả các đặc điểm của một cấu trúc/lớp thông thường, phải không? Nếu không, điểm của nó là gì?

Việc xây dựng một tên vô danh struct có ý nghĩa gì? Làm thế nào bạn sẽ xác định các nhà xây dựng? Một cái gì đó đơn giản như:

struct Foo 
{ 
    struct 
    { 
     size_t &x; 
    }; 
}; 

đơn giản là không thể vì bên trong struct không có hàm tạo. Và không có cách nào để chỉ định một. A struct không thể xây dựng các thành viên khác struct bên trong nó.

Đối với một cái gì đó như thế này:

struct Foo 
{ 
    size_t outer; 
    struct 
    { 
     void SomeFunc(); 
     size_t x; 
    }; 
}; 

gì this con trỏ không SomeFunc nhận được? Loại this là loại vô danh và không tên nào? Làm thế nào bạn thậm chí sẽ xác định SomeFunc bên ngoài của cấu trúc? Tên của SomeFunc không thể là Foo::SomeFunc, bởi vì SomeFunc sống trong phạm vi bên trong.

Quá phức tạp đối với C++ để giải quyết. Và chắc chắn không đủ đáng để làm phiền với việc thêm vào sự phức tạp đó.

Answer 2

Để chơi tuyên bố chủ trương của ma quỷ - lớp và khai báo cấu trúc được sử dụng thường xuyên để bọc khai báo kiểu lớp cụ thể.

typedef struct { 

} name; 

do đó phải được cho phép.

Do đó

struct { 

} 

nên càng tốt.

Tuy nhiên, nếu chúng ta xem điều này chỉ là một khai báo trong không gian tên nội bộ của một lớp, sẽ không có cách nào để truy cập vào bên trong của cấu trúc.

Vì struct! = Không gian tên trong C, C có thể tạo nên các quy tắc như truy cập cấu trúc ẩn danh thông qua cấu trúc xung quanh.

Đối với C++ để cho phép điều này, nó sẽ cần phải trường hợp đặc biệt tình huống này, mà sẽ làm phức tạp độ phân giải tên.

Tất nhiên, chơi ủng hộ ma quỷ của quỷ dữ - C thực sự đã làm điều này. Nó bổ sung thêm một mức độ để phân giải tên - nếu bạn không thể tìm thấy tên trong một kiểm tra stuct các thành viên ẩn danh của struct. Đó là một chút huyền diệu, theo cách mà tôi có thể thấy các thành viên ủy ban C++ thấy khó chịu.

Nó cũng đặt ra các câu hỏi - nếu một cấu trúc ẩn danh có thể được truy cập thông qua lớp cha của nó, những gì về cấu trúc ẩn danh trong một không gian tên.

Tất nhiên, nếu bạn thực sự muốn biết, chỉ cần hỏi Stroustrup - anh ấy trả lời email.

Answer 3

Nó nghĩ làm việc này trong C++ 11

struct A 
{ 
    int someVariable; 
}; 

struct B : public A 
{ 
    int someOtherVariable; 
}; 

Sử dụng nó như:

B structB; 
structB.someVariable = 5; 
structB.someOtherVariable = 6; 

này đã giúp tôi để giải quyết một vấn đề tương tự.