стручков и правила Готы

Question

От этого FAQ: What are Aggregates and PODs and how/why are they special?

У нас есть эта часть:

Готы заявление. Как вы, возможно, знаете, это незаконно (компилятор должен выпустить ошибку), чтобы совершить переход через goto из точки, где какая-то переменная еще не была в области до точки, где она уже находится в области видимости. Это ограничение применяется только в том случае, если переменная имеет тип не-POD. В следующем примере f() плохо сформировалось, тогда как g() хорошо сформировалось. Обратите внимание, что компилятор Microsoft слишком либеральен с этим правилом - просто выдает предупреждение в обоих случаях.

int f() { 
    struct NonPOD { NonPOD(){}}; 
    goto label; 
    NonPOD x; 
label: 
    return 0; 
} 

int g(){ 
    struct POD {int i; char c;}; 
    goto label; 
    POD x; 
label: 
    return 0; 
} 

Я хотел бы понять, почему разница? Похоже, что возможно, что даже если POD , объявленный после goto, он уже инициализирован, и ничего больше не нужно делать, тогда как не-POD не инициализируется. Или я лаяю неправильное дерево?

Answer 1

Goto не может перепрыгнуть через инициализацию, если она не появится в блоке, и вы перепрыгиваете весь блок.

Для не-POD вызывается ctor. Это необходимо и должно происходить в том месте, где появляется переменная. Если вы можете перепрыгнуть через него, переменная будет доступна со сломанным состоянием. И в конечном итоге его dtor взорвет программу.

Answer 2

В случае f, деструктор x (который обеспечивается автоматически компилятором на основании того, конструктор, таким образом делая тип struct не-POD) будет называться «по возвращении». Вызов деструктора на объект, который не был построен, не является хорошим планом. Если мы сделаем этот код достаточно сложным, мы могли бы легко закончиться сценарием, когда компилятору очень сложно узнать, какие объекты были инициализированы, а какие нет, поэтому безопаснее просто запретить перепрыгивать через любую инициализацию (еще один общий случай это при использовании switch -statement, где некоторые объекты вводятся в каждом конкретном случае:.

switch(x) 
{ 
    case 1: 
     NonPod x; 
     .. 
     break; 
    case 2: 
     ... 
} 

является подобной конструкцией (и одинаково плохо)