Які ознаки ініціалізації хрестів?

Розглянемо такий код:

#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 до мітки справи вважається стрибком у цьому відношенні.

Я пропоную вам просувати свою 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), оскільки змінна матиме попереднє значення.