間接参照(@ポインタ)の科学——静的なコードが動的な無限の射程を得る仕組み
データ箱に書かれた数値を「本当の宛先住所」として2段階ジャンプする、C言語のポインタやCPUアドレッシングの核心
第3章の最後に、爆撃機などを作るための最重要テクニック @(間接参照 / ポインタ) を体験しましょう! - $ は「書いてある数字の番地へ直接行く」記号でした。 - @ は 「まず指定したデータ箱を見に行き、その箱のB(右の部屋)に書かれた数字を『本当の宛先メモ』として使ってジャンプする」 という2段階の記号です!
現在 0000 番地は MOV.I $2, @2 となっており、2つ下の 0002 番地を「宛先メモ」として参照しています(紫色の点線矢印に注目!)。
🎯 やってみよう 宛先メモである 0002 番地の B(右の値) を 0 から 3(0002番地から3マス先の 0005番地)または 5 に増やして、紫の矢印が遠くの番地を指すのを確認してから [STEP] を押しましょう!
1. 直接参照($)の限界:なぜ「$」だけでは戦えないのか?
第3章のクライマックスであるStep 18では、プログラミングの世界で最も強力かつ多くの学習者がつまずきやすい概念——『ポインタ(間接参照 / Indirect Addressing:@記号)』を視覚的に体験しました。
まず、なぜこれまでの『$(直接参照)』だけでは不十分なのかを考えてみましょう。 Step 17で書いた『MOV.I $0, $4』は、何回ループして実行しても、永遠に「4つ下の 0004 番地」にしかデータを送ることができません。もし800マス(あるいは8,000マス)の広大なアリーナのどこかに隠れている敵を倒したい場合、『$』しか使えないとしたら、『MOV $0, $1』『MOV $0, $2』『MOV $0, $3』……と800行ものコードを手書きしなければならなくなります!
たった3〜4行の短いプログラムのまま、1周目は 0005 番地、2周目は 0009 番地、3周目は 0013 番地……というように、「同じ1行のMOV命令から、毎回違う番地へデータを飛ばす」にはどうすればよいでしょうか? その答えこそが『@(間接参照ポインタ)』です。
Direct ($2) : [0000] MOV $2, $2 ──► Writes directly into Cell [0002] (Fixed target)
Indirect (@2) : [0000] MOV $2, @2 ──(Step 1: Look at pointer box [0002])──┐
[0001] JMP $-1, #0 │
[0002] DAT #0, #3 ◄───────────────────────────────────────┘
│
└────(Step 2: Read B-value "+3", jump 3 rows from [0002])
▼
[0005] DAT #0, #3 ◄──💥 Final Landing Address = 0002 + 3 = 0005!2. 2段階ロケット「@(Bフィールド間接参照)」の仕組み
『$2』と『@2』の違いを、「手紙の配達」に例えてみましょう。 ・直接参照『$2』:「2軒隣の家(0002番地)に手紙を入れろ」という指示です。配達員は 0002 番地のポストに手紙を入れて終わりです。 ・間接参照『@2』:「まず2軒隣の家(0002番地)に行き、そこの掲示板(Bの部屋)に書いてある数字を読め。そして、その家からさらにその数字の分だけ進んだ本当の宛先へ手紙を届けろ!」という2段階(クッション)の指示です!
今回の実験コード『0000: MOV.I $2, @2』と、ポインタ箱『0002: DAT.F #0, #3』の動きを正確に追ってみましょう。 1. 【第1段階(ポインタ箱の参照)】:0000 番地の『@2』を見たCPUは、まず2つ下の『0002 番地』を見に行きます(エディタの紫色の点線矢印の第1ステップ)。 2. 【第2段階(デリファレンス/ジャンプ)】:CPUは 0002 番地のB(右の部屋)に書かれた数字『#3』を読み取ります。そして、そのポインタ箱(0002番地)を基準点として、さらに3マス下へ進んだ『0002 + 3 = 0005 番地』を最終的な着弾地点(実効アドレス)として決定します!
だからこそ、あなたが 0002 番地のデータ箱のB値を『0』から『3』や『5』に変えただけで、0000 番地のMOV命令には一切触れていないのに、紫色の矢印がグンと伸びて遠くの 0005 番地や 0007 番地へデータが飛んでいったのです!
3. C言語のポインタ(*ptr)と「自動カウンター+@ポインタ=爆撃機」の完成
コンピュータ科学やC/C++言語において、このように「データそのものではなく、別のデータの番地(住所)を記憶している変数箱(今回の0002番地)」のことを『ポインタ変数(Pointer Variable)』と呼び、ポインタ箱を経由して本当の宛先へアクセスする操作(@)を『デリファレンス(Dereference:間接参照)』と呼びます。C言語で書く『*ptr = data;』というコードは、ハードウェアの機械語に翻訳されると、まさにあなたが今実行した『MOV data, @ptr』そのものになります。
そしてここで、第2章の最後(Step 13)で作った「自動カウンター(ADDでデータ箱の数字を毎ループ増やす仕組み)」と、今学んだ「@ポインタ(データ箱の数字の番地へデータを飛ばす仕組み)」を頭の中で合体させてみてください! もしループのたびに、ポインタ箱(0002番地)の数字を『ADD』命令で 4, 8, 12, 16... と自動的に増やしながら、『MOV @』でそこへDAT爆弾を投げたらどうなるでしょうか? そう、それこそが次の第4章(Step 19)で登場する伝説の爆撃機『Dwarf(ドワーフ)』なのです!
🔒 MISSION CLEAR で講義ノートの全編が解放されます
上段の実験シミュレーターでミッションを達成すると自動的に全編がアンロックされます。(下のボタンから今すぐ全文を先に読むことも可能です)