[ruby-dev:8183] Re: {literal}#[]=

えぐち＠エスアンドイー です。

>>> In message [ruby-dev:8172] Re: {literal}#[]=
    On Mon, 1 Nov 1999 15:22:14 +0900, [e-mail] (Yukihiro Matsumoto) said:

matz> まつもと ゆきひろです
matz> 
matz> In message "[ruby-dev:8168] {literal}#[]="
matz>     on 99/11/01, EGUCHI Osamu <[e-mail]> writes:
matz> 
matz> |以前(年オーダで昔)、『Integer#[]= は出来ませんか？』
matz> |と言う話題の時に、『リテラル(である可能性があり)まずいでしょ』
matz> |という結論だったと思います。
matz> 
matz> 違います。

文法上の「リテラル」との関連ではないので、、

matz> |ところが String#[]= は出来るんですね。
matz> 
matz> できます。

と言うのは、議論の対象でない。。と。

matz> ちょっと説明させてください。

２度目かも知れません。
御手数御掛けします。

matz> RubyのStringはmutableなオブジェクトであり、その内容を変更で
matz> きます。つまり、"abc"という文字列オブジェクトの先頭の文字をA
matz> にするという処理が可能です。
matz> 
matz> ところが、数字はimmutableなオブジェクトであり、その内容を変
matz> 更できません。1オブジェクトの値が実は2になったら、いったいナ
matz> ニが起きるのでしょう。
matz> 
matz>   a = 4
matz>   a[1] = 1
matz> 
matz> という処理によって、あるいは1bit目が立って5になることを期待
matz> するのだと思うのですが、仮にaの値が5になるのだとすると、Ruby
matz> ではそれは4というオブジェクトが5に変化するからではなく、aと
matz> いう変数が指すオブジェクトが4から5に変わったという形でしか起
matz> こりえません。

ここで良く分からないのが、

 + なぜ数だけが immutable か？

と言う点で、実装が内部的には Fixnum#dup 相当
になってい事を隠蔽する意図ででしょうか？

  a = b = 4
  a[1] = 1
  p [a, b]
 => [5, 5]

と Ruby 的には本来なるはずだと言う理解であっていますか？
＃もし Fixnum が mutable だとして。

matz> Rubyは言語のモデルとして、メソッド呼び出しにより変数の中身
matz> (指している先)が変化することは決して発生しませんから、これを
matz> 実現することは現在のモデルでは不可能というのが前回の議論にお
matz> ける「私の」結論です。

これは、整数変数の事だけですか？
Array#[]= は「指してる先」(である Array の)参照関係を
変化させているようにも考えれれますが、、私の眼(マナコ)が曇っているだけ？

  結局、『 ++ 演算子の議論』の変種って事ですね。

	えぐち