Obsada wskaźnik do tablicy o stałym rozmiarze w instrukcji return

Question

Najprostszym sposobem na to pytanie jest z jakiegoś kodu:

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 kompiluje, as_array_ref nie. Wydaje się, że obsada jest w porządku, ale nie mogę znaleźć odpowiedniej składni. Jakieś pomysły?

Answer 1

Uważam, że typy tablicy są łatwiejsze do czynienia z typedef:

typedef int ints[3]; 

wówczas as_array_ref musi być napisany tak, że &as_array_ref() == &x.

następujące składnie są możliwe:

1. zwykły C-style cast z int* do ints*:

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

2. C++ stylu reinterpret_cast (sugerowane przez @Mike Seymour - patrz także jego odpowiedź). Jest często uważane za lepsze praktyki w C++:

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

3. Odlewanie z int& do ints& który jest nieco krótszy, ale (dla mnie) mniej intuicyjne:

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

Answer 2

I pomyśl, że to, co próbujesz zrobić, byłoby łatwiejsze (i bardziej przejrzyste/czystsze) w związku.

Answer 3

Obsada trzeba reinterpretacji odwołanie do zmiennej jako odniesienie do tablicy brzmi:

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

Należy pamiętać, że stosując ten daje niezdefiniowanej zachowań; prawdopodobnie będzie działał przy każdej rozsądnej implementacji, ale nie ma gwarancji, że nie będzie dopełnienia pomiędzy członkami klasy, podczas gdy tablice nie są wypełnione.