Petitverse

試した所、同じように使えました。


例えば、

A$="!#$%&"
?SHIFT(A$)
?A$

とすると、

!
#$%&

とコンソールに表示されます。

参照型は配列に対して有効で、文字列変数も配列と同じように扱うことができるので、文字列変数に対してもSHIFT等ができるようになってるんですね。

それで、参照型というのは
A$="HALLO"
B$=A$
とすると、A$とB$は同じ"HALLO"を指してるんですね(当たり前のことを言ってるようですが)。このときA$[1]="E"とすると、?A$,B$はHELLO HELLOと出力されます。A$しか変えていないはずなのにB$も変わるのは、それがつまりA$とB$が同じ"HALLO"を指していたと言うことです。

一方、
A$="HALLO"
B$="HALLO"
とした場合、A$とB$は違う"HALLO"を指しています。
A$[1]="E"
?A$,B$
とすると、HELLO HALLOと出力されます。

このように、同じところを指すことができる、中身ではなく指すところ自体を代入することができるのが、参照型です。
＃分かりやすく説明できたか自信ないです^^;

メモリっていうのがあります
全ての情報はメモリに保持されると考えてください
さてここで、変数Aを作ります。変数Aはメモリ上のnの位置にあるとします
このとき、任意の位置の数値を書き換えることができたら？
nの位置にある数値を書き換えれば、変数Aの値も変わるのです
変数Aはnという情報を持っていて、PRINTなどが実行されたときに、nの位置にある情報を持ってくる(参照する)からです
これと同じことを文字列についてもやるのです

この参照渡しってのはDEFの引数として渡すときも起ります。
DEF FUNC A
　A=A+1
END
VAR A
FUNC A
とやってもAは書き換わりませんが、
DEF FILLM A[]
　VAR I
　FOR I=0 TO LEN(A)-1
　　A[i]=-1
　NEXT I
END
DIM A[10]
FILL0 A
とやると
Aの中身が書き換わります。
これは前のやつは変数の中身のコピーを渡してて(値渡しと言います)後者は配列の住所を渡してるからです。