[ruby-dev:2522] Re: iterator variable (Re: Re: )

まつもと ゆきひろです

In message "[ruby-dev:2513] Re: iterator variable (Re:  Re: )"
    on 98/04/26, Inaba Hiroto <[e-mail]> writes:

|> うーん，その場合はですね，イテレータ変数として未定義のローカ
|                                              「定義済みの」ですね
|> ル変数を使うことは望ましくない(エラーにするってことはそうい
|> うことですよね)，というコンセンサスが得られる必要があると思
|> います．
|
|少なくとも、イテレータ変数をblockへの「引数」だと思って使う人間
|には「望ましくない」と思います。

誤解を産む可能性があることは認識してます．

|グローバル変数のみならず、インスタンス変数も、`定数[式]'も使えるとは思っ
|てもみませんでした. 実は代入の左辺になる式はなんでもOK！なのですね。
|# 「イテレータ変数」という言い方自体が、誤解をまねく表現ですね。

そうですね．より適切な用語の提案があれば採用したいです．

|問題は、「イテレータ変数は代入の左辺である」というのが(rubyの初心者達
|に)すぐにわかるようになっていない(と思われる)ことです。 

いやあ，説明が悪いのはいつものことで申し訳なく思っています．
ドキュメントでは yield の部分に「引数の代入は多重代入と同じ
ルールで行われます」と書いてますが，これでわかる人は少数派か
も知れませんね．

|> 想定される反論としてはイテレータ変数と仮引数との類似性を挙げ
|> て，その不徹底を追求するというものが考えられますね．現状では
|> イテレータ変数は「代入の左辺」と「仮引数」の両方に似ていてや
|> や「代入の左辺」よりの仕様になっていると考えることができます．
|
|「やや」でしょうか:->？

いや，まあ，「かなり」でも議論の流れはあんまり変らないんです
けど．^^;;;

||...|を仮引数だと思っていると、一番ゆるせないのは、Procにした時です。
|
|x = 1;
|c = lambda{|x,y| ... }; #あえてlambdaです:->
|y = 2;
|....
|
|としておくと「c.call」した時にxが変化する事です. (しかもyは変化しない
|のですね)みかけが「仮引数に類似」している事がかえって悪仕様に思えます。

そうですね．実はこのブロック内変数というのはlambdaを導入する
時に「苦肉の策」として導入したものです．これがないとlambdaを
エミュレートできないので．が，lambdaの「引数」が外側で宣言さ
れていると，あるいはローカル変数でなかったりするとおかしな動
作をすることになります．

そういう意味で

|「注意しなければならない」し「変数名に自分なりの規則を設ける」必要があ
|るわけです。

というのは全くその通りです．もちろん，「注意しなければならな
い」ことは少ない方が良いので，良いアイディアがあれば積極的に
採用したいのです．が，なかなか思い付かないですねえ．稲葉さん
とのやりとりでアイディアが浮かばないかと期待してるんですが．

|質問：
|  いったん定義された変数を未定義にする事はできるのでしょうか？

今のところできません．実装するのもかなりしんどいですね．もち
ろん，単なる実装の都合ですが．

|リクエスト：
|  新しいローカル変数の有効範囲を導入する方法として、ブロックを(デフォル
|トで)一回だけ実行するイテレータが欲しいですね.
|
|今は、1.times { ... } とか loop { ... ; break } とかするしかないようで
|す.

既に同様のリクエストが石塚さんから出たことがありますが，その
時は先頭で

  def block
    yield
  end

というようなメソッドを(自分で)定義しては，という結論が出てま
す．rubyのローカル変数は決して名前が重複しないので，有効範囲
という概念が組込みのメソッドを要求するほど使いでがないだろう
というのが一応の根拠です．

|バグレポート: イテレータ「変数」が asignable でないメソッドだと SEGV 
|します。

ありがとうございます．対応しました．

--- eval.c	1998/04/24 09:33:14	1.1.1.2.2.46
+++ eval.c	1998/04/27 06:50:10
@@ -1724,3 +1725,3 @@
 	    }
-	    else if (the_block->tag->dst == state) {
+	    else if (_block.tag->dst == state) {
 		state &= TAG_MASK;