Tại sao trình biên dịch yêu cầu `xóa [] p` so với` xóa p [] `?

Question

Trong C++, nếu bạn muốn tự động phân bổ một mảng, bạn có thể làm một cái gì đó như thế này:

int *p; 
p = new int[i]; // i is some number 

Tuy nhiên, để xóa các mảng, bạn làm ...

delete[] p; 

Tại sao isn' t nó delete p[]? Điều đó sẽ không cân đối hơn với cách nó được tạo ra ban đầu? Lý do (nếu có) tại sao ngôn ngữ được thiết kế theo cách này?

Answer 1

Một lý do có thể khiến các trường hợp này trở nên khác biệt hơn.

int ** p; 
delete[] p 
delete p[1]; 

Nếu đó là delete p[] thì một lỗi ký tự sẽ có những điều khó chịu khá khó chịu.

Answer 2

Vì mảng phân rã thành con trỏ khi truyền tham số thành hàm (hoặc toán tử). Vì vậy, xóa p [] sẽ chỉ đơn giản là tương đương với xóa p.

[sửa] Chúng tôi có thể nghĩ xóa là toán tử mẫu đặc biệt. Toán tử sẽ có thể phân tán giữa p và p [] để chọn đúng "chuyên môn hóa" (không phải mảng hoặc mảng bị xóa). Tuy nhiên, các quy tắc khấu trừ đối số mẫu làm cho sự lựa chọn này là không thể (do mảng phân rã chúng ta không thể phân tán giữa p [] và p khi suy luận đối số). Vì vậy, chúng tôi không thể sử dụng toán tử có tên xóa cho cả hai trường hợp và cần giới thiệu một toán tử khác [] với tên khác (hậu tố [] có thể được coi là một phần của tên toán tử) cho trường hợp mảng.

[chỉnh sửa 2] Lưu ý. xóa p [] không phải là sintax hợp lệ theo tiêu chuẩn hiện hành. Lý do ở trên chỉ cho thấy các vấn đề có thể gây ra nếu chúng ta cố gắng diễn giải xóa p [] bằng các khái niệm C++ hiện có.