Czy tablice o zmiennej długości o zerowej długości są dozwolone/dobrze zdefiniowane?

Question

Programuję w C99 i używam tablic o zmiennej długości w jednej części mojego kodu. Wiem, że tablice zerowej długości C89 są niedozwolone, ale nie jestem pewien co do tablic C99 i zmiennej długości.

Krótko mówiąc, czy występuje następujące dobrze zdefiniowane zachowanie?

int main() 
{ 
    int i = 0; 
    char array[i]; 
    return 0; 
} 

Answer 1

Nie, tablice zerowej długości są wyraźnie zakazane przez języku C, nawet jeśli są one tworzone jako VLA przez wartości wielkości run-time (jak w próbce kodu).

6.7.5.2 Array declarators

...

Jeśli rozmiar jest wyrazem, który nie jest liczbą całkowitą stałą wyrażenie: jeśli występuje w deklaracji w funkcji prototypowy zakres, jest traktowany tak, jakby został zastąpiony przez *; w przeciwnym razie, za każdym razem, gdy jest oceniany jako , będzie mieć wartość większą od zera.

Answer 2

zerowej długości tablice nie są dozwolone C statycznie wpisane macierze muszą mieć, nie-zerową wielkość, która jest stała ekspresja i zmiennej długości macierze muszą mieć rozmiar, który ocenia różną od zera; C11 6.7.6.2/5:

każdym razem [wyrażenie rozmiar] ocenia powinny mieć wartości większej niż zero

Jednakże, C99 i C11 mają pojęcie elastycznej matrycy członek od struct:

struct foo 
{ 
    int a; 
    int data[]; 
}; 

od C11, 7.6.21/18:

W szczególnym przypadku ostatni element struktury z więcej niż jednym nazwanym elementem może mieć niekompletny typ tablicy; nazywa się to elastycznym elementem tablicy . W większości sytuacji, elastyczny element tablicy jest ignorowany. W szczególności rozmiar struktury jest taki, jak gdyby pominięto elastyczny człon matrycowy , z tym wyjątkiem, że może on mieć więcej padania z tylną ścianką niż to oznaczałoby pominięcie. Jednak gdy operator . (lub ->) ma lewy operand, który jest (wskaźnik na) strukturę z elastycznym elementem macierzy i prawymi argumentami operandowymi, który jest członkiem , zachowuje się tak, jakby ten element był zamieniany na najdłuższy zestaw (z tym samym typem elementu ), który nie powodowałby, że struktura była większa niż obiekt, do którego uzyskiwany był dostęp;

Answer 3

Tablice o zerowej długości nie są dozwolone w standardzie C (nawet C99 lub C11). Ale gcc zapewnia rozszerzenie, aby na to zezwolić. Patrz: http://gcc.gnu.org/onlinedocs/gcc/Zero-Length.html