язык C, switch

[pproger]

Добрый день, господа ПРОграммисты. Немного разбавлю тутошние студенческие вопросы...

сразу говорю, имеем дело с языком Си. имеется код:

#include "stdio.h"

const int two = 2;

int main() {
	int i = 2;
	switch (i) {
	case 1:
		break;
	case two:
		printf("%s\n", "two");
		break;
	default:
		break;
	}
	return 0;
}

компиляем, получаем:

pproger@pproger-desktop ~ $ gcc -std=c99 main.c
main.c: In function ‘main’:
main.c:28: error: case label does not reduce to an integer constant

объясните.

[Greblin]

В селекторе switch должно быть константное выражение (т.е. число, явно заданная строка, NULL и пр.), а const int two - это переменная, просто компилятор следит, чтоб она не изменялась

[RoS]

Думается потому, что ты можешь написать
const int two = 2;
const int three = 2;

Т.е. могут быть разные имена констант, которые имеют одно значение, поэтому я думаю жесткое такое ограничение...
З.Ы. в с++ експресс студии все скомпилировалось

Точно! когда я написал

const int two = 2;
const int three = 2;

int main() {
	int i = 2;
	switch (i) {
	case 1:
		break;
	case two:
		printf("%s\n", "two");
		break;
	case three:
		printf("%s\n", "three");
		break;
	default:
		break;
	}
	return 0;
}

Мне сказали, что значение 2 уже использовалось!

[pproger]

2Greblin

В селекторе switch должно быть константное выражение (т.е. число, явно заданная строка, NULL и пр.), а const int two - это переменная, просто компилятор следит, чтоб она не изменялась

const int two = 2 это тоже константное выражение, поверь.

2RoS

Думается потому, что ты можешь написать
const int two = 2;
const int three = 2;

Т.е. могут быть разные имена констант, которые имеют одно значение, поэтому я думаю жесткое такое ограничение...

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

З.Ы. в с++ експресс студии все скомпилировалось

я как бы сказал, что язык используем СИ. Что в плюсах это работает я в курсе кэп.

[Greblin]

2pproger, извини, не поверю. Читаем Кернигана, пп. 2.3, 2.4

Константные выражения - это выражения, оперирующие только с константами. Такие выражения вычисляются во время компиляции, а не
во время выполнения

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

[pproger]

2Greblin

Константные выражения - это выражения, оперирующие только с константами. Такие выражения вычисляются во время компиляции, а не
во время выполнения

хех. и что, к const int это определение не подходит?

[Greblin]

Не подходит, const int - это переменная, значение которой не может быть вычислено во время компиляции. Вы же не будет утверждать, что например вот в таком коде

int i = 12321;

значение i известно до выполнения. А const это просто модификатор, причём кстати в том же Кернигане далее сказано, что реакция на попытку изменить такую переменную определяется конкретным компилятором

[pproger]

2Greblin
нет. значение const int как раз известно в момент компиляции. но мне уже интересна твоя теория) почему тогда в плюсах это имеет право на жизнь?
хотя может между си и плюсами квалификатор const имеет разный смысл...

[netrino]

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

хотя может между си и плюсами квалификатор const имеет разный смысл...

Именно так, помню, Страуструп на этом внимание акцентировал) собственно потому никто и не использовал никогда в C запись констант как const int, а пользовались #define'ом для этого.