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

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

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

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

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
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;
};

@ForEveR · 25.11.2011, 18:51

Bers, Ибо нех такое творить.

C++
1
2
3
int n = some_long_func();
const int N = n;
int array[N];

И отлично что так не создается.

@prazuber · 25.11.2011, 18:56

Потому что n не const. В новом стандарте, если не ошибаюсь, лечится constexpr.

@Bers · 25.11.2011, 18:56 **[ТС]**

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

Потому что n не const

При чем здесь вообще n?

@alex_x_x · 25.11.2011, 18:59

Bers, ну логично должно быть

C++
1
2
3
const int n=10;
const int N(n); //N вроде как константа 
                     //действительно получает значение 1

@prazuber · 25.11.2011, 18:59

Хорошо, выражусь по-другому. Так как n не const, то ее значение неизвестно на этапе компиляции, пускай даже вы присваиваете константу.

@Bers · 25.11.2011, 19:01 **[ТС]**

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

Хорошо, выражусь по-другому. Так как n не const, то ее значение неизвестно на этапе компиляции, пускай даже вы присваиваете константу.

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

Если бы это было нельзя - компилятор ругался бы в принципе на саму попытку таким образом инициализировать константу.

Но он не ругается. Убери массив, и работай с константой, как обычно.

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

go · 25.11.2011, 19:01

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

При чем здесь вообще n?

Да при том!

C++
1
2
int n=6;
const int N=n; //как видите это не эквивалентно const int N=6

@prazuber · 25.11.2011, 19:03

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

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

Если бы это было нельзя - компилятор ругался бы в принципе на саму попытку таким образом инициализировать константу.

Но он не ругается. Убери массив, и работай с константой, как обычно.

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

Тут ничего противозаконного. А вот создание массива с помощью такой константы - вот это противозаконно.

@Bers · 25.11.2011, 19:03 **[ТС]**

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

Да при том!

Что значит не эквивалентно?

Константа инициализируется один раз при создании. Все. Дальше есть только значение константы.
Никого не волнует, откуда она его получила.

go · 25.11.2011, 19:03

C++
1
2
const int n=6;
const int N=n;

@alex_x_x · 25.11.2011, 19:03

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

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

значение константы может зависеть только от других констант
rtfm же

@Bers · 25.11.2011, 19:04 **[ТС]**

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

значение константы может зависеть только от других констант

почему тогда при попытке инициализировать константу не_константой компилятор молчит?

Он ругается только при попытке создать с её помощью массив. А как он вообще определяет, что она палёная? И почему тогда вообще позволяет такие константы делать?

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

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

почему тогда при попытке инициализировать константу не_константой компилятор молчит?

Он ругается только при попытке создать с её помощью массив. А как он вообще определяет, что она палёная? И почему тогда вообще позволяет такие константы делать?

Размер массива компилятор должен знать на этапе компиляции, а ваша константа инициализируется на этапе выполнения. То есть для вашей константы компилятор генерирует некоторый код, который будет пересылать значение из переменной в константу.

Я вам приведу похожий пример. Допустим есть единица компиляции, в которой объявлено

C++
1
const int N = 10;

а в другой единице компиляции объявлено

C++
1
2
3
extern const int N;
 
int a[N];

Компилятор не будет компилировать второй модуль, не смотря на то, что N объявлена как константа, так как компилятору неисзвестно ее значение на этапе компиляции второго модуля.

@prazuber · 25.11.2011, 19:21

Bers, есть два типа констант. Первые - те, что известны на этапе компиляции. Стандарт про это пишет так:

An integral constant-expression can involve only literals (2.13), enumerators, const variables or static
data members of integral or enumeration types initialized with constant expressions (8.5), non-type template
parameters of integral or enumeration types, and sizeof expressions.

Второй тип - все остальные. Ваше const int N является вторым типом, потому что не попадает в описание первого.
N инициализируется вначале работы программы, но уже в рантайме. Поэтому массив с помощью нее инициализировать нельзя. Зато можно написать такое

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
#include <iostream>
using namespace std;
 
int f()
{
    int a;
    cin>>a;
    return a;
}
 
const int N(f());
 
int main()
{
    cout<<N<<endl;
};

Upd. Ошибся немного с цитатами, поправил.

go · 25.11.2011, 19:23

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

C
1
2
3
4
5
6
7
8
9
10
#include <stdio.h>
 
void main ()
{
   int size = 5 ;
   int arr [size] ;
 
printf ("Ok");
 
}

http://codepad.org/8W1Udtgr

@prazuber · 25.11.2011, 19:24

go, это проблемы компилятора.

@fasked · 25.11.2011, 19:25

