Проблема с объявлением массива - В Linux компилится, в VS - нет!

[ruddystepa]

Пишу простенькую функцию для изменения порядка чисел в массиве на обратный. При компиляции пробной программы:

Код:

#include<iostream>
using namespace std;

void invmas(int mas[], int size);
int main() {
	char sel;
	do {
	int size;
	cout<<"Enter Size >";
	cin>>size;
	cout<<endl;
	int mas[size];
	for (int i=0; i<size; i++) mas[i]=i;
	cout<<"Source mas: ;"<<endl;
	for(int i=0; i<size; i++) cout<<"mas["<<i<<"]= "<<mas[i]<<endl;
	invmas(mas, size);
	cout<<"Inverted massive :"<<endl;
	for(int i=0; i<size; i++) cout<<"mas["<<i<<"]= "<<mas[i]<<endl;
	cout<<"Continue? Y/N >";
	cin>>sel;
	}while(sel=='Y' || sel=='y');
	return 0;
}
void invmas(int mas[], int sizemas) {
	int temp[sizemas];
	for(int i=0; i<sizemas; i++) temp[i]=mas[sizemas-i-1];
	for(int i=0; i<sizemas; i++) mas[i]=temp[i];
}

выдается ошибка и следующее сообщение:
1>d:\программирование\visual studio projects\mas\mas\mas.cpp(12) : error C2057: expected constant expression
1>d:\программирование\visual studio projects\mas\mas\mas.cpp(12) : error C2466: cannot allocate an array of constant size 0
1>d:\программирование\visual studio projects\mas\mas\mas.cpp(12) : error C2133: 'mas' : unknown size
1>d:\программирование\visual studio projects\mas\mas\mas.cpp(25) : error C2057: expected constant expression
1>d:\программирование\visual studio projects\mas\mas\mas.cpp(25) : error C2466: cannot allocate an array of constant size 0
1>d:\программирование\visual studio projects\mas\mas\mas.cpp(25) : error C2133: 'temp' : unknown size

При этом под Linux все нормально компилится и работает!! Посмотрел ошибку C2057 - из объяснения видно, что объявлять массивы с размером, задаваемым переменной (даже, если при ее объявлении указан спецификатор const) вообще нельзя!!  Может, все же есть обходной путь? Например, какие-нибудь опции компилятора? Ведь gcc то проглатывает, и не морщится. Хочется, чтобы функция была достаточно универсальной.

[Джон]

Попробуй

void invmas(int *mas, int size);

[ruddystepa]

Яйца те же, вид сбоку
Впрочем, объявление функции здесь не при чем - компилятор ругается уже на 12 строчку:

Код:

8   int size;
	9    cout<<"Enter Size >";
	10  cin>>size;
	11  cout<<endl;
	12  int mas[size];

таким вот макаром:
error C2057: expected constant expression

[Джон]

Аааа блин ну конечно!

Эт я мельком глянул, сорри. Использование переменных при выделении памяти под стековые объекты не разрешается. Только в куче.

int *mas = new int[size];

int *temp = new int[sizemas];

зы Ну и освободить не забудь

delete [] mas;
delete [] temp;

[Serg79]

Ну ты даещь

   10  cin>>size;
   11  cout<<endl;
   12  int mas[size];

C++ не поддерживает динамические масивы.

Делай так:

int *mas;
cin >> size;
mas = new int [size];
...ну и далее...
for (i=0; i<size; i++) *(mas+i)=i;

[ruddystepa]

А это относится только к Visual Studio, или к другим компиляторам тоже? gcc то ведь проглотил, и все нормально работает. К примеру в Borland тоже надо new применять?

[Serg79]

При этом под Linux все нормально компилится и работает!!

Не понимаю как gcc такое разрешило. 

Хотя все может быть, я ему такое не пытался подсунуть.

[Serg79]

А это относится только к Visual Studio, или к другим компиляторам тоже? gcc то ведь проглотил, и все нормально работает. К примеру в Borland тоже надо new применять?

Стандарт ANSI/ISO языка С++ от 1998 года такое не поддерживает.
А стандарт ANSI/ISO языка C от 1999 года уже поддерживает динамические массивы.

[ruddystepa]

