С++ VLA и прочее...

	Комментарий модератора
	Перенесено из Порекомендуйте компилятор

Dev-C++ меня удивляет. Вот такой код компилирует без ошибок и предупреждений:
А такой и выполняет:

0

Второй код считаю нормальным.
Первый говнокод конечно, но при чём тут IDE? За вывод предупреждений она не ответственна, а то щас наговоришь тут. За предупреждения ответственен компилятор (там стоит gcc). Открываешь в DEV параметры компилятора и пишешь (это нужно уметь делать безусловно) -Wall в опциях и будет круто; в обоих случаях выведутся предупреждения.

В книжке Артура Гриффитса подробно всё описано.

0

кстати вроде по теме а как там в деве запустить функцию InitCommonControls а то не работает

0

Сообщение от kravam Второй код считаю нормальным.

Размер статического массива должен быть известен на момент компиляции. Иначе, как под него память выделять?

Сообщение от kravam Открываешь в DEV параметры компилятора и пишешь (это нужно уметь делать безусловно)

Особенно начинающему... Научи, где что писать.

Добавлено через 8 минут

Сообщение от kravam Первый говнокод конечно, но при чём тут IDE? За вывод предупреждений она не ответственна, а то щас наговоришь тут. За предупреждения ответственен компилятор (там стоит gcc).

Начинающий не будет возиться с подключением другого компилятора к IDE. Для него это всё - IDE.

0

Сообщение от alsav22 Размер статического массива должен быть известен на момент компиляции. Иначе, как под него память выделять?

Оно преобразует переменную и создает статический массив на момент обращения. А void main по-умолчанию и include "stdafx" какой-то куда лучше. А ведь, пропустив автоматом пункт, где надо убрать галочку (а новичок побоится вмешиваться в дефолтные настройки), абсолютно нормальный код не скомпилится. Не говоря уж о том, что студия пытается везде пропихнуть свои стандарты, пугая списком варнингов типа юзай непереносимое printf_s заместо абсолютно нормального printf. Да, можно довести студию до ума, но это уже разбираясь в настройках. Ну и второй код с VLA (variable length array) не считаю слишком критичным. Уж кто бы говорил о стандартах, так это точно не продукты от Microsoft.

0

Сообщение от MrGluck А ведь, пропустив автоматом пункт, где надо убрать галочку (а новичок побоится вмешиваться в дефолтные настройки), абсолютно нормальный код не скомпилится

Поэтому я всем советую создавать пустой проект, там галочки не нужно ставить.

Сообщение от MrGluck Не говоря уж о том, что студия пытается везде пропихнуть свои стандарты

С этим согласен.

Сообщение от MrGluck Уж кто бы говорил о стандартах, так это точно не продукты от Microsoft.

С этим тоже согласен, но насчёт размерности массива, причёт здесь Microsoft? Об этом разговоры здесь были и , если я не прав, пусть поправят, но я так понял, что именно по стандарту размер статического массива должен быть величиной константной, а значит известной на момент компиляции.

0

alsav22, а что тут собственно не устраивает? память, отведенная под m уже содержит значения, то что кододел ее не инициализировал своим значением, это его проблемы.
Как заметил MrGluck, VLA даже в Сишке есть. Начиная с Си99 это очень корректный код.

0

Вопрос не о том, что кого устраивает или не устраивает. Вопрос о том, как правильно. Как тогда это понимать? http://www.cplusplus.com/doc/tutorial/arrays/

NOTE: The elements field within brackets [] which represents the number of elements the array is going to hold, must be a constant value, since arrays are blocks of non-dynamic memory whose size must be determined before execution. In order to create arrays with a variable length dynamic memory is needed, which is explained later in these tutorials.

Добавлено через 15 минут
Вот эти объяснения, как понимать? Массивы. Статические и динамические

0

alsav22, http://www.open-std.org/JTC1/S... /n1336.pdf

