массивы переменной длины в C и их инициализация

Question

C99 позволяет определять массивы с непостоянным размером, то есть размер, используемый для определения массива, может меняться во время выполнения. Фрагмент кода, чтобы объяснить, что это будет,

void dummy_function1(unsigned int length) { 

char arrA[length]; //Allowed 
. 
. 
} 

Однако, это не позволяет инициализировать его на месте, т.е.

void dummy_function2(unsigned int length) { 

char arrA[length]={0}; //Not Allowed, compiler throws an error 
char arrB[10]={0};  //Allowed 
. 
} 

Я не понимаю, почему это различие в поведении для массива, который является переменной длина и постоянная длина. В обоих случаях массив будет иметь память при вызове функции.

Answer 1

Это связано с тем, что компилятор не знает, сколько нулей «заполнить» оставшиеся элементы.

Заявление

char arrA[3] = { 0 }; 

легко могут быть переведены на

char arrA[3] = { 0, 0, 0 }; 

во время компиляции, в то время как объявление переменной длины не может.

Поскольку C не имеет системы исполнения, компилятор должен будет добавить код для динамического ввода с нулями в зависимости от заданной длины. Стандарт C стремится быть минимальным с максимальной мощностью для программиста, и поэтому такие вещи избегают. Начиная с C11, массивы переменной длины были удалены из стандарта и помечены как необязательная функция.

Answer 2

Похоже, это не допускается стандартом, если мы посмотрим на проекте C99 стандартной секция 6.7.8инициализации пункта говорит (курсив мой):

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

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

Answer 3

Гипотеза: C является языком среднего уровня, и комитет по стандартизации не хотел включать операции на базовом языке (считая библиотеку как отдельную), которые выполняют объем работы, не определенный во время компиляции.

Все основные операции C, которые приходят мне в голову (возможно, кто-то меня исправит), требуют во время компиляции только определенного количества работы: вызов функции, умножение двух чисел, назначение структуры другому, и так далее. Все они могут выполняться с выполнением нескольких машинных инструкций, которые фиксируются во время компиляции.

Даже для выделения пространства для массива переменной длины требуется только время работы с компиляцией: вычислить размер и вычесть из указателя стека. Напротив, для инициализации всего этого пространства требуется определенная работа во время выполнения. Это не характерно для языка C.

В библиотечных процедурах может потребоваться объем работы, определенный во время выполнения, например memset.