Объявление массива отрицательной длины

Question

Что происходит в C при создании массива отрицательной длины?

Например:

int n = -35; 

int testArray[n]; 

for(int i = 0; i < 10; i++) 
    testArray[i]=i+1; 

Этот код будет скомпилирован (и не вызывает никаких предупреждений с -Wall включена), и, кажется, вы можете назначить testArray[0] без проблем. Присваивая прошлое, которое дает либо ошибку segfault, либо незаконную инструкцию, и чтение чего-либо из массива говорит «Abort trap» (я не знаком с этим). Я понимаю, что это несколько академический, и (надеюсь) никогда не появятся в реальной жизни, но есть ли какой-то особый способ, который стандарт C говорит, чтобы рассматривать такие массивы, или это зависит от компилятора от компилятора?

Answer 1

Это неопределенное поведение, так как он нарушает «должен» ограничение:

C99 §6.7.5.2:

Если размер является выражением, которое является не целая константа. .. ... каждый раз, когда он оценивается, он должен иметь значение больше нуля.

Answer 2

Неопределенное поведение, я считаю, хотя и не цитирую меня.

Это дает ошибку error: size of array 'testArray' is negative в НКУ:

int testArray[-35]; 

, хотя, как вы уже видели:

int n = -35; 
int testArray[n]; 

не дает ошибку, даже с обоими -Wall и -W.

Однако, если вы используете -pedantic flag, gcc предупредит, что ISO C90 запрещает массив переменной длины.

Answer 3

Visual studio erro message для compilation, вы можете использовать -1, чтобы сказать пустой массив. Он ожидает int и вы передаете int, поэтому ошибки компилятора.