хитрая константа не даёт создать обычный массив

@~~Bers~~ · 25.11.2011, 18:47. **Показов** 7423. **Ответов** 64

Author24 — интернет-сервис помощи студентам

Почему я не могу создать обычный массив, указав константу в качестве количества элементов?

C++

int n=10;
const int N(n); //N вроде как константа 
                     //действительно получает значение 10
 
 
int A[N]; //error C2057: требуется константное выражение
             //error C2466: невозможно выделить память 
             //для массива постоянного нулевого размера
 
int main()
{
   int b= N; //b получает корректное значение 10
   const int c=N; //с получает корректное значение
   return 0;
};

@prazuber · 25.11.2011, 19:37

go, прошу прощения, думал, речь о C++.

@~~Сыроежка~~ · 25.11.2011, 19:41

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

Сыроежка, каждый компилятор по разному

C

#include <stdio.h>
 
void main ()
{
   int size = 5 ;
   int arr [size] ;
 
printf ("Ok");
 
}

http://codepad.org/8W1Udtgr

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

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

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

go, прошу прощения, думал, речь о C++.

Лично я веду речь о С++.

go · 25.11.2011, 19:45

Не по теме:

Сообщение от Сыроежка

Лично я веду речь о С++.

Да я уже понял, что немного не к месту про Си вспомнил, прошу прощения...

@Chelioss · 25.11.2011, 19:59

Почему размер массива должен быть известен на этапе компиляции? Ведь память выделяется под массив во время выполнения как и для new T[size].
И вообще зачем такое сделали?

@~~Сыроежка~~ · 25.11.2011, 20:04

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

Почему размер массива должен быть известен на этапе компиляции? Ведь память выделяется под массив во время выполнения как и для new T[size].
И вообще зачем такое сделали?

Нет, компилятор должен сгенерировать объектный код, который должен передвинуть указатель стека на конкретное количество байт при входе в функцию.

@alex_x_x · 25.11.2011, 20:05

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

Ведь память выделяется под массив во время выполнения

только для массивов, создаваемых на стеке

@Chelioss · 25.11.2011, 20:18

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

только для массивов, создаваемых на стеке

Я не понял, что вы хотели этим сказать. Под new T[size] выделяется память во время выполнения, хотя выделяется память не в стэке, а в куче.

@prazuber · 25.11.2011, 20:21

Chelioss, а как можно выделить память во время компиляции для массива, котоый задан следующим образом:

C++

1
2
3

int n;
cin>>n;
int a[n]; // ???

Upd. Я так понимаю, alex_x_x имел ввиду

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

только для массивов, создаваемых в куче

@Chelioss · 25.11.2011, 20:23

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

а как можно выделить память во время компиляции для массива

Еще раз. Память под массив выделяется во время выполнения программы или во время компиляции?

@prazuber · 25.11.2011, 20:25

Chelioss, Если массив объявлен как a[..], то во время компиляции. При этом размер тоже должен быть известен на этапе компиляции. Если же массив динамический, тогда память выделяется в рантайме с помощью new. Собственно поэтому он динамическим и называется.

go · 25.11.2011, 20:26

delete

@prazuber · 25.11.2011, 20:28

go, и? Не понимаю смысла сообщения.

@Chelioss · 25.11.2011, 20:31

Что значит вообще "выделяется память"?
При компиляции создается программа и она занимает место на диске. Массив будет содержатся в этом месте? Нет.
А где? Выделяется память в той памяти, которая дает операционная система при запуске приложения? Но ведь это уже после компиляции, а не во время.

@prazuber · 25.11.2011, 20:37

Да, я неудачно выразился. Память не выделяется на этапе компиляции. Но на этапе компиляции уже известно, сколько памяти надо будет выделить.

Сообщение от Сыроежка

компилятор должен сгенерировать объектный код, который должен передвинуть указатель стека на конкретное количество байт при входе в функцию.

Если же массив задан динамически, то компилятор о его размере ничего не знает.

Добавлено через 1 минуту
Одни массивы (те, размер которых известен на этапе компиляции) создаются в стеке, сразу при входе в функцию. Другие - - в куче, и они уже создаются тогда, когда до них дойдет выполнение программы.

@Chelioss · 25.11.2011, 20:38

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

компилятор должен сгенерировать объектный код, который должен передвинуть указатель стека на конкретное количество байт при входе в функцию.

А почему это нельзя сделать во время выполнения? Не компилятором, конечно, а самой программой?

@~~Сыроежка~~ · 25.11.2011, 20:38

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

Да, я неудачно выразился. Память не выделяется на этапе компиляции. Но на этапе компиляции уже известно, сколько памяти надо будет выделить.

Если же массив задан динамически, то компилятор о его размере ничего не знает.

Я не поинмаю, причем здесь "динамически," когда речь идет об объявлении массивов?! Нет такого типа в С++ как "динамический массив". Так что не надо говорить о том, что к вопросу никакого отношения не имеет.

@prazuber · 25.11.2011, 20:40

Сыроежка, под "динамическим массивом" я понимаю конструкцию

C++

1	T* a = new T[n]

@~~Сыроежка~~ · 25.11.2011, 20:46

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

Сыроежка, под "динамическим массивом" я понимаю конструкцию

C++

1	T* a = new T[n]

Вы что угодно можете под этим понимать, но исходная тема совершенно о другом!

@prazuber · 25.11.2011, 20:49

На сабж темы я уже ответил. Это полемика, вызванная вопросом

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

Почему размер массива должен быть известен на этапе компиляции? Ведь память выделяется под массив во время выполнения как и для new T[size].
И вообще зачем такое сделали?

И прошу пожалуйста линк, где я говорил фразу "к вопросу никакого отношения не имеет".

