[ruby-dev:29017] Re: def m(a=nil, b)

In article <[e-mail]>,
  Yukihiro Matsumoto <[e-mail]> writes:

> |ふと、1.9 なら (TCPServer#initialize のように) 第一引数を省
> |略可能なメソッドを def m(a=nil, b) と定義できるのではなかろ
> |うか、と想像し、試してみたのですが、できないようです。
>
> できません。
>
> |def m(a=nil, *x, b) end なら通るわけですが、どうも私はこの機
> |能を「必須引数を最後につけられる」と理解していたようです。
>
> えーと、現状、これは「rest引数から必須引数を引き剥がす」機能
> ですね。

引き剥がす、という表現を使うなら、以下の動作を見る限り、rest
引数だけでなく optional引数からも引き剥がします。

% ./ruby -e '
def m(a, b=nil, *c, d)
  p [a,b,c,d]
end
m(1,2)'
[1, nil, [], 2]

% ./ruby -e '
def m(a, b=nil, *c)   
  p [a,b,c]  
end
m(1,2)'
[1, 2, []]

lm(a, b=nil, *c) で b に入っていた引数が引き剥がされて、
m(a, b=nil, *c, d) では d に入っています。

従って、「rest引数から必須引数を引き剥がす」機能という説明は
現在の実装に合っていないように思います。

私としては、適切な説明は「必須引数を後ろにもつけられる」機能
であると予想したわけですが、そうでもないとすると、どう説明す
るのでしょう?

>   def m(a=nil, b)
>
> の場合、rest引数がありません(から現状は許されない)。これを許
> した場合、m(1)とした場合、順序を優先するなら1はaに代入される
> べきではないかと。順序を優先しないなら、むしろキーワード引数
> (名前付き引数)のようなものが望ましいと思います。

上記のように、optional 引数からも引き剥がすので、1 は b に代
入されると私は予想しました。

キーワード引数が欲しいというのはそれはそれでありますが、この
件については考えていませんでした。

> |def m(a=nil, *x, b) end なら通るわけですが、どうも私はこの機
> |能を「必須引数を最後につけられる」と理解していたようです。
> |
> |実際にはそう実装されてはいなかったわけですが、すこし考えてみ
> |たところ、そうであってはいけない理由も思い付かず、また、
> |TCPServer#initialize のようにそう考えたほうが便利な例もあり
> |ます。
>
> 個人的にはTCPServerのアレはあまり良いAPIであるとは思っておら
> ず、それを支援する機能をつけることにも消極的です。やりたけれ
> ば自分でやってね、と。
>
> 実装が今よりも大変というのもあるのですが、それは面倒なだけで
> 不可能でも困難でもないのですが、それだけの動機づけはないな、
> と。

なるほど。まぁ、支援したくないのであれば実装しないのは有りで
すが、説明と実装が合っていないのはどうかと思います。

もちろん、説明困難な挙動はすでにいくらでもあるわけでもありま
すが...
-- 
[田中 哲][たなか あきら][Tanaka Akira]