case ругается на поле static const

[Eric-S]

Здравствуйте!

Внезапно столкнулся с проблемкой.

Объявил класс со статическими константами:

class foo
{
public:
static const int alpha;
static const int beta;
};
 
const int foo::alpha = _XXX_SIMBOL_ALPHA;
const int foo::beta = _XXX_SIMBOLBETA;

Ну и тут чудеса.
В функции main (из main.obj)

switch( val )
{
case foo::alpha:
case foo::beta:
break;
default:
break;
}

Компилятор ms vs 2015 сказал, что foo::alpha не является константой!

Но когда я перенёс этот switch в конструктор foo (в foo.obj), то всё чудесно отработало.

Что тут можно сделать? Что тут можно поправить? Как сказать switch, что у меня действительно константы?

В инете наткнулся на описание схожих ситуаций. Вроде бы банальность. А решения нет.

Проскакивала мысль на счёт constexpr. Но компилятор хочет, чтоб я ему сразу предоставил значение. Чего-то там как-то не так.

[Славян]

Несколько странный вопрос. Ибо: компилирует, скажем, компилятор такой левый файл с таким левым switch'ем, а вы опосля взяли и переправили значение. В итоге - несогласованность.

[shm]

Цитата Eric-S @ 24.02.17, 11:56

Что тут можно сделать?

Использовать enum или попробовать инициализировать поля прямо в объявлении класса

static const int beta = _XXX_SIMBOLBETA;

Сообщение отредактировано: shm - 24.02.17, 12:18

[Eric-S]

Цитата Славян @ 24.02.17, 12:11

Несколько странный вопрос. Ибо: компилирует, скажем, компилятор такой левый файл с таким левым switch'ем, а вы опосля взяли и переправили значение. В итоге - несогласованность.

Замечание правомочно.
Но ведь я и enum class могу изменить, с тем же успехом.

Понятно, что такая ситуация возможно. Я о ней знаю.
Но неужели ничего нельзя поделать?

[shm]

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

Добавлено 24.02.17, 12:21

Цитата Eric-S @ 24.02.17, 12:19

Но ведь я и enum class могу изменить, с тем же успехом.

Не можешь.

Сообщение отредактировано: shm - 24.02.17, 12:21

[Eric-S]

Цитата shm @ 24.02.17, 12:17

Использовать enum или попробовать инициализировать поля прямо в объявлении класса

static const int beta = _XXX_SIMBOLBETA;

Ох. Хорошо бы. Но эти константы, тянутся из одной страшненькой библиотеки. И я хотел бы скрыть эту пакость.

Но сейчас подумываю на счёт промежуточного enum.
В том смысле, что значение перечисления будет автоматом.
А при необходимости, получить константу, внутри будет switch, который конвертнёт константу enum в константу int.

int to_int( foo_enum val )
{
switch( val )
{
 
case foo_enum::alpha:
return _XXX_SIMBOL_ALPHA;
 
case foo_enum::beta:
return _XXX_SIMBOL_BETA;
 
}
}

Добавлено 24.02.17, 12:32

Цитата shm @ 24.02.17, 12:19

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

Ругается правильно. Справедливо, правомочно и логично.
Но неужели нет ни одного внятного трюка для укращения?

[Олег М]

Цитата Eric-S @ 24.02.17, 12:26

Ох. Хорошо бы. Но эти константы, тянутся из одной страшненькой библиотеки. И я хотел бы скрыть эту пакость

Ну а зачем ты выносишь тогда эти константы наружу? Сделай обертки для функций из этой библиотеки и все.

Добавлено 24.02.17, 12:57
А вообще, это ж макросы. Просто скопируй их оттуда к себе и не парься.

[Cfon]

Цитата Eric-S @ 24.02.17, 11:56

Объявил класс со статическими константами:

Скрытый текст

class foo
{
public:
static const int alpha;
static const int beta;
};
 
const int foo::alpha = _XXX_SIMBOL_ALPHA;
const int foo::beta = _XXX_SIMBOLBETA;

Ну и тут чудеса.
В функции main (из main.obj)

switch( val )
{
case foo::alpha:
case foo::beta:
break;
default:
break;
}

Компилятор ms vs 2015 сказал, что foo::alpha не является константой!

а у меня все компилирует

пробовал vs2008

щас протестил в vs2010-vs2015 все компилирует

или я не правильно понял?
Эриксон проправь меня, а то я с ума сойду

Сообщение отредактировано: Cfon - 24.02.17, 13:17

[Eric-S]

Цитата Cfon @ 24.02.17, 13:01

