Tại sao không tham chiếu đến một mảng hoạt động cho đến khi chúng ta sử dụng một con trỏ?

Question

Điều này hoạt động rất tốt ...

int a[5] = {1,2,3,4,5}, int *p = a; 
int *& ref = p; 

Nhưng tại sao tính năng này không hoạt động?

int a[5] = {1,2,3,4,5}; 
int*& ref = a; 

Cả a và p là con trỏ và có giá trị như nhau (địa chỉ của a[0]). Khi tôi tham chiếu đến một mảng bằng cách sử dụng con trỏ (p), nó hoạt động rất tốt.

Nhưng khi tôi tham chiếu đến mảng đó a[] trực tiếp, nó không hoạt động ... Tại sao?

Answer 1

a không phải là con trỏ, nó là một mảng. Nó có loại int[5]. Những gì nó có thể làm là phân rã thành một con trỏ int*, đó là những gì xảy ra trong trường hợp đầu tiên. Vì vậy, tham chiếu đến p là ok.

Bây giờ cho trường hợp thứ hai. Hãy nhớ rằng a là không phải là một con trỏ. Vì vậy, có một chuyển đổi tiềm ẩn xảy ra từ int[5] đến int*. Kết quả của chuyển đổi đó là giá trị gia tăng. Nhưng bạn không thể ràng buộc một tham chiếu không phải l constue (đó là những gì ref là) để một rvalue! Vì vậy, mã không biên dịch được.

Dưới đây là một loại suy:

double a = 1.4; 
int& b = a; // implicit conversion from 'double' to `int` results in prvalue 
      // and you can't bind non-const lvalue refs to rvalues. 

Answer 2

int*& ref = a; 

int* là một loại con trỏ, không phải là một kiểu mảng. Vì vậy, đó là lý do tại sao nó sẽ không liên kết với a, có loại int[5].

Vì vậy, sử dụng const

int* const& ref = a; 

Đó là hoạt động tốt, Bởi vì tên mảng là một địa chỉ cố định, tài liệu tham khảo không const không có thể tham khảo một hằng số.

Answer 3

Thêm vào những gì đã được trả lời, bạn có thể nhận được một tham chiếu đến một mảng như

int a[5]; 
int (&ref)[5] = a; 

Live