Yukihiro Matsumoto <matz ruby-lang.org> writes:

> |Common Lisp風にすれば、現在のプログラムはそのままで行けませんか?
> 
> そうかも。全部VMスタックに積むことを考えていました。先頭の値
> だけを通常の戻し方をして、なんらかの手段で他にも値があること
> を伝えてやるだけでいいんですね。

はい。

さらにオーバーヘッドを減らす(通常のreturnではnvaluesをセットしなくてよ
いようにする)方法が
  An Efficient Implementation of Multiple Return Values in  Scheme.
  J. Michael Ashley and R. Kent Dybvig. 1994 ACM Conference on
  LISP and Functional Programming, pp. 140-149, June 1994.
  (http://www.cs.indiana.edu/~dyb/pubs/mrvs.pdf)
にありました。

呼び出し側で、svの場合とmvの場合の2つのリターンポイントを用意しておく
という方法です。

     call命令
Lmv: 多値を返す場合のリターンポイント(1命令)
Lsv: 通常のリターンポイント

というように。

  1つだけの値を期待するコード: (Schemeでは、これに多値を返すとエラー)
	 call
    Lmv: jump error
    Lsv: 

  値を捨てる(副作用のみのために呼び出す)コード:
	 call
    Lmv: nop
    Lsv: 

  多値を期待するコード:
	 call
    Lmv: jump Lskip
    Lsv: nvalues ← 1
    Lskip:

Common Lisp風に、svな文脈で多値が返ってきたら最初の値だけを使って後は
捨てるようにするには、0個の値の時には最初の値レジスタにNILを入れて返す
とともに、
  1つだけの値を期待するコード: (CL風)
	 call
    Lmv: nop
    Lsv: 
で良いとのことです。

> |svな文脈でも、返ってきたのが多値かどうかチェックするわけですよね。
> |多値を使わない場合のオーバーヘッドが気になります。
> 
> オーバーヘッドはあるでしょうが、Rubyのようなあちこちにチェッ
> クが入る言語では目立たないと目算していました。甘いかも。

たとえば、
  o1.method1(o2.method2, o3.method3)
の場合、method2やmethod3の返した値がValuesかどうか調べないといけません
ね。

また、
  1 + o.method
の足し算をインライン展開できたとして、足し算する前にmethodの返り値が
Valuesかどうかやはりチェックしないといけませんね。

つまり、svな文脈でメソッド呼び出しをすると、必ずチェックが入ってしまう
ように思います。

				前田敦司

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