並列代入と多値は、いちおう分けて考えた方が良いのではないですか。
というわけでサブジェクト変更。

(ご参考)
Common Lispでは、以下のようなモデルになっています。

・関数は一般に複数(0個以上multiple-values-limit個未満)の値を返すことが
  できる。 multiple-values-limitは処理系依存の定数(正の整数)で、少なく
  とも20以上。たとえば、関数 FLOOR は、整数の除算を行ない、マイナス無
  限大に向けて丸めた商と剰余を2つの値として返す。

  ユーザ定義の関数から多値を返すには VALUES 関数を用いて、
  (values 値1 値2 ...)
  とする。
・一方、値を受けとる側には「多値aware」な文脈と、そうでない(1つの値し
  か期待していない)文脈がある。多値aware(mvと呼ぶことにします)な文脈
  は、専用の構文ではっきり区別される。
  多値awareでない文脈(svと呼ぶことにします)で多値を受けとった場合、最
  初の値だけが使われ、後は捨てられる。
  (例) (+ (floor 5 3) (floor 19 4))
       == (+ 1 4) => 5
       (multiple-value-call #'+ (floor 5 3) (floor 19 4))
       == (+ 1 2 4 3) => 10
  svな文脈で「0個の値」を受けとると、NILを受けとったものとみなす。
  (例) (print (values)) とすると副作用としてNILがプリントされる。

要するに、多値を意識しないプログラムは、「常に1個の値が返ってくる」と
思っていても何の不都合もない、と言うことです

Schemeでもvaluesで多値を返し、call-with-values構文を用いない限り多値を
受けとることは出来ない(一つの値だけを受けとる)のは同じですが、svな文脈
に1個以外の値を返すと、結果はunspecifiedです。(つまり、エラーになって
も仕方がないということ。)

Common Lisp風の多値を実装する方法もいろいろあると思いますが、例えばむ
かし私が考えたのはこんな感じです。

・VMには、「返した値の数」を表すレジスタnvaluesと、2番目以降の値を入れ
  る配列(リストでもレジスタ群でも可)v[]を持つ。
・1個の値を返す時は、値をスタックトップに残し、nvaluesを1にセットする。
・VALUESや一部の組み込み関数は、nvaluesを1以外にセットし、v[]に必要な
  値を入れる。nvaluesが0なら、最初の値としてNILを返す。
・他の関数が返した値をそのまま返す時は、nvaluesの数を変えないでreturn
  する。
・svな文脈では、nvaluesなんかチェックせず、スタックトップの値だけ使う。
・mvな文脈では、nvaluesを見て、必要な値をv[]から取り出す。

コンパイラが式を処理する文脈として、式の位置に応じて、
  ・tail  (この式の全ての値をそのままreturnする)
  ・sv   (この式の最初の値だけを使う)
  ・mv   (この式の全ての値を使う)
  ・nil  (この式の値は使わない; 副作用のためだけに評価する)
と分類しました。例えば、

(defun fact (n)
  (if (zerop n)
      1
      (progn
        (print n)
        (* n (fact (- n 1))))))
での各々の式の文脈は、
(if ...)  → tail
1 → tail
(progn ...) → tail
(print n) → nil
(* ...) → tail
その他の式は、全てsvとなります。

多値を使わない場合のオーバーヘッドは、「tailの文脈で変数・定数・インラ
インした演算が表れた時、nvaluesを1にセットする」手間だけです。

他のやり方(多値を全てスタックに積んで返すとか)も考えられますが、オーバー
ヘッドはそう変わらないと思います。「1個の値を返した」ということは示さ
ないといけないので。

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

> 多値の実装の仕方は複数あると思います。
> 
>   * メソッドの戻り値を複数許す実装
> 
>     これが一番正統的なやり方でしょう。しかし、現在の実行モデ
>     ルからは大幅に変化してしまいますね。

Common Lisp風にすれば、現在のプログラムはそのままで行けませんか?

>   * 内部的なValuesオブジェクトを使う実装
> 
>     これだとメソッドの戻り値がひとつという枠組みのまま多値が
>     実現できます。現在のものはValuesオブジェクトがRuby世界に
>     見えてしまっていますが、代入の時にチェックすることで、
>     単値を要求されたときには最初の要素、多値が要求された時に
>     は複数の値を与えることができます。代入のたびごとにチェッ
>     クが発生しますから、オブジェクトのタイプはT_ARRAYではな
>     く、T_VALUESのような別のものを導入した方が良いでしょうね。

svな文脈でも、返ってきたのが多値かどうかチェックするわけですよね。
多値を使わない場合のオーバーヘッドが気になります。

				前田敦司

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