đúc con trỏ đến mảng kích thước cố định trong câu lệnh return

Question

Cách đơn giản nhất để hỏi câu hỏi này là với một số mã:

struct Point 
{ 
    int x; 
    int y; 
    int z; 

    int* as_pointer() { return &x; }  // works 
    int (&as_array_ref())[3] { return &x; } // does not work 
}; 

as_pointer biên dịch, as_array_ref không. Một diễn viên có vẻ là theo thứ tự nhưng tôi không thể tìm ra cú pháp thích hợp. Bất kỳ ý tưởng?

Answer 1

tôi thấy rằng các loại mảng được dễ dàng hơn để đối phó với với một typedef:

typedef int ints[3]; 

Sau đó as_array_ref của bạn phải được viết sao cho &as_array_ref() == &x.

Các cú pháp sau đây có thể xảy ra:

1. đồng bằng C-style cast từ int* để ints*:

   ints& as_array_ref() { return *((ints*)(&x)); }

2. C++ phong cách reinterpret_cast (được đề xuất bởi @ Mike Seymour - xem thêm mình câu trả lời). Nó thường được coi là một thực hành tốt hơn trong C++:

   ints& as_array_ref() { return *reinterpret_cast<ints*>(&x); }

3. Cast từ int& để ints& đó là hơi ngắn hơn nhưng (cho tôi) ít trực quan:

   ints& as_array_ref() { return reinterpret_cast<ints&>(x); }

Answer 2

tôi nghĩ rằng những gì bạn đang cố gắng làm sẽ dễ dàng hơn (và rõ ràng hơn/sạch hơn) với một công đoàn.

Answer 3

Dàn diễn viên bạn cần phải diễn giải lại một tham chiếu đến một biến như một tham chiếu đến một mảng là:

reinterpret_cast<int(&)[3]>(x); 

Hãy nhận biết rằng việc sử dụng này cung cấp cho hành vi undefined; nó có thể sẽ làm việc trên bất kỳ thực hiện hợp lý, nhưng không có đảm bảo rằng sẽ không có đệm giữa các thành viên của lớp, trong khi mảng không được đệm.