Sự liên quan của tuyên bố này trong 7.1.6.1/1 trong Tiêu chuẩn C++ là gì?

Question

7.1.6.1/1 chứa các tuyên bố sau (tôi nhấn mạnh):

Có hai cv-vòng loại, const và bấp bênh. Nếu một cv-vòng loại xuất hiện trong một decl-specifier-seq, các init-declarator-list của việc kê khai sẽ không có sản phẩm nào.

Mức độ liên quan của tuyên bố được in đậm ở trên là gì? Nói cách khác, có thể tạo ví dụ về loại cv-unqualified trong số từ chối-specifier-seq, trong đó init-declarationator-list của khai báo trống không?

Answer 1

chắc, hầu hết các định nghĩa lớp và enum tận dụng nó:

struct A { }; // valid 
const struct B { }; // invalid, const would have no meaning 
const struct C { } c { }; // valid 

Có gì khác được. Một init-declarator-list chỉ được sử dụng một cách đơn giản-khai, và cho rằng, tiêu chuẩn (C++ 11) khẳng định:

7 Khai báo [dcl.dcl]

3 Trong một đơn giản tuyên bố, các tùy chọn init-declarator-list thể được bỏ qua khi khai báo một lớp (khoản 9) hoặc liệt kê (7.2), có nghĩa là, khi decl-specifier-seq chứa hoặc là một lớp-specifier, một công phu-type-specifier với khóa học (9.1) hoặc enum-specifier.