Как задать размерность массива при помощи константы?

Question

[Nulltiton]

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

Код:

const int size = 10; // размерность массива
int a[size];

Answer 1

[res2001]

Задай с помощью defineа.
Размерность статического массива должна быть известна на этапе компиляции. А значение константы в общем случае может быть не извесно при компиляции. К сожалению в Си незавезли из плюсов constexpr.

Comments

[Василий Банников]

А значение константы в общем случае может быть не извесно при компиляции.

Это как? Можно пример?

[rPman]

Василий Банников,

#define SIZE 100
int a[SIZE];

SIZE большими буквами это исторически так сложилось дефайны называть капсом, само собой не обязательно, какой programming style будет принят у тебя в команде такой и используй

дефайны это не числа, это тупая подстановка строки, т.е. все что после define имя будет написано, то и подставится, так что аккуратно с ковычками скобками и прочим

[Василий Банников]

rPman, не, я не про дефайн, а про общий случай с неизвестным значением на момент компиляции.

В сишке же нельзя константе неизвестное значение присвоить

[rPman]

Василий Банников, ааа, формально, если константой считать переменные с таким типом, то ее можно определить как extern и создать в другом .c файле (точнее объектном), т.е. на момент компиляции значение переменной будет не известно но ее тип const будет говорить компилятору что она не должна меняться (для соответствующих оптимизаций)

[res2001]

Василий Банников,

Это как? Можно пример?

int func(int m, int n)
{
   const int mn = m * n;
   ...
}

int func2(const int m) { ... }

[res2001]

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

[Василий Банников]

res2001, но это же не тот случай, который тут

[res2001]

Василий Банников, В данном случае компилятору это все равно. О чем и свидетельствует ошибка компиляции.
Кстати, может быть код автора соберется, если установить более высокий уровень оптимизации и забить на соответствие стандарту. Но не факт. К тому же, писать код зависящий от опций компиляции, чаще всего плохая идея.
Как тут уже упоминали gcc пример автора соберет. Но это будет массив VLA, а не статический массив. А это уже совсем другая история.

Answer 2

[Василий Банников]

1. Покажи полностью код
2. Не размерность, а размер
3. Что за компилятор?

Вот это на gcc нормально собирается:

void main() {
 const int size = 10;
 int array[size];
}

Comments

[Nulltiton]

Полный код - пример из учебника Побегайло
Работаю сейчас в Visual Stuio, код компилирую как С/TC, /Gd

#include <windows.h> 
#include <stdio.h> 
#include <math.h> 

const int size = 10; // размерность массива
int a[size]; // обрабатываемый массив 

HANDLE hDeadlock; // сигнал о тупике 
HANDLE hAnswer[2]; // для обработки тупика 
DWORD marker()
{
	int i;
	DWORD dwValue;
	for (;;)
	{
		// вычисляем случайный индекс 
		i = abs(rand()) % size;
		// проверяем, занят ли элемент 
		if (!a[i])
			// нет, заполняем элемент 
			a[i] = 1;
		else
		{
			// да, сигнализируем о тупике 
			SetEvent(hDeadlock);
			// ждем ответа 
			dwValue = WaitForMultipleObjects(
				2, hAnswer, FALSE, INFINITE);
			if (dwValue == WAIT_FAILED)
			{
				printf("Wait function failed.");
				printf("Press any key to exit.");
				getchar();
				return GetLastError();
			}
			// вычисляем индекс сигнального объекта 
			dwValue -= WAIT_OBJECT_0;
			switch (dwValue)
			{
			case 0: // продолжаем работу 
				continue;
			case 1: // завершаем работу 
				ExitThread(1);
				break;
			default:
				ExitThread(2);
				break;
			}
		}
	}
}
int main()
{
	HANDLE hMarker;
	DWORD idMarker;
	// создаем событие, оповещающее о тупике 
	hDeadlock = CreateEvent(NULL, FALSE, FALSE, NULL);
	// создаем события для обработки тупика 
	hAnswer[0] = CreateEvent(NULL, FALSE, FALSE, NULL);
	hAnswer[1] = CreateEvent(NULL, FALSE, FALSE, NULL);
	// запускаем поток marker 
	hMarker = CreateThread(NULL, 0, marker, NULL, 0, &idMarker);
	if (hMarker == NULL)
		return GetLastError();
	for (;;)
	{
		char c;
		// ждем сигнал о тупике 
		WaitForSingleObject(hDeadlock, INFINITE);
		// выводим на консоль текущее состояние массива 
		printf("Current state of the array: ");
		for (int i = 0; i < size; ++i)
			printf("%d ", a[i]);
		// завершать или нет поток marker? 
		printf("Input 'y' to continue: ");
		scanf_s("%c", &c);
		if (c == 'y')
			SetEvent(hAnswer[0]); // продолжаем работу 
		else
		{
			SetEvent(hAnswer[1]); // завершаем работу 
			break;
		}
	}
	WaitForSingleObject(hMarker, INFINITE);
	CloseHandle(hMarker);
	return 0;
}

[Wataru]

Nulltiton, Вот так вот задавать размер массивов - этого нет в стандарте си. Это расширение (называется VLA), но его поддерживают не все компиляторы.

Если уж надо именно статический массив, то задавайте константу через #define.

[Василий Банников]

Wataru, это разве VLA?
Обычный массив и обычная константа в глобальном скоупе

[Wataru]

Василий Банников, const - это просто обещание программиста не трогать вот эту вот переменную вот в этом вот скоупе. "обычная константа" - не настолько константна в C/С++, как вам хотелось бы думать.

[Василий Банников]

Wataru, капец

[Wataru]

Василий Банников, Именно поэтому в C++ в итоге подвезли constexpr.

[jcmvbkbc]

Это расширение (называется VLA), но его поддерживают не все компиляторы.

Wataru, VLA -- это массив на стеке или параметр функции. В примере автора массив в сегменте данных. C99 прямо запрещает такое использование (с99 6.7.5.2:2):

Only an ordinary identifier (as defined in 6.2.3) with both block scope or function
prototype scope and no linkage shall have a variably modified type. If an identifier is
declared to be an object with static storage duration, it shall not have a variable length
array type.

Answer 3

[rPman]

ты свой массив может создать нужного размера уже в процессе выполнения а не на этапе компиляции, тогда размер может быть в переменной
int *a=new int[size];
int *a это определение массива без инициализации, размер компилятору массива неизвестный, а саму инициализацию проводить оператор new а значит где то в конце нужно память освободить с помощью delete

upd. это было для c++
ну а для си получается надо пользоваться malloc и free соответственно
int *a=(int*)malloc(size*sizeof(int));

Comments

[Дмитрий Беляев]

C - это не плюсы, в C нет никаких new и delete

[rPman]

Дмитрий Беляев, ой неожиданно