Объявление внутри switch

@Knjagskij · Регистрация: 10.11.2008

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

Почему, когда закомментирваны фигурные скобки не получается объявить переменную внутри switch?

C++

int main()
{
    switch (bool b = true) {
    case true:
    //{
        int g = 8;
        cout << g;
        break;
    //}
    default:
        break;
    }
    return 0;
}

@Игорь1986 · 25.05.2016, 10:05

Кто тебе такое сказал

C++

 case true:
    {
        int g = 8;
        cout << g;}
        break;

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

C++

 switch (bool b = true) {
    case true:
        int g = 8;
        cout << g;
        break;
}
    return 0;

@zelhat · 25.05.2016, 15:58

Выполнение оператора switch способно переходить через метки case. Когда выполнение переходит к некой метке case, весь расположенный выше код оператора switch будет проигнорирован. Что будет, если пропущен код с объявленной переменной?
Поэтому, недопустим переход с места, где переменная с инициализатором вышла из области видимости к месту, где эта переменная находится в области видимости.

C++

case true:
    int j = 0;
    int i = 0;
    break;
case false:
    i = 1;       // ок в области видимости
    j = 1;       // ок в области видимости

если данный код будет доступен, и мы пропускаем секцию true, следовательно мы обходим объявления переменных со всеми вытекающими...

@daslex · 25.05.2016, 16:08

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

где переменная с инициализатором вышла из области видимости

Как что-то может выйти из области видимости в case, если:

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

Метка case не вносит области видимости же

@zelhat · 25.05.2016, 16:31

C++

case true:
    int j = 0;
    int i = 0;
    break;
case false:
    i = j;

Если бы данный код был допустим, переход ко второму case обходит инициализацию j и i, они остаются в области видимости и код их может вполне себе использовать. Но они не инициализированны. В результате язык не допускает перепрыгивать инициализацию, если инициализированная переменная находится в области видимости в пункте, к которому переходит управление.

@TheCalligrapher · 25.05.2016, 16:36

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

Почему, когда закомментирваны фигурные скобки не получается объявить переменную внутри switch?

Никаких проблем с объявлением как таковым в этом случае нет. Язык С++ запрещает "прыжки" в область видимости переменной, которые "перепрыгивают" инициализацию. Вот такой код компилироваться не будет

C++

1
2
3

goto label;
int i = 8;
label:;

именно потому, что в объявлении переменной присутствует инициализатор. Именно по этой причине не компилируется и ваш switch: метка default: прыгает в область видимости переменной g, но перепрыгивает инициализацию этой переменной. Дополнительные фигурные скобки устраняют проблему.

Прыжки через неинициализированные объявления - разрешены. Если вы в вашем коде замените int g = 8; на раздельное int g; g = 8;, то он будет компилироваться в обоих вариантах (со всеми вытекающими).

@rikimaru2013 · 25.05.2016, 16:50

TheCalligrapher, а есть выдержки с стандарта по вашим тезисам разрешены/не разрешены ?

@zelhat · 25.05.2016, 17:11

switch statement
http://en.cppreference.com/w/cpp/language/switch

@TheCalligrapher · 25.05.2016, 17:32

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

а есть выдержки с стандарта по вашим тезисам разрешены/не разрешены ?

Разумеется

6.7 Declaration statement
...
3 It is possible to transfer into a block, but not in a way that bypasses declarations with initialization. A
program that jumps⁹¹ from a point where a variable with automatic storage duration is not in scope to a
point where it is in scope is ill-formed unless the variable has scalar type, class type with a trivial default
constructor and a trivial destructor, a cv-qualified version of one of these types, or an array of one of the
preceding types and is declared without an initializer.
...
91) The transfer from the condition of a switch statement to a case label is considered a jump in this respect.

---------------

P.S. Если кому-то будет интересно на досуге, я в свое время отвечал на аналогичный вопрос на SO, где также шла речь об определенных отличиях между С и С++. Язык С разрешает прыжки через инициализацию, однако в С аналог оригинального кода без скобок тоже не будет компилироваться, но совсем по другой, не связанной причине

http://stackoverflow.com/quest... 0#19830820

@daslex 1373 / 596 / 199 Регистрация: 02.08.2011 Сообщений: 2,886
	25.05.2016, 16:08	4
	Сообщение от zelhat где переменная с инициализатором вышла из области видимости Как что-то может выйти из области видимости в case, если: Сообщение от DrOffset Метка case не вносит области видимости же 0

@rikimaru2013 2549 / 1208 / 358 Регистрация: 30.11.2013 Сообщений: 3,826
	25.05.2016, 16:50	7
	TheCalligrapher, а есть выдержки с стандарта по вашим тезисам разрешены/не разрешены ? 0

@zelhat 0 / 0 / 3 Регистрация: 24.10.2015 Сообщений: 6
	25.05.2016, 17:11	8
	switch statement http://en.cppreference.com/w/cpp/language/switch 0

@TheCalligrapher Вездепух 12793 / 6670 / 1795 Регистрация: 18.10.2014 Сообщений: 16,889
	25.05.2016, 17:32	9
	Сообщение от rikimaru2013 а есть выдержки с стандарта по вашим тезисам разрешены/не разрешены ? Разумеется 6.7 Declaration statement ... 3 It is possible to transfer into a block, but not in a way that bypasses declarations with initialization. A program that jumps⁹¹ from a point where a variable with automatic storage duration is not in scope to a point where it is in scope is ill-formed unless the variable has scalar type, class type with a trivial default constructor and a trivial destructor, a cv-qualified version of one of these types, or an array of one of the preceding types and is declared without an initializer. ... 91) The transfer from the condition of a `switch` statement to a `case` label is considered a jump in this respect. --------------- P.S. Если кому-то будет интересно на досуге, я в свое время отвечал на аналогичный вопрос на SO, где также шла речь об определенных отличиях между С и С++. Язык С разрешает прыжки через инициализацию, однако в С аналог оригинального кода без скобок тоже не будет компилироваться, но совсем по другой, не связанной причине http://stackoverflow.com/quest... 0#19830820 1