go, то, что Вы показываете, называется variable-length array и никакого отношения к сабжу не имеет.

go · 25.11.2011, 19:32

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

go, это проблемы компилятора.

Нет, вот цитата

Массивы переменной длины

В С89 размерности массивов необходимо объявлять при помощи выражений из целых констант, причем размер массива фиксируется во время компиляции. В силу определенных обстоятельств, в С99 это правило было изменено. В С99 можно объявить массив, размерности которого определяются любыми допустимыми целыми выражениями, в том числе и такими, значения которых становятся известны только во время выполнения. Такой массив называется массивом переменной длины (variable-length array, VLA). Однако такими массивами могут быть только локальные массивы (то есть те, у которых область видимости — прототип или блок).

Не по теме:

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

то, что Вы показываете, называется variable-length array и никакого отношения к сабжу не имеет.

Не совсем так, нужно просто это понимать ;)

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

Я написал пример, но никто меня не поправил! Видимо, кроме меня никто стандарт не знает!

То есть в этом примере допущена ошибка

C++
1
const int N = 10;

а в другой единице компиляции объявлено

C++
1
2
3
extern const int N;
 
int a[N];

По умолчанию константы имеют внутреннее связывание, поэтому в первом модуле также надо добавить спецификатор extern То есть должно быть

C++
1
extern const int N = 10;

а в другой единице компиляции объявлено

C++
1
2
3
extern const int N;
 
int a[N];

Новые блоги и статьи Все статьи Все блоги /
К слову об оптимизации kumehtar 01.04.2026 Вспоминаю начало 2000-х, университет, когда я писал на Delphi. Тогда среди программистов на форумах активно обсуждали аккуратную работу с памятью: нужно было следить за переменными, вовремя. . .	Идея фильтра интернета (сервер = слой+фильтр). Hrethgir 31.03.2026 Суть идеи заключается в том, чтобы запустить свой сервер, о чём я если честно мечтал давно и давно приобрёл книгу как это сделать. Но не было причин его запускать. Очумелые учёные напечатали на. . .	Модель здравосоХранения 6. ESG-повестка и устойчивое развитие; углублённый анализ кадрового бренда anaschu 31.03.2026 В прикрепленном документе раздумья о том, как можно поменять модель в будущем	10 пpимет, которые всегда сбываются Maks 31.03.2026 1. Чтобы, наконец, пришла маршрутка, надо закурить. Если сигарета последняя, маршрутка придет еще до второй затяжки даже вопреки расписанию. 2. Нaдоели зима и снег? Не надо переезжать. Достаточно. . .
Перемещение выделенных строк ТЧ из одного документа в другой Maks 31.03.2026 Реализация из решения ниже выполнена на примере нетипового документа "ВыдачаОборудованияНаСпецтехнику" с единственной табличной частью "ОборудованиеИКомплектующие" разработанного в конфигурации КА2. . . .	Functional First Web Framework Suave DevAlt 30.03.2026 Sauve. IO Апнулись до NET10. Из зависимостей один пакет, работает одинаково хорошо как в режиме проекта так и в интерактивном режиме. из сложностей - чисто функциональный подход. Решил. . .	Автоматическое создание документа при проведении другого документа Maks 29.03.2026 Реализация из решения ниже выполнена на нетиповых документах, разработанных в конфигурации КА2. Есть нетиповой документ "ЗаявкаНаРемонтСпецтехники" и нетиповой документ "ПланированиеСпецтехники". В. . .	Настройка движения справочника по регистру сведений Maks 29.03.2026 Решение ниже реализовано на примере нетипового справочника "ТарифыМобильнойСвязи" разработанного в конфигурации КА2, с целью учета корпоративной мобильной связи в коммерческом предприятии. . . .

@prazuber 114 / 114 / 13 Регистрация: 29.04.2010 Сообщений: 240
	25.11.2011, 18:56
	Потому что n не const. В новом стандарте, если не ошибаюсь, лечится constexpr. 0

@prazuber 114 / 114 / 13 Регистрация: 29.04.2010 Сообщений: 240
	25.11.2011, 18:59
	Хорошо, выражусь по-другому. Так как n не const, то ее значение неизвестно на этапе компиляции, пускай даже вы присваиваете константу. 0

@prazuber 114 / 114 / 13 Регистрация: 29.04.2010 Сообщений: 240
	25.11.2011, 19:24
	go, это проблемы компилятора. 0

@fasked 5045 / 2624 / 241 Регистрация: 07.10.2009 Сообщений: 4,310 Записей в блоге: 5
	25.11.2011, 19:25
	go, то, что Вы показываете, называется variable-length array и никакого отношения к сабжу не имеет. 0