However, an object declared with the static storageclass specifier can have a VM type (that is, a pointer to a VLA type). Finally, all identifiers declared with a VM type have to be ordinary identifiers and cannot, therefore, be members of structures or unions. C++ 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 extern int n; int A[n]; // invalid file scope VLA extern int (*p2)[n]; // invalid file scope VM int B[100]; // invalid file scope but not VM void fvla(int m, int C[m][m]); // valid: VLA with prototype scope void fvla(int m, int C[m][m]) // valid: adjusted to auto pointer to VLA { typedef int VLA[m][m]; // valid: block scope typedef VLA struct tag { int (*y)[n]; // invalid: y not ordinary identifier int z[n]; // invalid: z not ordinary identifier }; int D[m]; // valid: auto VLA static int E[m]; // invalid: static block scope VLA extern int F[m]; // invalid: F has linkage and is VLA int (*s)[m]; // valid: auto pointer to VLA extern int (*r)[m]; // invalid: r has linkage and points to VLA static int (*q)[m] = &B; // valid: q is a static block pointer to VLA }

Добавлено через 5 минут
Кстати, на С++, по-моему, даже в С++11 это не по стандарту. Но это тот же сценарий, что и long long int.

0

Сообщение от alsav22 Размер статического массива должен быть известен на момент компиляции. Иначе, как под него память выделять?

А как вообще память под массивы выделяется? Мне кажется функция начинает работать и только тогда выделяется память под массив в стеке. Скорее всего просто указатель на верхушку стека просто-напросто уменьшается на нужное количество байт (в данном случае на m байт). Всё память выделена. ВО ВРЕМЯ РАБОТЫ ФУНКЦИИ main. Проверить так это ли нет- в отладчике сложно. Но можно в том же отладчике посмотреть, откуда функция берёт элементы массива (хотя тут m известно на начало работы, но это не главное, главное, ГДЕ ВЫДЕЛЯЕТСЯ ПАМЯТЬ ПОД МАССИВ)

А выделяется она в стеке; и она может выделиться так, а может выделиться эдак. Отсюда вывод: выделяется она во время работы функции. И следующий вывод: поэтому ничто (кроме больших размеров) не мешает тому, чтобы размер массива (величина стека, выделенного под него) был определён во время работы функции.

Сообщение от alsav22 Особенно начинающему... Научи, где что писать.

Я уже научил. Уже можно по тому, что я сказал, найти настройки компилятора и место, где прописывать опции, DEV компактна довольна. Там негде особо блудить.
И ещё научу, надо будет. Скажем так: и там и там начинающий сталкивается с определёнными трудностями. Так по мне пусть он лучше некорректным кодом пропишет память (а рано или поздно он всё равно это сделает) и научится, как этого избегать (твой первый код), чем увидит чудо-юдо-рыбу-кит например: strcpy_s, которая ни в одном учебнике по C не упоминается.

Сообщение от alsav22 Начинающий не будет возиться с подключением другого компилятора к IDE. Для него это всё - IDE.

Ну и пусть работает с тем, что дают, а подключает ПОТОМ, когда станет неначинающим.

0

+1 голос за gcc в линухе, на Gentoo библиотеки ставятся автоматически системой портов, что уменьшает количество проблем при их подключении.

0

Сообщение от kravam Мне кажется функция начинает работать и только тогда выделяется память под массив в стеке

Неправильно кажется. Память в стеке, под переменные, выделяется до начала работы main(). В этом всё и дело. Как выделить память, если размер её неизвестен?

Миниатюры

 

0

Сообщение от alsav22 Память в стеке, под переменные, выделяется до начала работы main().

да ну, а stack overflow придумали троли

0

Второй код считаю нормальным.

Ты может и считаешь, а стандарт C++ - нет.

0

Сообщение от MrGluck owever, an object declared with the static storageclass specifier can have a VM type (that is, a pointer to a VLA type). Finally, all identifiers declared with a VM type have to be ordinary identifiers and cannot, therefore, be members of structures or unions.Код C++ extern int n; int A[n]; // invalid file scope VLA extern int (*p2)[n]; // invalid file scope VM int B[100]; // invalid file scope but not VM void fvla(int m, int C[m][m]); // valid: VLA with prototype scope void fvla(int m, int C[m][m]) // valid: adjusted to auto pointer to VLA { typedef int VLA[m][m]; // valid: block scope typedef VLA struct tag { int (*y)[n]; // invalid: y not ordinary identifier int z[n]; // invalid: z not ordinary identifier }; int D[m]; // valid: auto VLA static int E[m]; // invalid: static block scope VLA extern int F[m]; // invalid: F has linkage and is VLA int (*s)[m]; // valid: auto pointer to VLA extern int (*r)[m]; // invalid: r has linkage and points to VLA static int (*q)[m] = &B; // valid: q is a static block pointer to VLA }

