page0030 のバックアップ(No.1)

バックアップ一覧
差分を表示
現在との差分を表示
ソースを表示
page0030 へ行く。
- 1 (2013-04-25 (木) 15:50:43)

OSECPU-ASKAの注意点

(by K, 2013.04.25)

↑

はじめに

ASKAはC言語の文法をかなり真似したアセンブラですが、真似し切れていない部分もあります。
どこが違いかを忘れないようにするためにメモを作りました。

↑

for文

for文は違いが満載。見た目が似ているだけに混乱は小さくない。
(1) 繰り返し範囲は必ず { } でくくらなければいけない。
- 一文しかなくても、{ } をつけなければいけない。
- なぜこんな仕様なのかって？それはコンパイラが楽をするためだ。
(2) for文の条件式が最初から不成立だったとしても、ループは一度は回ってしまう。
```
for (;0;) { あれこれ }  // こう書いてもあれこれは一度だけ実行される！
```
- C言語風に最初から不成立だった場合は一度も実行しない、というのがやりたいときはこうする。
```
if (条件式) { for (...; 条件式; ...) { あれこれ } }  // 条件式は同じ内容にする
```
- なぜこんな仕様なのかって？それは確実に一度は回るというループを書く頻度が相当に高くて、それなのにループをスキップさせるためのバイトコードを毎回出力させるのはムダだなあと感じたから。上記のように書けば一応回避できるし。
(3) continue;文の挙動がC言語と違う。
- 普通はcontinueを実行したら、for文中の更新式が実行されて、その後に条件式を評価して成立すれば次のループを開始する。しかしOSECPU-ASKAのcontinueは、更新式を実行しないし、条件式の評価すらしないで、いきなり次のループに突入する。
- このような仕様により、たとえば以下の記述は無限ループを構成してしまう！（C言語ではそうはならない）
```
for (i = 0; i < 2; i++) {
    continue;
}
```
- なぜこんな仕様なのかって？それはコンパイラが楽をするためだ。
- C言語相当にしたければ、continueの直前に、更新式や条件式の評価を入れなければいけない。
```
for (i = 0; i < 2; i++) {
    i++; if (i < 2) continue;  // この一行がC言語でのcontinue相当になっている
}
```

↑

if文

↑

こめんと欄

このページにこめんと欄はありません。このページの内容にコメントしたいときはimpressionsにお願いします。