[ruby-dev:13520] Re: yield *[[]]

まつもと ゆきひろです

In message "[ruby-dev:13518] Re: yield *[[]]"
    on 01/06/09, Tanaka Akira <[e-mail]> writes:

|> |「多重代入において右辺の(配列への)変換結果を ... = *exp として指定でき
|> |ないのはけしからん。なんで ... = *[exp] なんぞとせねばならんのだ」とか。
|> 
|> これはできるようになったように思います。

|あー、普通はうまくいくことをわかった上で、exp が [[1,2,3]] などのとき
|に例外的にうまくいかないので、しょうがなく *[[1,2,3]]] とする、という
|ことを表現しています。

？....(しばし考える)...！

つまり、

|「多重代入において右辺の(配列への)変換結果を ... = *exp として指定でき
|ないのはけしからん。なんで ... = [*exp] なんぞとせねばならんのだ」とか。

ってことかしら。

右辺トップレベルの * には「展開結果の[]を取り除く」という意
味を与えているんで、たとえ多くの場合共通の結果を得ることがで
きるとしても「右辺の配列への変換」としては、やはり不完全だと
思います(し、ここを完全にする必要はあまりないかな)。

その場合には、(タイプ量が多くなるのは確かですが)より意味の明
確な、[*exp]やArray(exp)を使っていただくのがよろしいのではな
いかと思います。

|% ruby -e 'p ((a = *[[1,2,3]]))' 
|[1, 2, 3]
|
|# うぅむ。そっか。かっこが一重なのを許すと文法が曖昧になるのか...

そうなんですね。yaccの限界というかなんというか。自前でパーザ
を書いて好きなだけバックトラックさせれば良いんでしょうけど...

                                まつもと ゆきひろ /:|)