はじめに
「珍しい動物」とか「深海魚の秘密」みたいな話が大好きです。以下はそのような路線で見てもらえたら嬉しいです。
２種類の字句解析
プログラム言語はソースを解析するときに、一般的に字句解析⇒構文解析と進みます。COBOLコンパイラは２種類の字句解析を持っています、少し変わりもののコンパイラですね、というのが本記事の趣旨です。
REPLACE文の動き
「COBOLで遊ぼう(2)」で書いたREPLACE文ですが以下を見てください。
009500 WORKING-STORAGE SECTION.
009600 01 A PIC 9 VALUE 4.
009700 01 B PIC 9 VALUE 1.
009800 01 C PIC 9 .
009900 PROCEDURE DIVISION.
010000 COMPUTE C = A+B.
010100 DISPLAY 'C=' C.
010200 REPLACE ==A+B== BY ==B==.
010300 COMPUTE C = A+B.
010400 DISPLAY 'C=' C.
010500 COMPUTE C = A + B.
010600 DISPLAY 'C=' C.
実行結果
C=5
C=1
C=5
COBOLを見慣れていないとわかりにくいかもしれませんが、010300行目はREPLACEされて「COMPUTE C = B.」に変わり、変数CにBの1が代入されます。010500行目は置換されないので「COMPUTE C = A + B.」のままでCには4 + 1の5が入っています。
なお、010000行目はREPLACE文の前なので、置換は起きず「COMPUTE C = A+B.」で結果は5。
たぶん、自然な動作に見えると思います。
実行は「Windows版 Rocket Visual COBOL Personal Edition Version 10.0.0.82 」を使っています。
見た目が違っていても置換される事もある
次に以下のプログラムを動かしてみます。
009800 WORKING-STORAGE SECTION.
009900 01 A PIC X(5) VALUE 'abcde'.
010000 PROCEDURE DIVISION.
010100 DISPLAY A(2:3).
010200 REPLACE ==2:3== BY ==4:==.
010300 DISPLAY A(2:3).
010400 DISPLAY A(2 : 3).
010400行目の : の前後には半角空白が入っています
実行結果
bcd
de
de
今度は結果の2行目と3行目が同じになりました。010400行目の「DISPLAY A(2 : 3)」が2:3で置換されています。
簡単な解説
後者ですがREPLACE文を字句解析するときに==2:3==の部分を"2", ":", "3"と別々の字句と解釈します。そのため、A(2:3)でもA(2 : 3)でも置換されます。
しかし前者の==A+B==はREPLACE文としては"A+B"という字句として解釈します。そのため空白が挟まっている A + B は置換されません。
ただREPLACE文でない字句解析ではA+Bは"A", "+", "B" と分解されます。これは前者のプログラムで010000行目のA+Bが結果5と加算の動作をしている点でわかります。
さいごに
何が言いたいかというとCOBOLはコンパイル時に解釈ルールが違う2種類の字句解析を行うという事です。ちょっと珍獣「かものはし」みたいな感じがしませんか？
本記事はかなり雑な説明になっています。ここでは細かい部分は抜きにして、COBOLの少し変わった動きを楽しんでいただければと思います