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

Question

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

#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' .my вопросы:

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

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

Спасибо.

Answer 1

версия с 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):

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 local variable with automatic storage duration is not in scope to a point where it is in scope is ill-formed unless the variable has POD type (3.9) and is declared without an initializer (8.5).

Answer 2

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

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

Answer 3

можно передавать в блок, но не таким способом, который обходит декларации с инициализацией. Программа, которая перескакивает с точки, где локальная переменная с продолжительностью автоматического хранения не находится в области до точки, где она находится в области, плохо сформирована, если только переменная не имеет тип 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] 

Передача из условия оператора переключения на метку корпуса считается скачком в этом отношении.

Answer 4

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

#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), так как переменная будет иметь предыдущее значение.