Perché il C++ consente matrici di lunghezza variabile che non sono allocate dinamicamente?

Question

Sono relativamente nuovo per C++, e fin dall'inizio che è stato perforato in me che non si può fare qualcosa di simile

int x; 
cin >> x; 
int array[x]; 

Invece, è necessario utilizzare la memoria dinamica. Tuttavia, ho scoperto di recente che il precedente sarà compilare (anche se ottengo un avvertimento -pedantic che dice che è vietato da ISO C++). So che è ovviamente una cattiva idea farlo se non è consentito dallo standard, ma in precedenza non sapevo nemmeno che fosse possibile.

La mia domanda è, perché g ++ consente array di lunghezza variabile che non sono allocati dinamicamente se non è consentito dallo standard? Inoltre, se è possibile per il compilatore farlo, perché lo non è nello standard?

Answer 1

Il supporto per array di lunghezza variabile (VLA) è stato aggiunto al linguaggio C in C99.

È probabile che dal momento che il supporto per loro esiste in gcc (per supportare C99), è stato relativamente semplice aggiungere il supporto per loro a g ++.

Detto questo, è un'estensione di linguaggio specifica dell'implementazione e non è una buona idea utilizzare estensioni specifiche dell'implementazione se si desidera che il codice sia portatile.

Answer 2

Perché è supportato in C99. Non posso davvero parlare del perché non sia nello standard C++. Tuttavia, non è così utile come potresti pensare perché porta facilmente (se non stai attento) allo stack overflow (poiché è tipicamente basato su alloca, a sua volta non standard). Un altro errore consiste nel restituire un puntatore a un array dinamico, che andrà immediatamente fuori dal campo di applicazione.

Answer 3

I lotti di compilatori abbracciano ed estendono gli standard. Ci sono due ragioni fondamentali:

1. Nefarious compilatore-scrittori probabilmente pensano che, per rendere più difficile per allontanarsi da loro compilatore aiuta ad aumentare la longevità.
2. I benevoli scrittori di compilatori probabilmente pensano che offrirti più opzioni quando possono a poco o nessun costo per se stessi è una buona cosa.

Answer 4

Tutte le ragioni menzionate che hanno a che fare con loro in C sono corrette, anche se ci sono limitazioni per il requisito. Il tuo esempio potrebbe dimostrare un supporto più flessibile rispetto a quello richiesto in C (se lo hai implementato utilizzando scanf anziché cin, inseriscilo in un file .c e usalo gcc).

Questa è quasi solo una chiamata implicita a alloca (allocate auto) che riduce semplicemente il puntatore dello stack (aumentando la dimensione dello stack) e copia il nuovo puntatore dello stack su un altro registro che viene utilizzato come puntatore alla memoria allocata.

La differenza è che costruttori e distruttori non stanno per essere invitato oggetti creati con un alloca.