1. 導入：なぜこの古い機能を知る必要があるのか
数値計算の歴史を語る上で避けて通れないのが、Fortranの「割り当て型GOTO（Assigned GOTO）」です。これは、プログラムの実行中にGOTO文のジャンプ先を動的に変更できる強力な機能でしたが、同時に「型が静的に定まらない」という深刻なバグの温床でもありました。現代のプログラミングでは非推奨ですが、レガシーコードの保守や解析を行う際、なぜプログラムが予測不能な動作をするのかを理解するために、この「変数の二重人格」問題を正しく把握しておく必要があります。
2. 基礎知識：割り当て型GOTOとは
割り当て型GOTOは、整数型変数に「文番号（ラベル）」を代入し、その変数を使ってジャンプを行う機能です。
通常、Fortranのようなコンパイル言語では、変数は「数値」を入れる箱として定義されます。しかし、この機能では、同じ変数に「ラベル（メモリ上のアドレスのようなもの）」と「数値」の両方が代入される可能性があります。コンパイラは実行時に変数の内容が「ラベル」なのか「単なる計算結果の数値」なのかを厳密に区別できないことが多く、これがデバッグを極めて困難にする原因となります。
3. 実装と解決策：二重人格の危険性
問題の核心は、本来ラベルを保持するために使っていた変数に対し、誤って演算結果を上書き（代入）してしまう点にあります。
例えば、`ASSIGN 10 TO L` とした後に `L = 20` という代入を行うと、`GOTO L` が実行された際、CPUはアドレス20番地へジャンプしようとします。しかし、そこには命令コードが存在しないことが多く、プログラムは即座にセグメンテーション違反（暴走）を起こします。これを防ぐには、「ラベル用の変数を、計算用の変数と決して混同させない」という厳格な命名規則やスコープの分離が必要です。
4. サンプルプログラム
以下は、この危険な挙動を再現するためのサンプルコードです。古いFortran規格（FORTRAN 77等）で動作する形式です。
PROGRAM DANGER_GOTO
INTEGER L
C ラベル10をLに割り当てる（本来の使い方）
ASSIGN 10 TO L
C ここで誤ってLに数値を代入してしまう（二重人格の発生）
C 本来ラベルが入るべき箱に、計算結果の20が入る
L = 20
C このGOTO文は、アドレス20番地へジャンプしようとして暴走する
GOTO L
10 PRINT , “ここは実行されません”
STOP
END
5. 応用・注意点：バグを回避するために
現代の数値計算において、このような機能を使う必要は一切ありません。もしレガシーコードを現代の言語（Fortran 90以降やC++など）へ移行する際は、以下の点に注意してください。
・条件分岐への置換： 割り当て型GOTOは、構造化された「SELECT CASE」文や「if-else」構造に書き換えるのが鉄則です。
・変数の役割分担： もし古いコードを修正しなければならない場合、ラベルを保持する変数には必ず「LABEL_」のような接頭辞を付け、計算用変数とは物理的に別名であることを徹底してください。
・コンパイラの警告を信じる： 最新のコンパイラは、割り当て型GOTOを使用すると警告（Warning）を出力することがあります。これを無視せず、まずはプログラムのフローを可視化することから始めてください。
技術の進化により、こうした「暴走の種」は排除されてきました。過去のコードが抱えるリスクを理解することは、現在の安全なソフトウェア開発の重要な教訓となります。
コメント