Одногруппник прислал C++-код с какой-то ошибкой и вывод компилятора по этому поводу. Но более всего меня удивила не его проблема, а то, что в коде создавался на стеке массив с неизвестной на этапе компиляции длиной. Помнится, в начале изучения языка столкнулся с этим и уяснил, что так делать нельзя. Странно, но других ошибок компилятор одногруппника не выдал…
Где-то читал, что следующий Стандарт C++14, возможно, позволит выполнять такой трюк. Но настоящий говорит, что размер массива должен быть constant expression. Это еще раз уменьшает совместимость с C99, где VLAs давно доступны.
Я использую GCC 4.8.1, поэтому на нем решил проверить:
void foo( int n)
{
int array[n];
}
Компилятор с опцией -pedantic честно выдал:
warning: ISO C++ forbids variable length array ‘array’.
На самом деле, VLAs для C++ в gcc являются расширением.
Самое важное, что оператор sizeof считает размер массивов переменной длины в рантайме, а не в компайлтайме. Поэтому, например, мы не сможем инстанцировать шаблон с параметром-нетипом с помощью такого sizeof( vla ):
template <int p>
class A
{
};
void foo(int length)
{
int const_lenght_array[7];
int variable_length_array[length];
A<sizeof(const_lenght_array)> a1; //OK
A<sizeof(variable_length_array)> a2; //ERROR
}
Сообщение компилятора об ошибке славно отвечает, каким образом вычисляется в рантайме размер массива:
error: ‘(unsigned int)((((sizetype)(((ssizetype)length) + -1)) + 1u) * 4u)’ is not a constant expression
Также можно использовать указатели на массивы переменной длины и typedef:
int (*p)[length] = &variable_length_array;
typedef int variable_int_array_t [length];
Более всего сказанного, GNU-расширение позволяет создавать массивы переменной длины массивов переменной длины, что не позволено даже для new, где только верхний уровень может иметь переменную длину:
void bar(int a, int b)
{
int auto_array[a][b]; //OK
int (*dynamic_array)[b] = new int[a][b]; //ERROR
}
Хорошая новость, что в C++14 будут введены VLAs, только во многом не совместимые c VLAs данного расширения и C99. По крайней мере, sizeof и typedef/using(c++11) для них будет ill-formed. Это позволит не наступить на грабли, ожидать от sizeof только компайлтайм-поведения. Вот ссылка на патч для gcc.
Я знаю, что многие считают, что VLAs в C++ становятся бесполезными: для подобных целей существует vector, и никому не интересно, где в действительности выделяется память под элементы. Тем не менее, целью статьи ставилось показать такую возможность у gcc, чтобы впоследствии не удивиться.
В заключение, предложение о VLAs в open-std.
Автор: abikineev
