Tên mảng có phải là một con trỏ không đổi trong C++ không?

Question

Tôi có một câu hỏi về mảng tên một

int a[10] 

thế nào là tên mảng được định nghĩa trong C++? Một con trỏ không đổi? Nó được định nghĩa như thế này hay chỉ là chúng ta có thể nhìn nó như thế này? Những gì hoạt động có thể được áp dụng trên tên?

Answer 1

Chuẩn C++ xác định mảng là gì và hành vi của nó. Hãy nhìn vào chỉ mục. Nó không phải là một con trỏ, const hoặc cách khác, và nó không phải bất cứ điều gì khác, đó là một mảng.

Để thấy sự khác biệt:

int a[10]; 
int *const b = a; 

std::cout << sizeof(a); // prints "40" on my machine. 
std::cout << sizeof(b); // prints "4" on my machine. 

Rõ ràng a và b không cùng loại, vì chúng có kích cỡ khác nhau.

Trong hầu hết các ngữ cảnh, tên mảng "phân rã" thành con trỏ thành phần tử đầu tiên của chính nó. Bạn có thể coi đây là một chuyển đổi tự động. Kết quả là một rvalue, có nghĩa là nó chỉ là "chỉ" một giá trị con trỏ, và không thể được gán cho, tương tự như khi một tên hàm phân rã thành một con trỏ hàm. Không có nghĩa là "const" như vậy, nhưng nó không thể chuyển nhượng được.

Vì vậy, một mảng "là" một con trỏ giống như một hàm "là" một con trỏ hàm, hoặc một "dài" là một int. Đó là để nói, nó không phải là thực sự, nhưng bạn có thể sử dụng nó như là một trong hầu hết các bối cảnh nhờ vào việc chuyển đổi.

Answer 2

Tên mảng không phải là một con trỏ không đổi - tuy nhiên nó hoạt động giống như một trong nhiều ngữ cảnh (nó chuyển đổi thành một cảnh đẹp) cho hầu hết các mục đích.

Từ 6.3.2.1/3 "Khác toán hạng/lvalues, mảng, và định danh chức năng":

Trừ khi nó là toán hạng của sizeof nhà điều hành hoặc nhà điều hành & unary, hoặc là một chuỗi chữ được sử dụng để khởi tạo một mảng, một biểu thức có kiểu "mảng kiểu" được chuyển thành một biểu thức có kiểu "con trỏ để nhập" trỏ đến phần tử ban đầu của đối tượng mảng và không phải là một giá trị.