Какие признаки инициализации крестиков?

Рассмотрим следующий код:

#include <iostream>
using namespace std;

int main()
{
    int x, y, i;
    cin >> x >> y >> i;
    switch(i) {
        case 1:
            // int r = x + y; -- OK
            int r = 1; // Failed to Compile
            cout << r;
            break;
        case 2:
            r = x - y;
            cout << r;
            break;
    };
}

G ++ жалуется crosses initialization of 'int r'. Мои вопросы:

1. Что есть crosses initialization?
2. Почему первый инициализатор x + yпрошел компиляцию, а второй не прошел?
3. Какие проблемы так называемые crosses initialization?

Я знаю, что должен использовать скобки, чтобы указать объем r, но я хочу знать, почему, например, почему не-POD нельзя определить в операторе переключения с несколькими регистрами.

Версия с int r = x + y;тоже не компилируется.

Проблема в том, что можно rпопасть в область видимости без выполнения ее инициализатора. Код будет нормально компилироваться, если вы полностью удалите инициализатор (т.е. строка будет читаться int r;).

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

switch(i)
{
case 1:
    {
        int r = 1;
        cout << r;
    }
    break;
case 2:
    {
        int r = x - y;
        cout << r;
    }
    break;
};

Стандарт говорит (6.7 / 3):

Можно передать в блок, но не в обход объявлений с инициализацией. Программа, которая перескакивает из точки, в которой локальная переменная с автоматической продолжительностью хранения не находится в области видимости, к точке, где она находится в области видимости, плохо сформирована, если только переменная не имеет тип POD (3.9) и объявлена ​​без инициализатора (8.5).

Вы должны поместить содержимое caseв скобки, чтобы дать ему область видимости, таким образом вы можете объявить внутри него локальные переменные:

switch(i) {
    case 1:
        {
            // int r = x + y; -- OK
            int r = 1; // Failed to Compile
            cout << r;
        }
        break;
    case 2:
        ...
        break;
};

Можно передать в блок, но не в обход объявлений с инициализацией. Программа, которая перескакивает из точки, где локальная переменная с автоматической продолжительностью хранения не находится в области видимости, к точке, где она находится в области видимости, является плохо сформированной, если только переменная не имеет тип POD и не объявлена ​​без инициализатора.

[Example: Code:

void f()
{
  // ...
  goto lx;    // ill-formed: jump into scope of `a'
  // ...
 ly:
    X a = 1;
  // ...
 lx:
   goto ly;    // ok, jump implies destructor
 // call for `a' followed by construction
 // again immediately following label ly
}

--end example]

В этом отношении переход от условия оператора switch к метке case считается скачком.

Я предлагаю вам продвигать вашу rпеременную до switchутверждения. Если вы хотите использовать переменную в caseблоках (или одно и то же имя переменной, но разные способы использования), определите ее перед оператором switch:

#include <iostream>
using namespace std;

int main()
{
    int x, y, i;
    cin >> x >> y >> i;
// Define the variable before the switch.
    int r;
    switch(i) {
        case 1:
            r = x + y
            cout << r;
            break;
        case 2:
            r = x - y;
            cout << r;
            break;
    };
}

Одно из преимуществ состоит в том, что компилятору не нужно выполнять локальное выделение (также называемое отправкой в ​​стек) в каждом caseблоке.

Недостатком этого подхода является то, что случаи «попадают» в другие случаи (т.е. без использования break), поскольку переменная будет иметь предыдущее значение.