Lớp A * A; khai báo phân tích bằng C++?

Question

tôi đang xem xét một ví dụ từ spec chính thức:

class A * A; 

Tôi đã đọc rằng dòng này giới thiệu hai tên: class A mà có thể được truy cập thông qua chỉ xây dựng-specifier-type và con trỏ đến A. dòng này hoàn toàn tương đương với hai dòng sau?

class A; 
A * A; 

Đường đó chỉ là đường cú pháp và thực sự chúng tôi có hai dòng như tôi đã chỉ định ở trên? Hoặc làm thế nào là class A * A; phân tích bằng trình biên dịch?

Answer 1

Có, khai báo nội dòng chỉ là đường cú pháp. Bạn đang chuyển tiếp tuyên bố rằng tên và sử dụng tên đó trên cùng một dòng.

Answer 2

Tôi đang tìm câu trả lời chi tiết hơn trong dự thảo làm việc N3797 và tôi đã tìm thấy những điều sau đây:

§8.3.3:

Do đó, một tuyên bố của một định danh riêng có dạng T D trong đó T có dạng attribute-specifier-seq_*opt* decl-specifier-seq và D là người khai báo.

§7.1:

decl-specifier: 
    storage-class-specifier 
    type-specifier 
    function-specifier 
    friend 
    typedef 
    constexpr 
decl-specifier-seq: 
    decl-specifier attribute-specifier-seq_*opt* 
    decl-specifier decl-specifier-seq 

§7.1.6:

type-specifier: 
    trailing-type-specifier 
    class-specifier 
    enum-specifier 

§8.3.1:

Trong một tuyên bố T D nơi D có dạng * attribute-specifier-seq_*opt* cv-qualifier-seq_*opt* D1 và loại của định trong tờ khai T D1 là “có nguồn gốc-declarator-type-list T”, sau đó loại của các định danh của D là “có nguồn gốc-declarator-type -list cv-vòng-seq con trỏ đến T.”

Bây giờ class-specifier chứa class từ khóa bên trong. Do đó, class A * A là cấu trúc ngữ pháp hợp lệ, trong đó * A là người khai báo.