【PL/I深掘り】FIXED BINARYとFIXED DECIMALの「見えない壁」を越える：演算精度と型昇格の罠
やあ。今日もレガシーシステムの荒波を泳いでいる諸君、お疲れ様。
メインフレームのマイグレーションや大規模バッチの改修現場で、最も「泣きを見る」ポイントはどこだと思う？ DB2のアクセスパス？ それともVSAMの制御間隔？ いや、実は「PL/Iにおける数値型の混在演算による精度落ち」こそが、リリース直後に発覚する悪夢の筆頭だ。
今日は、特に `FIXED BINARY` と `FIXED DECIMAL` を混ぜて計算する際にコンパイラが裏で何をしているのか、その「型昇格（Promotion）」のルールと実務上の鉄則について、現場の知見を叩き込んでいく。
—
1. なぜ「型混在」は危険なのか
PL/Iのコンパイラは非常に親切だが、その親切心が時には仇となる。
`FIXED BINARY`（いわゆるバイナリ整数）と `FIXED DECIMAL`（いわゆるパック10進数：PIC S9(n) COMP-3相当）を演算する場合、コンパイラは計算の直前にどちらかの型へ「昇格」させる必要がある。
現場の鉄則：
何も指定しなければ、原則として `FIXED DECIMAL` が優先されるケースが多いが、コンパイラのバージョンやオプション設定次第で内部的な「中間結果の精度」が大きく変動する。特に小数点が絡む場合、意図しない桁落ちや、最悪の場合はオーバーフローを引き起こす。
2. 実践コード：安全な演算の実装パターン
百聞は一見に如かず。以下のコードを見てくれ。VSAMから読み込んだパック10進数と、ループカウンタとして使うバイナリ整数を安全に計算するパターンだ。
1
TEST_CALC: PACKAGE;
/ 数値型の定義：DECIMALは精度と位取り(p,q)を意識せよ /
DCL VSAM_AMT FIXED DEC(11, 2) INIT(0);
DCL LOOP_IDX FIXED BIN(15) INIT(0);
DCL WORK_RESULT FIXED DEC(15, 2) INIT(0);
PROCEDURE OPTIONS(MAIN);
/ VSAM等からの入力を想定 /
VSAM_AMT = 12345.67;
LOOP_IDX = 10;
/
- 【要注意】
- そのまま計算すると、コンパイラはバイナリをデシマルへ変換する。
- その際の中間精度が不足すると、最下位桁が丸められる可能性がある。
/
/ 明示的に型変換を行い、精度の期待値を固定する /
WORK_RESULT = VSAM_AMT + FIXED(LOOP_IDX, 15, 0);
/ ONユニットで例外を制御する（実務の基本） /
ON CONVERSION BEGIN;
PUT SKIP LIST(‘データ変換エラーが発生しました’);
SIGNAL ERROR;
END;
PUT SKIP LIST(‘計算結果: ‘ || CHAR(WORK_RESULT));
END;
END TEST_CALC;
3. 型昇格のルールと中間結果の保持
コンパイラは「演算結果を保持するためのテンポラリ領域」を自動確保する。しかし、このテンポラリの精度（`p, q`）は、オペランドの精度に基づいて決定される。
- FIXED BINARY: 計算速度は速いが、桁数の管理が直感的ではない。
- FIXED DECIMAL: 金融系計算には必須だが、演算コストはバイナリに劣る。
もし君が「桁落ち」を避けたいなら、演算前にすべて同じ型、かつ十分な桁数を持つ `FIXED DECIMAL` へキャスト（`FIXED` 組み込み関数を使用）するのが、バグを未然に防ぐ唯一の防御策だ。
4. ベテランからのアドバイス：デバッグのコツ
もし本番環境で「計算結果が微妙に違う」という怪奇現象に出くわしたら、以下のチェックリストを試してほしい。
1. コンパイラオプションの確認: `FIXEDOVERFLOW` が有効になっているか？ 意図しない桁あふれを無視していないか？
2. `FIXED` 関数の活用: `FIXED(変数, 精度, 位取り)` を使い、中間結果の精度をコード上で明示的に固定しているか？
3. LISTING出力の確認: コンパイラが生成したLISTING（マップ）を見て、実際にどのような型のテンポラリが生成されているか確認する習慣をつけろ。これを見れば、コンパイラが裏で何を考えているか一目瞭然だ。
最後に
PL/Iは古い言語だと言われるが、これほど厳格に数値制御ができる言語は他にない。
「なんとなく計算できている」ではなく、「どういう型変換を経て、どの程度の精度で計算されているか」を言語化できるエンジニアこそが、今のメインフレーム現場で最も重宝される存在だ。
コードを記述する際は、常に「コンパイラに判断を委ねるな。自らの手で型を制御せよ」。それが、堅牢な基幹システムを支えるアーキテクトの矜持だ。
次回の記事では、`ONユニット` を活用したVSAM例外ハンドリングの「現場でしか通用しない」テクニックについて深掘りしようと思う。期待していてくれ。