То есть, как я понял, Visual Studio.Net 2006 работает в соответствии со старым стандартом ANSI/ISO от 1998 года?

[Serg79]

То есть, как я понял, Visual Studio.Net 2006 работает в соответствии со старым стандартом ANSI/ISO от 1998 года?

Что значит старый, на данный момент это самый последний предложенный стандарт языка C++.

Если при компиляци в gcc добавить ключь -ansi, то он уже не будет допускать все то, что не поддерживается стандартом.

[ruddystepa]

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

[Dimitry]

В принципе, я бы воспользовался функцией _alloca(), вместо malloc() или оператора new для размещения массива в стеке, а не в куче - это более похоже на локальный массив и работает быстрее. Тем более, память в таком случае освобождается автоматически при возврате управления из функции.

int *mas;
mas = (int *)_alloca(size * sizeof(int));

P.S. В Linux'е функция _alloca() называется по-другому, вроде salloc(), но не уверен - но, если нужно, её можно найти в manual'е.

[andrystepa]

В данном случае массив не локальный в функции, а глобальный для всей программы. Локальным является лишь массив temp в функции invmas - но он, насколько я знаю, и так создается в стеке, как любая локальная переменная. Если я не ошибаюсь, вызов процедуры - Call сопровождается макросом enter, то есть кодом
push bp
mov bp,sp
sub bp,buffer ; здесь buffer - количество байт, резервируемых для локальных переменных.

То есть локальные переменные функции и так хранятся в стековом кадре.
Для создания же массива mas запрашивается память у системы, то есть команда new, по идее, в случае Windows вызывает API функцию GetAlloc(), а в случае Linux, вероятно какой-то системный вызов (какой точно не знаю). Так что разница вряд ли будет. Хотя, чтобы убедиться полностью, надо бы дизассемблировать какую-нибудь простенькую программу.

[Dimitry]

Только Вы немного перепутали - вместо sub bp, ... нужно написать sup sp, ... - ведь нужно сдвинуть указатель стека. Далее к заранее выделенным переменным можно обращаться как [bp-ofs], к аргументам - как [bp+ofs].

С другой стороны, можно и дальше уменьшить SP, выделив дополнительный блок памяти в стеке, что и делает функция _alloca(). Естественно, выполнить вычитание из регистра SP намного быстрее, чем искать своболдный блок в куче.
Соответственно, выход их функции осуществляется 3-мя командами - первая восстанавливает указатель стека, выкидывая из стека всё, что туда поместилось в процессе работы функции, вторая восстанавливает сам BP, извлекая его значение из стека, а 3я извлекает из стека адрес возврата возвращает управление. Вот они:
mov esp, ebp
pop ebp
ret

[andrystepa]

Но ведь для локальных переменных и так создается блок памяти в стековом кадре. Зачем же его увеличивать? Это надо делать только если локальная переменная(массив) имеет изменяемый размер. Но в функции invmas массив создается постоянного размера, задаваемого аргументом функции. Соответственно и память под него должна автоматом выделяться в стековом кадре. Впрочем, возможно, туда помещается адрес массива, а не сам массив. Этого я пока, к сожалению не проверял.

[Dimitry]

Ну какже? Стековый кадр формируется при входе в функцию. Уже в момент её исполнение перемнная size получает значение (оно считывается с консоли). Пока значение перемнной size неизвестно - память под массив выделять нельзя, т.к. неизвестно, а сколько, собственно, байтов выделять. А после того, как значение size уже известно, нужно довыделить память под локальный массив.

P.S. С функцией invmas() всё в порядке - она получает адрес готового массива, насколько я понял, всё обсуждение идёт про создание массива в функции main().

[andrystepa]

Все понятно. Это из поговорки про Фому и Ерему ). Да, безусловно в случае массива mas получится выигрыш. Правда, меня терзают смутные сомнения - насколько я помню стек растет вверх по направлению к сегменту кода, и можно довыделяться памяти до того, что он наедет на код - массивы бывают довольно большими. Правда, это скорее относится к DOS, а как там в Windows программах, честно говоря не помню - надо почитать, освежить память. В любом случае ОС не даст наехать данным на код и сообщит об ошибке.

[acc15]

vector<int> mas(size);