Массивы переменной длины в C/C++

Одно из нововведений стандарта ISO C99 — автоматические массивы переменной длины . Коротко процитируем:

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

 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, Но не во всех. Этой функции нет старых компиляторах, например, Visual C++ 6.0, и в некоторых относительно свежих, например TinyCC. Тем не менее, массивы переменной длины — элегантное решение. Есть некоторая разница между выделением памяти под массивы переменой длины и выделением памяти функцией «alloca». Память, выделенная с помощью «alloca», существует до оператора «return». Память для массива переменной длины изымается сразу по окончании области видимости. Так же можно использовать массивы переменной длины как аргументы функций:

 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 не поддерживает впередиидущее объявление параметра.

 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);
 }
 MESSAGE * concat_message (char *s1, char *s2) {
    char str[strlen (s1) + strlen (s2) + 1];
    strcpy (str, s1);
    strcat (str, s2);
    return message (str);
 }
 LOG * concat_log (char *s1, char *s2) {
    char str[strlen (s1) + strlen (s2) + 1];
    strcpy (str, s1);
    strcat (str, s2);
    return log (str);
 }

    char str[strlen (s1) + strlen (s2) + 1];
    strcpy (str, s1);
    strcat (str, s2);

char* smartstrcat(char *s1, char *s2) {
    char str[strlen (s1) + strlen (s2) + 1];
    strcpy (str, s1);
    strcat (str, s2);
    return str;
}

 fopen (smartstrcat(s1, s2), mode);
 message (smartstrcat(s1, s2));
 log (smartstrcat(s1, s2));

Почитайте ещё:

• Почему динамическое распределение памяти — это плохо
• Как обеспечить возврат функциями объектов переменной длины?
• Типы переменного размера (dynamically sized types, DST) в языке Rust
• Размещение объектов в стеке, традиционный подход
• Размещение объектов переменной длины с использованием множества стеков
• Размещение объектов переменной длины с использованием двух стеков
• Реализация двухстековой модели размещения данных
• Двухстековая модель: тесты на скорость
• Размещение объектов переменной длины с использованием одного стека
• Можно ли забыть о «куче», если объекты переменной длины хранить в стеке
• Безопасность и размещение объектов переменной длины в стеке
• Массивы, структуры, типы, классы переменной длины
• О хранении данных в стеке — вместо заключения

Опубликовано: 2016.03.18, последняя правка: 2018.10.29    15:54

     2016/08/06 23:41, rst256          # 

#define smartstrcat(S1, S2) strcat( strcpy( alloca(strlen((S1)) + strlen((S2)) + 1), (S1)), (S2) )

#define smartstrcat(S1, S2) ({ const char *s1=(S1), *s2=(S2);
  strcat( strcpy( alloca(strlen(s1) + strlen(s2) + 1), s1), s2 ); })

     2019/01/14 08:25, utkin          # 

smartstrcat(smartstrcat(S1, S2), S2)

Добавить свой отзыв

Написать автору можно на электронную почту
mail(аt)compiler.su