[ruby-list:6254] Re: Ruby連載 第4話

In message <[e-mail]>
[e-mail] (Yukihiro Matsumoto) writes:

> |  ....で, `1' とかの数値は実は評価すると 1 という数値のインスタンスを
> |  生成するもので, 1.succ! としても `1' は `1' ....っていうのも言いまし
> |  たけど, だめでしょうか?
> 
> おっしゃることはわかります．が，Rubyの場合，それは
> 
>   pi = Math::PI
>   pi2 = pi
>   pi++
> 
> で，pi == pi2 == Math::PI == 4.141592 になるようなモデルを意
> 味するような気がするんですけど．違いますか？ それはそれで使
> いにくそう．

  そうならないように, 最初「数値定数は」と書いたものを「数値は」と書き
  換えたんですが. ようするに immutable object は評価すると必ずコピーを
  返す.

  # ちなみに実数の succ というのはもともと自然に定義できないから考えて
  # いなかった. いや, 便宜的に「定義」はできるけど.

  ....ところで数値以外の immutable object って, なんかありましたっけ?

> もうひとつ，Fixnumは即値である，という理由もあります．

  まえは「Fixnum が即値である事と, モデルとしてこんな事を考えるのは別
  に矛盾しない」と言っていたのに (^^?

  # 別スレッドの話ですけど, i++ と i += 1 でコストが 5 倍違っていたら, 
  # プログラム全体では結構な違いになりそうですが....と思ったら, 987 行
  # のスクリプト中に 15 しかなかった....

===========================================================================
  柳川 @ 情報システム学研究科 . 電気通信大学
  [e-mail]                             February 5th, 1998.  
# He knows most who speaks least.