@~~Bers~~ · 25.11.2011, 20:57 **[ТС]**

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

Одни массивы (те, размер которых известен на этапе компиляции) создаются в стеке,

C++

int A[100]; //живет в куче, а не на стеке.
//хотя его размер так же должен быть известен на этапе компиляции.
 
int main(){   return 0;};

@Chelioss 186 / 186 / 21 Регистрация: 08.01.2011 Сообщений: 1,139
	25.11.2011, 20:18	27
	Сообщение от alex_x_x только для массивов, создаваемых на стеке Я не понял, что вы хотели этим сказать. Под new T[size] выделяется память во время выполнения, хотя выделяется память не в стэке, а в куче. 0

@Chelioss 186 / 186 / 21 Регистрация: 08.01.2011 Сообщений: 1,139
	25.11.2011, 20:23	29
	Сообщение от PraZuBeR а как можно выделить память во время компиляции для массива Еще раз. Память под массив выделяется во время выполнения программы или во время компиляции? 0

@prazuber 114 / 114 / 13 Регистрация: 29.04.2010 Сообщений: 240
	25.11.2011, 20:25	30
	Chelioss, Если массив объявлен как a[..], то во время компиляции. При этом размер тоже должен быть известен на этапе компиляции. Если же массив динамический, тогда память выделяется в рантайме с помощью new. Собственно поэтому он динамическим и называется. 1

@prazuber 114 / 114 / 13 Регистрация: 29.04.2010 Сообщений: 240
	25.11.2011, 20:28	32
	go, и? Не понимаю смысла сообщения. 1

@Chelioss 186 / 186 / 21 Регистрация: 08.01.2011 Сообщений: 1,139
	25.11.2011, 20:31	33
	Что значит вообще "выделяется память"? При компиляции создается программа и она занимает место на диске. Массив будет содержатся в этом месте? Нет. А где? Выделяется память в той памяти, которая дает операционная система при запуске приложения? Но ведь это уже после компиляции, а не во время. 0

@prazuber 114 / 114 / 13 Регистрация: 29.04.2010 Сообщений: 240
	25.11.2011, 19:37	21
	go, прошу прощения, думал, речь о C++. 1

go
	25.11.2011, 19:45 #23
	Не по теме: Сообщение от Сыроежка Лично я веду речь о С++. Да я уже понял, что немного не к месту про Си вспомнил, прошу прощения... 1

@Chelioss 186 / 186 / 21 Регистрация: 08.01.2011 Сообщений: 1,139
	25.11.2011, 19:59	24
	Почему размер массива должен быть известен на этапе компиляции? Ведь память выделяется под массив во время выполнения как и для new T[size]. И вообще зачем такое сделали? 0

@~~Сыроежка~~ Заблокирован
	25.11.2011, 20:04	25
	Сообщение от Chelioss Почему размер массива должен быть известен на этапе компиляции? Ведь память выделяется под массив во время выполнения как и для new T[size]. И вообще зачем такое сделали? Нет, компилятор должен сгенерировать объектный код, который должен передвинуть указатель стека на конкретное количество байт при входе в функцию. 1

@alex_x_x бжни 2473 / 1684 / 135 Регистрация: 14.05.2009 Сообщений: 7,162
	25.11.2011, 20:05	26
	Сообщение от Chelioss Ведь память выделяется под массив во время выполнения только для массивов, создаваемых на стеке 1

go 3646 / 1378 / 243 Регистрация: 16.04.2009 Сообщений: 4,526
	25.11.2011, 20:26	31
	delete 0

@prazuber 114 / 114 / 13 Регистрация: 29.04.2010 Сообщений: 240
	25.11.2011, 20:37	34
	Да, я неудачно выразился. Память не выделяется на этапе компиляции. Но на этапе компиляции уже известно, сколько памяти надо будет выделить. Сообщение от Сыроежка компилятор должен сгенерировать объектный код, который должен передвинуть указатель стека на конкретное количество байт при входе в функцию. Если же массив задан динамически, то компилятор о его размере ничего не знает. Добавлено через 1 минуту Одни массивы (те, размер которых известен на этапе компиляции) создаются в стеке, сразу при входе в функцию. Другие - - в куче, и они уже создаются тогда, когда до них дойдет выполнение программы. 1

@Chelioss 186 / 186 / 21 Регистрация: 08.01.2011 Сообщений: 1,139
	25.11.2011, 20:38	35
	Сообщение от PraZuBeR компилятор должен сгенерировать объектный код, который должен передвинуть указатель стека на конкретное количество байт при входе в функцию. А почему это нельзя сделать во время выполнения? Не компилятором, конечно, а самой программой? 0

@~~Сыроежка~~ Заблокирован
	25.11.2011, 20:38	36
	Сообщение от PraZuBeR Да, я неудачно выразился. Память не выделяется на этапе компиляции. Но на этапе компиляции уже известно, сколько памяти надо будет выделить. Если же массив задан динамически, то компилятор о его размере ничего не знает. Я не поинмаю, причем здесь "динамически," когда речь идет об объявлении массивов?! Нет такого типа в С++ как "динамический массив". Так что не надо говорить о том, что к вопросу никакого отношения не имеет. 1

@prazuber 114 / 114 / 13 Регистрация: 29.04.2010 Сообщений: 240
	25.11.2011, 20:49	39
	На сабж темы я уже ответил. Это полемика, вызванная вопросом Сообщение от Chelioss Почему размер массива должен быть известен на этапе компиляции? Ведь память выделяется под массив во время выполнения как и для new T[size]. И вообще зачем такое сделали? И прошу пожалуйста линк, где я говорил фразу "к вопросу никакого отношения не имеет". 1