C++のgoto文で、コードの前方にとんだ場合初期化処理はどうなるのか

Question

質問内容

質問です。
以下のコードの例のようにgoto文でプログラム前方に飛んだとして、再び変数valの宣言に到達した場合、初期化処理はどうなるのでしょうか。
再び初期化されるのか、初期化処理がスキップされるのか、はたまたそれ以外か。
どなたか知見のある方、教えていただけると幸いです

jump:
int val=10;
goto jump;

Answer 1

#include <iostream>

struct X {
	int x;
	X(int x) : x(x) { std::cout << "X(" << x << ")\n"; }
	~X() { std::cout << "~X()\n"; }
};

int main()
{
	int k = 0;
jump:
	X val = 10;
	if (++k == 3) return 0;
	goto jump;
}

実行結果

X(10)
~X()
X(10)
~X()
X(10)
~X()

Answer 2

[stmt.dcl]の3にその通りの例がのってて、まあ「再び構築される」と書いてあります。
あるいはwhile文と等価なgoto文を考えると、while(true) { int val = 10; /なにか/} と同じなわけで。

ly:
X a = 1;
// ...
goto ly; // OK, jump implies destructor call for a followed by
         // construction again immediately following label ly

Answer 3

変数の定義、初期化に関してはコードの実行とは別扱いで、最初だけ、と考えましょう。
たとえループの中に変数宣言があったとしても起動時一回だけです

Comments

[thkana]

> たとえループの中に変数宣言があったとしても起動時一回だけ

「起動時」とは? 普通「起動」というとプログラムの実行を開始することをいうと思いますが、

#include <stdio.h>

int main(void){
for(int i=0;i<10;i++){
int a=100;
printf("%d\n",a);
a=1000;
printf("%d\n\n",a);
}
}
の結果は、
100
1000

100
1000
...