Будет ли использоваться переменная утечки goto?

_{Предупреждение: этот ответ относится только к C ++ только; в C. правила совсем другие.}

Не будет x утечка?

Нет, конечно.

Это миф, что goto - это некоторая низкоуровневая конструкция, которая позволяет вам переопределять встроенные в C ++ механизмы определения области видимости. (Во всяком случае, это longjmp, которое может быть подвержено этому.)

Подумайте о следующем механизме, который не позволяет вам делать «плохие вещи» с ярлыками (включая case ярлыка).

1. Объем ярлыка

Вы не можете перепрыгивать через функции:

void f() {
   int x = 0;
   goto lol;
}

int main() {
   f();
lol:
   return 0;
}

// error: label 'lol' used but not defined

[n3290: 6.1/1]: [..] Объем метки - это функция, в которой она появляется. [..]

2. Инициализация объекта

Вы не можете перепрыгнуть через инициализацию объекта:

int main() {
   goto lol;
   int x = 0;
lol:
   return 0;
}

// error: jump to label ‘lol’
// error:   from here
// error:   crosses initialization of ‘int x’

Если вы перескочите назад через инициализацию объекта, тогда предыдущий "экземпляр" объекта будет уничтожен:

struct T {
   T() { cout << "*T"; }
  ~T() { cout << "~T"; }
};

int main() {
   int x = 0;

  lol:
   T t;
   if (x++ < 5)
     goto lol;
}

// Output: *T~T*T~T*T~T*T~T*T~T*T~T

[n3290: 6.6/2]: [..] Передача из цикла, из блока или обратно через инициализированную переменную с автоматической продолжительностью хранения включает в себя уничтожение объектов с автоматической продолжительностью хранения, которые находятся в области действия в точке передачи, но не в точке передачи к. [..]

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

int main() {
   goto lol;
   {
      std::string x;
lol:
      x = "";
   }
}

// error: jump to label ‘lol’
// error:   from here
// error:   crosses initialization of ‘std::string x’

... за исключением определенных типов объектов, которые язык может обрабатывать независимо от того, что они не требуют "сложной" конструкции :

int main() {
   goto lol;
   {
      int x;
lol:
      x = 0;
   }
}

// OK

[n3290: 6.7/3]: Можно передать в блок, но не в обход объявлений с инициализацией. Программа, которая перескакивает из точки, где переменная с автоматической продолжительностью хранения не находится в области видимости, к точке, где она находится в области видимости, плохо сформирована, если только переменная не имеет скалярный тип, тип класса с тривиальным конструктором по умолчанию и тривиальный деструктор, a cv-квалифицированная версия одного из этих типов или массив одного из предыдущих типов и объявляется без инициализатора. [..]

3. Прыжки подчиняются другим объектам.

Точно так же объекты с автоматической продолжительностью хранения не "утечки", когда вы goto выходите из их области видимости :

struct T {
   T() { cout << "*T"; }
  ~T() { cout << "~T"; }
};

int main() {
   {
      T t;
      goto lol;
   }

lol:
   return 0;
}

// *T~T