Эриксон проправь меня, а то я с ума сойду

Ты разделил единицы трансляции? Должно быть два объектных файла: foo.obj и main.obj.

Добавлено 24.02.17, 13:36

Цитата Олег М @ 24.02.17, 12:48

Ну а зачем ты выносишь тогда эти константы наружу? Сделай обертки для функций из этой библиотеки и все.

Как раз пишу статическую lib, в качестве обёртки.

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

Пользователь пишет функцию.
Регистрирует её в моей обёртке.
Затем библиотека дёргает эту функцию.
А пользователь должен обработат сообщение через switch.
Можно конечно if. Всё же функция простенькая, не какой-то там WinProc.

Добавлено 24.02.17, 13:38

Цитата Олег М @ 24.02.17, 12:48

А вообще, это ж макросы. Просто скопируй их оттуда к себе и не парься.

Угу. Ну да... А хорошо ли так делать?

Подход гарантировано работающий сечас.
Но в будущем ломабельный. И просто неэтичный.

Добавлено 24.02.17, 13:41

Цитата shm @ 24.02.17, 12:19

Цитата Eric-S @ 24.02.17, 12:19

Но ведь я и enum class могу изменить, с тем же успехом.

Не можешь.

Не... Я в том смысле, что если я изменю enum в одном файле, то придётся перекомпилировать все файлы, где используется этот enum.

[shm]

Цитата Eric-S @ 24.02.17, 13:32

Я в том смысле, что если я изменю enum в одном файле, то придётся перекомпилировать все файлы, где используется этот enum.

Иии?

[Eric-S]

Цитата Славян @ 24.02.17, 12:11

Несколько странный вопрос. Ибо: компилирует, скажем, компилятор такой левый файл с таким левым switch'ем, а вы опосля взяли и переправили значение. В итоге - несогласованность.

Цитата Eric-S @ 24.02.17, 12:19

Замечание правомочно.
Но ведь я и enum class могу изменить, с тем же успехом.

Понятно, что такая ситуация возможно. Я о ней знаю.
Но неужели ничего нельзя поделать?

Значит всё равно придётся перекомпилировать! Единственная сложность в дополнительной проверки изменений.

Добавлено 24.02.17, 14:37

Цитата shm @ 24.02.17, 14:08

Иии?

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

Сообщение отредактировано: Eric-S - 24.02.17, 14:37

[Олег М]

Цитата Eric-S @ 24.02.17, 13:32

Угу. Ну да... А хорошо ли так делать?

Подход гарантировано работающий сечас.
Но в будущем ломабельный. И просто неэтичный

В общем случае – нехорошо. А в частном – оцениваешь, стоит ли эта библиотека прилагаемых усилий, да еще в runtime. Чаще бывает, что проще скопировать значения.

[Eric-S]

Цитата Олег М @ 24.02.17, 14:43

В общем случае – нехорошо.

Потом будет лениво переделывать. Да и пользоватся странным интерфейсом стрёмно.
Так что, если делать, то максимально хорошо.
А в противном случае, проще юзать библиотеку, без всяких обёрток.

[Олег М]

Цитата Eric-S @ 24.02.17, 15:16

Потом будет лениво переделывать. Да и пользоватся странным интерфейсом стрёмно.
Так что, если делать, то максимально хорошо.

Проблема в том, что ты пытаешься перенести в runtime решение задачи - сравнение и сопоставление констант - которая может и должна решаться в compile-time. В данном случае, если тебе очень не хочется выносить наружу заголовок твоей библиотеки, можно просто сделать свой enum или свои константы совпадающие по значению с библиотечными. И проверять где-нибудь их соответствие при помощи static_assert.

[Eric-S]

Вообщем я сделал свой enum class, с альтернативными кодами.
И две функции конвертирующие туда и обратно, через тот же самый switch.
Заодно, в секции default, воткнул throw invalid_argument.
Отработало всё нормально. Жаль, что моя версия компилятора не может это сделать constexpr, а в остальном результат устраивает.

Но если у кого появятся альтернативные решения, прошу отписаться!

Добавлено 24.02.17, 15:42

Цитата Олег М @ 24.02.17, 15:36

можно просто сделать свой enum или свои константы совпадающие по значению с библиотечными. И проверять где-нибудь их соответствие при помощи static_assert.

Да! Это тоже хорошее, правильное решение.
Проверять через static_assert.
А приводить через reinterpret_cast?

Добавлено 24.02.17, 15:44
Сейчас коммит оформлю, чтоб сохранить изменения с вариантом runtime. И попробую переделать с вариантом compile-time.