Array và rvalue

Question

$ 4,2/1 - "Một giá trị trái hoặc rvalue loại ‘mảng ofN T’hoặc‘mảng không rõ ràng buộc của T’có thể được chuyển đổi thành một rvalue kiểu‘con trỏ tới T.’ Kết quả là con trỏ đến phần tử đầu tiên của mảng. "

Tôi không chắc chắn làm thế nào để chúng tôi nhận được giá trị của một loại mảng khác với trong quá trình khởi tạo/khai báo?

Answer 1

Bạn không thể nhận được giá trị của loại mảng. Mảng chỉ có thể là các giá trị và bất cứ khi nào chúng được sử dụng trong một giá trị, chúng phân rã thành con trỏ đến phần tử đầu tiên.

int array[10]; 
int * p = array; // [1] 

Khái niệm array trong [1] là một vế trái của loại int (&)[10] đó được chuyển đổi sang một rvalue loại int *p, có nghĩa là, các mảng rvalue của N == 10 == T int được chuyển thành một giá trị của loại con trỏ tới T == int.

Answer 2

Đây có phải là cơ hội để chứng minh Array Rvalue không?

int main(){ 
int buf[10][10]; 

int (*p)[10] = buf; 

int (*p2)[10] = p;  // LValue to Rvalue conversion of Array type 'p' 
} 

Answer 3

Tôi không chắc chắn những gì bạn đề cập đến bằng cách "khởi tạo/khai báo" trong ngữ cảnh này. Trong phần tiếp theo, mảng là một prvalue

template<typename T> using alias = T; 

int main() { return alias<int[]>{1, 2, 3}[0]; } 

này có thể được xác nhận qua decltype(alias<int[]>{1, 2, 3}) có loại int[3]. Tạo mảng theo cách này trên bay không được dự định ban đầu để làm việc nhưng trượt vào bản thảo làm việc bằng cách của công việc liên quan đến khởi tạo thống nhất. Khi tôi nhận ra rằng một số đoạn trong bản thảo làm việc C++ 0x không cho phép một số trường hợp đặc biệt của việc tạo ra tạm thời các mảng tạm thời trong khi các đoạn khác cho phép nó, tôi đã gửi một báo cáo lỗi tới ủy ban C++, sau đó trên cơ sở thực hiện một phần công việc của GCC đã quyết định hỗ trợ đầy đủ điều này.