Yukihiro Matsumoto <matz ruby-lang.org>
 Mon, 01 Nov 2004 19:56:47 +0900 / [yarv-dev:269] Re: multiple assgin return value

　ささだです。

>
>|　今気付いたんですが、
>|
>|	p( ( a, b = 1, 2) )
>|	#=> [1, 2]
>|
>|なんですね。
>|
>|　これは、こうなるべき、なのでしょうか。現在の実装からそうな
>|るのはわかるんですが、仕様としてこれが must？
>
>mustというわけではないでしょうね。
>
>  * 現状のまま
>
>    ちょっとコストが高いかな
>
>  * 多値を返す
>
>    Ruby2ではCommonLisp流の多値を導入するつもりです。ですか
>    ら、多値を返したことにするとうもの一つの手です。もっとも
>    これも実装によってはコストが高いかも

　多値について、しっかり決まれば、これが一番綺麗な気がします。

>  * 実装依存
>
>    既定しないから実装が適当に決められる、ということにする。
>
>  * nilを返す
>
>    まあ、これが一番楽でしょうかね。さらに押し進めて、
>
>      a  = b = c = 2
>
>    を文法に組み込んでしまって、代入式自体の値はnilにする
>    (Python的？)にする手もありますね。

　これは、辛いような気がします。while line=gets なんて、よく
やりますから。


>いろいろ考えてみましょう。

　はい。



　ある式について、その値が要求されているかの解析は、現状でも
やっていたのを忘れていました。なので、前言っていた「面倒くさい」
という理由は却下。

	p( (a, b = 1, 2) )
	#=>
	p( [a = 1, b = 2] )

というように（文法的に）機械的な変換が可能であれば、現状のものも
実装できるかと思います。


　Values の扱いがイマイチわからないんですよね。

	def mval
	  Values(...) # 便宜上。本当の文法上はどうなるか知らない
	end

	a, b, c = mval, 2

はどうなる、とか。

	a = mval

　は結局どうなる、とか。


　ちなみに、Values を入れると、結局代入時、rval が Values クラス
かどうかのチェックを入れる必要があるんですね。

	def assign(lval, rval)
	  if rval.instance_of Values
	    ...
	  else
	    ...
	end

　Values であることの判定が十分高速じゃないと、結構性能に響い
てきそうですね。

　Values が帰ってくるのはメソッドの返り値しかない、という前提
にたてば、そのチェックはメソッドの返り値に対してのみ行えばよい、
ということかもしれませんが。でもなんか大変。

-- 
// SASADA Koichi at atdot dot net
//


--
ML: yarv-dev quickml.atdot.net
使い方: http://www.atdot.net/~ko1/quickml