MrGluck, не могли бы вы хоть как-то прокоментировать эту цитату. Для меня, как начинающего, сложно понять о чём тут речь.

0

Пришла пора расставить всё на свои места.

Сообщение от alsav22 Неправильно кажется. Память в стеке, под переменные, выделяется до начала работы main(). В этом всё и дело. Как выделить память, если размер её неизвестен?

посмотрел твою цитату; кто такое пишет ему руки надо оторвать, цитату можно понимать двояко (а нужно чтобы она понималась ОДНОЗНАЧНО).

Давай всё-таки разделим мухи отдельно, котлеты отдельно. Есть понятие "выделение стека", а есть понятие "выделение памяти в стеке."На самом деле по твоей цитате речь идёт первом, то есть программе выделяется кусок памяти и говорится: "это стек, запихивай туда свои данные". Иначе и быть не может. Но можно предположить и второй вариант (мою версию выделения памяти)- так уж она скользко написана.

Сообщение от alsav22 Как выделить память, если размер её неизвестен?

Это если предполагать, что память под локальные переменные выделяется до начала main (твои предположения);а если она выделяется в процессе main, то всё становится на свои места.

Поэтому смотрим своими глазами где что и как выделяется, поехали:


Проверяем, вот код:
Так ты говоришь, память под переменную m выделится до начала main? запускаем прогу в отладчике, вот на нулевом рисунке ясно показана программа В НАЧАЛЕ РАБОТЫ, в правом нижнем углу СТЕК и я стрелками показал, что в стеке нет НИЧЕГО ПОХОЖЕГО на 0X5555666

Но, может быть, значения нет, а ячейка памяти выделена? Ни фига подобного, трассируем до момента, когда значение 0x55556666 будет занесено в стек, вот эта инструкция (ris_1.), я на неё показываю стрелкой, кроме того мы видим, что стек с начала работы охренительно увеличился и только ПОСЛЕ ВЫПОЛНЕНИЯ ЭТОЙ ИНСТРУКЦИИ в стек будет положено значение 0X5555666; куда именно я указал пятью восклицательными знаками.

Ну и наконец последняя картинка (ris_2) это мы видим что по адресу в стеке 0X22ff4C РЕАЛЬНО положилось значение 0X5555666 и случилось это непосредственно перед вызовом printf, а далеко не перед началом работы main; ну то есть вышло так: сперва выделена ячейка памяти, через некоторое время (не сразу) туда занесено значение 0X5555666

Миниатюры

     

0

Сообщение от kravam Так ты говоришь, память под переменную m выделится до начала main?

Это не только я говорю, и не один я говорю. Многие говорят. Не раз, и не два встречал. Например, здесь: Размер статического массива

0

Сообщение от ~OhMyGodSoLong~ Место под все локальные переменные выделяется перед выполнением кода функции. Сколько этого места понадобится

А чё сказать? Я показал на пальцах, что место под локальную переменную m выделилось В ПРОЦЕССЕ выполнения кода, а не перед. Но чел убеждён что "перед". Ну пусть так и будет, мне-то что.

Сообщение от ~OhMyGodSoLong~ когда его инициализировать, решает компилятор

с этим согласен

Добавлено через 9 минут
НЕ поленился щас вот такой код глянуть:
Да. Всё так и есть. В начале main стек мал и пуст. А где-то в середине программы стек УВЕЛИЧИЛСЯ и перегоняет туда эту строку. (Ставил нардварный бряк на этой строке в секции данных и смотрел, когда к ней будет обращение); могу скриншоты скинуть.

0

0

А ничего, что в стеке хранятся не только записи активаций функций, а и вагон с тележкой другой лабуды вроде записей активаций системных вызовов и SEH-фреймов, и кто-то должен за ними убирать, чтобы user-функции не напоролись на то, что им видеть не положено?

0