Perché ISO C++ proibisce il ritorno degli array?

Question

Non vedo alcun motivo logico. Voglio dire, si può facilmente superare il requisito utilizzando una struttura che contiene un membro di matrice in questo modo:

template <size_t n> 
struct arr { int d[n]; }; 

auto fnReturningArray() 
{ 
    return arr<3>{0, 1, 2}; 
}; 

Che si comporterà allo stesso modo esatto come se la matrice è direttamente restituito con la piccola differenza che si deve prima accedere alla membro della struttura 'd' per usarlo. Anche lo stesso standard ha aggiunto funzionalità simili con il tipo 'std :: array'. Quindi sembra che sia possibile l'implementazione. Perché allora ISO C++ ha vietato questa azione? Forse compatibilità con il codice legacy (ma non riesco a credere che sia così, come con le altre novità aggiunte, è finita da tempo, come ad esempio il nuovo significato della parola chiave 'auto').

Answer 1

Oltre al fatto che la norma non lo consente, e le ragioni storiche che possono spiegare essa, la questione è sintattica:

immaginare che sarebbe consentita: come è possibile distinguere la denominazione del intera matrice, contro l'indirizzo array, vs un unico elemento:

auto fnReturningArray() 
{ 
    int a[3] = {0, 1, 2}; 
    return a;  // what is meant here ? the address of the array ? or the whole array ? 
}; 

Se desideri cambiare il significato delle norme esistenti (come ad esempio Tating che sarebbe l'intero array), si avrebbe enormi problemi con l'eredità codice.

Answer 2

La risposta come la vedo io, è duplice:

1. Compatibilità con C. C non funziona in questo modo. Perché? Nessuna idea. C non è mai stato logico iniziare con vari aspetti.

2. C++ preferisce le funzioni di libreria sulle funzionalità del linguaggio. Vedendo che C++ 98 era il primo standard, e per lo più copiava le basi da C (vedi punto 1), questo era corretto nella prima revisione principale, C++ 11, che introduce il tipo di libreria std :: array, che , come una pura e semplice funzionalità di libreria, risolve tutti i bizzarri bizzarri che gli array in stile C comportano.

In sintesi: anche se potrebbe avere senso per avere semantica di valore corretto per gli array, non accadrà mai, perché la carenza apparente può essere risolto senza rendere il linguaggio più complesso di quanto non lo sia già. È estremamente difficile liberarsi della compatibilità legacy e retrocompatibile, quindi l'opzione corrente di std :: array è proprio ciò che si desidera. Usalo. È semplice. Ti piacerà. Un sacco.