Почему в c++ можно задавать статический массив переменной длины?

Question

[aldexnotproger]

Почему это допустимо? Разве память для массива не выделяется во время компиляции? И почему sizeof корректно определяет размер mas (если, например, ввести n = 5, то sizeof(mas) будет равен 20 байтам при sizeof(int) равном 4 байтам в моей системе)?

Я компилирую этот код с помощью MinGW x64

Answer 1

[res2001]

Это потому что вы компилируете с помощью gcc.
Вообще в стандарте С++ VLA (variable length array) нет в принципе и это ошибка.
Но VLA есть в C99 и далее. А gcc с параметрами по умолчанию разрешает использовать расширения, в т.ч. и VLA.
Стоит включить более строгое соответствие стандарту, как вы получите ошибку и не собираемый код.

Рекомендую это (включать строгое соответствие стандарту) делать в своих проектах всегда. А так же включать вывод всех предупреждений (-Wall -Wextra) и пытаться добиваться сборки без предупреждений.
Наиболее "продвинутые" переводят все предупреждения в ошибки, что бы программа в принципе не собиралась с любыми предупреждениями. Это то же делается соответствующей опцией компилятора.
Часто в таких случаях приходится некоторые предупреждения ставить в игнор, но это делается всегда осознанно, с пониманием для чего это нужно.

Comments

[aldexnotproger]

Спасибо!

[Wataru]

aldexnotproger, Еще добавлю, что не надо для этого знать размер массива во время компиляции. Все, что надо сделать, это выделить память на стеке. Вообще говоря, обычно память под все локальные переменные выделяется в начале функции, но ничего не мешает делать это в середине. Там могут быть сложности с адресацией переменных, и в особо сложных случаях всегда можно выделить память в куче.

[jcmvbkbc]

aldexnotproger, ещё добавлю, что массив в примере -- не статический (т.е. не в сегменте данных или bss), а автоматический (т.е. на стеке). Статический массив переменной длины создать нельзя.