導入
C++において、プログラムの実行フローを強制的に変更するgoto文は、乱用するとコードの可読性を著しく低下させるため、一般的には推奨されません。しかし、エラー処理の集約などで限定的に利用されることがあります。その際、意外と知られていないのが「初期化を伴う変数宣言を飛び越えてはならない」というコンパイラの制限です。本記事では、なぜこのルールが存在し、どう回避すべきかを解説します。
基礎知識
C++では、変数は「宣言された時点」でメモリの確保と初期化が行われます。もし、変数の初期化コードを飛び越えてgotoでジャンプできてしまうと、プログラムは「初期化されていないメモリ領域」を参照することになります。これは未定義動作（Undefined Behavior）を引き起こす極めて危険な状態です。そのため、C++の規格では、初期化を伴う変数の宣言をまたぐgoto文をコンパイルエラーとして禁止しています。
実装/解決策
この制限を回避しつつ、goto文を使って処理をスキップしたい場合は、以下のいずれかの方法をとるのが一般的です。
1. スコープ（{}）で変数を囲む：変数の寿命を特定のブロック内に制限することで、gotoのジャンプ先に影響を与えないようにします。
2. 宣言と初期化を分ける：宣言を先に済ませ、初期化をジャンプ先より後に行う（ただし、これは変数の安全性が損なわれるため推奨されません）。
3. 構造化された制御フロー（if文やRAII）に書き換える：そもそもgotoを使わない設計にするのが、C++エンジニアとしてのベストプラクティスです。
サンプルプログラム
以下のコードは、スコープを利用することでエラーを回避する実装例です。
include
int main() {
// gotoでジャンプするためのラベル
goto skip;
{
// スコープ{}で囲むことで、この変数の寿命をこのブロック内に限定する。
// これにより、外側からのgotoジャンプが可能になる。
int x = 10;
std::cout << "xの値: " << x << std::endl;
}
skip:
std::cout << "スキップ成功！" << std::endl;
return 0;
}
応用・注意点
現場の開発では、gotoを使わざるを得ないケース（例えば、複雑なリソース解放が必要なC言語ライブラリとの連携など）を除き、可能な限り構造化プログラミングを意識してください。
特に注意すべきは、「デストラクタを持つオブジェクト（std::stringやstd::vectorなど）」を宣言した後にgotoで飛び越える場合です。仮にコンパイルが通ったとしても、オブジェクトが正しく破棄されず、メモリリークの原因となります。現代のC++では、gotoの代わりにRAII（Resource Acquisition Is Initialization）パターンを活用し、スコープを抜ける際に自動的にリソースが解放される設計にすることを強く推奨します。
コメント