Tại sao có lỗi int (*) [3] mới?

Question

typedef int (*A)[3]; 

int (**p)[3] = new A;    // OK 
int (**q)[3] = new (int(*)[3]); // OK 
int (**r)[3] = new int (*)[3];  // error 

Lỗi từ GCC là error: expected primary-expression before ')' token. Tại sao các dấu ngoặc đơn phụ được yêu cầu trong biểu thức này?

Answer 1

Tiêu chuẩn xác định new-type-id là chuỗi dài nhất người khai báo mới. Ngoài ra còn có một lưu ý, trong đó mô tả một tình huống tương tự (mặc dù nó phân bổ con trỏ đến chức năng):

5.3.4 mới [expr.new]

....

kiểu mới-id:
        type-specifier-seqmới declarator_opt

mới declarator:
        ptr-operator new-declarator_opt
        noptr-new-declarator

noptr-new-declarator:
        [  biểu  ]   thuộc tính-specifier-seq_opt
        noptr-new-declarator   [  liên tục thể hiện  ]   thuộc tính-specifier-seq _opt

....

Các kiểu mới-id trong một mới- biểu thức là chuỗi dài nhất có thể của người khai báo mới. [Lưu ý: điều này ngăn cản sự mơ hồ giữa các toán tử khai báo &, &&, * và [] và đối sánh biểu thức của chúng.-   cuối note] [Ví dụ:

new int * i; // syntax error: parsed as (new int*) i, not as (new int)*i 

Các * là declarator con trỏ và không phải là toán tử nhân. -   cuối dụ]

[Note: ngoặc đơn trong một kiểu mới-id của một mới thể hiện thể có tác dụng đáng ngạc nhiên. [Ví dụ:

new int(*[10])(); // error 

là vô hình thành vì các ràng buộc là

(new int) (*[10])(); // error 

Thay vào đó, phiên bản ngoặc một cách rõ ràng của new hành có thể được sử dụng để tạo các đối tượng của các loại hợp chất (3.9. 2):

new (int (*[10])()); 

phân bổ một mảng 10 con trỏ đến hàm (không tham gia đối số) và trả lại int. -   cuối dụ] -   cuối note]