6.19 Массивы переменной длины

Автоматические массивы переменной длины разрешены в стандарте ISO C99, а GCC как расширение поддерживает их в режиме C90 и в C++. Эти массивы объявляются как любые другие автоматические массивы, но с длиной, которая не является константным выражением. Память выделяется при объявлении и освобождается, когда область видимости блока, содержащего объявление, завершается. Например:

FILE *
concat_fopen (char *s1, char *s2, char *mode)
{
  char str[strlen (s1) + strlen (s2) + 1];
  strcpy (str, s1);
  strcat (str, s2);
  return fopen (str, mode);
}

Выход из области видимости имени массива (прыжок или прерывание) освобождает выделенную память. Вход в область видимости запрещен; за это вы получите сообщение об ошибке.

Как расширение, GCC поддерживает массивы переменной длины в качестве члена структуры или объединения. Например:

void
foo (int n)
{
  struct S { int x[n]; };
}

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

Существуют и другие различия между этими двумя методами. Память, выделенная с помощью alloca, существует до тех пор, пока не вернётся содержащая её функция. Память массива переменной длины освобождается, как только заканчивается область видимости имени массива. (Если вы используете и массивы переменной длины, и alloca в одной функции, освобождение памяти массива переменной длины также освобождает всё, что было выделено с помощью alloca после него.)

Вы также можете использовать массивы переменной длины в качестве аргументов функций:

struct entry
tester (int len, char data[len][len])
{
  /* … */
}

Длина массива вычисляется один раз при выделении памяти и запоминается для области видимости массива на случай, если вы к ней обратитесь с помощью sizeof.

Если вы хотите передать массив сначала, а затем длину, вы можете использовать объявление вперед в списке параметров — еще одно расширение GNU.

struct entry
tester (int len; char data[len][len], int len)
{
  /* … */
}

‘int len’ перед точкой с запятой является объявлением параметра вперед, и оно служит для того, чтобы имя len было известно при разборе объявления data.

Вы можете записать любое количество таких объявлений параметров вперед в списке параметров. Они могут быть разделены запятыми или точками с запятой, но последнее должно заканчиваться точкой с запятой, за которой следуют «реальные» объявления параметров. Каждое объявление вперед должно соответствовать «реальному» объявлению по имени параметра и типу данных. ISO C99 не поддерживает объявления параметров вперед.

Далее: Макросы с переменным числом аргументов, Предыдущее: Пустые структуры, Вверх: Расширения языка C [Оглавление][Указатель]