Странное поведение компилятора Linux [g++]

[MooNDeaR]

Сегодня обнаружил крайне забавную ведь в компиляторе g++ v4.7.3 под Linux.

Есть вот такой код:

int main()
{
    int n = 2;
    int b = 7;

    n += b;

    int c[n];

    for(int i = 0; i < n; ++i)
    {
        c[i] = i + 1;
    }
    for(int i = 0; i < n; ++i)
        cout << c[i] << endl;

    return 0;
}

Компилирую его вот так:

:~$ g++ main.cpp -o test

И он компилируется! Без всяких проблем. В консоль выдает следующее



Но как так?! Он не должен работать. Подумал, что он автоматически создает динамический массив, но нет.

delete[] c; //SEGABRT - во время исполнения

Если написать так:

int c[n] = {0}

То получаю ошибку во время компиляции:

main.cpp:13:18: error: variable-sized object ‘c’ may not be initialized

И вот я что-то впервые слышу о всяких там variable-sized object. Может я что-то упустил за последние годы?

[Stilet]

динамический массив

А где у тебя тут динамический массив?
Ты имеешь ввиду что без const int компиль создал массичик из n элементов. и это тебя удивило?

[MooNDeaR]

и это тебя удивило?

Меня удивило то, что по стандарту С++98 размер статического массива нельзя задавать переменной. Только константным выражением!

В винде, например, компилятор студии выдает это:

error C2057 expected constant expression

[halcyon]

Сообщение от Stilet

А где у тебя тут динамический массив?
Ты имеешь ввиду что без const int компиль создал массичик из n элементов. и это тебя удивило?

Да, это странно.

[ROD]

Ну во-первых, v4.7.3 работает по стандарту C++11 (правда не полностью). Хотя скорее всего это просто особенность этого компилятора, не продиктованная стандартом.

А во-вторых - если учесть, что в начале программы n получает вполне однозначное значение и больше нигде никак не изменяется, компилятор, скорее всего, b вообще выкинул, а n заменил на константу.

[MooNDeaR]

Ну во-первых, v4.7.3 работает по стандарту C++11 (правда не полностью).

Для компиляции по этому стандарту, есть специально задаваемый флаг --std=c++11, если явно задать --std=c++98, всё равно будет работать.

А во-вторых - если учесть, что в начале программы n получает вполне однозначное значение и больше нигде никак не изменяется...

n += b;

Но ладно бы это было так. Я и b изменял после и n. Если посмотреть на код после препроцессора (параметр -E у компилятора), то код не изменяется никак. Как посмотреть на код после всех оптимизаций, я не знаю, но хотел бы узнать.

скорее всего это просто особенность этого компилятора, не продиктованная стандартом.

Дык это же меняет столько вещей! Во многих местах теперь можно забить на создание более медлительных динамических массивов и использовать статические. Например, когда нам нужен буферный массив, но заранее нам его размер не известен.

[ROD]

Если посмотреть на код после препроцессора (параметр -E у компилятора), то код не изменяется никак. Как посмотреть на код после всех оптимизаций, я не знаю, но хотел бы узнать.

Видимо никак не посмотреть, ну или я плохо гуглил. Надо в дизассемблере посмотреть что внутри программы получается.

[MooNDeaR]

Надо в дизассемблере посмотреть что внутри программы получается.

Сделал так:

int fun(int n, int b)
{
    n += b;

    int buf[n][b];

    for(int i = 0; i < n; ++i)
    {
        for(int j = 0; j < b; ++j)
            buf[i][j] = i + 1;
    }
    for(int i = 0; i < n; ++i)
    {
        for(int j = 0; j < b; ++j)
            cout << buf[i][j] << ' ';
        cout << endl;
    }
    return n + b;
}

int main()
{
    int x, y;
    cin >> x >> y;
    cout << fun(x,y) << endl;

    return 0;
}

Теперь он точно ни b, ни n удалить не может и на константы не заменит...

[ROD]

Хм... а вот тут... у меня даже допотопный borland C++ builder 3.11 позволял в "других" функциях задавать размер "статичного" массива параметрами, передаваемыми функции. Надо смотреть что компилятор на самом деле делает.

[pproger]

2MooNDeaR
массивы переменной длины в крестах - это расширение гсс (во всяком случае до стандарта с++03). чтобы компилять стандартом с++98 и игнорировать все расширения нужно писать так:
g++ -std=c++98 -pedantic-errors main.cpp