9
arr1 = ["1","2"]
arr2 = ["3","4"]

[*arr1 + arr2] #=> ["1","2","3","4"]

となります.

Array#+ のソースも覗いてみましたがなぜこうなるのかわかりませんでした.

どのようなプロセスでこのような結果が返ってくるのか, よろしければ教えていただけませんか.

2

4 件の回答 4

10

該当コードの動作解釈については @suzukisさん、@yasuさん、@BLUEPIXY さんの解答通りかと思います。

この回答は * よりも先に + が評価される理由、つまり [(*arr1) + arr2] ではなく [*(arr1 + arr2)] と評価される仕組みを、興味本位でRuby言語仕様(Draft)から調べた結果となります。

Rubyの(厳密な意味での)単項演算子としては、-, ~, +, !の4種類しか存在しません。
つまり単項演算子*というものは存在しないので、[(*arr1) + arr2]と解釈されることはありえません。ここでの * は、文法上は splatting-argument の一部として解釈されます。

プライマリ式(primary-expression) [ * arr1 + arr2 ] を、Ruby処理系が構文解析していく過程は次の通りです(終端記号への置き換えを伴わない中間過程は全部省略しています):

  • [ * arr1 + arr2 ]array-constructor[ indexing-argument-list ]
  • [ * arr1 + arr2 ][ splatting-argument ][ * operator-expression ]
  • [ * arr1 + arr2 ][ * additive-expression ][ * additive-expression + multiplicative-expression ]
  • [ * arr1 + arr2 ][ * variable + variable ]

文法定義より部分的に引用

primary-expression ::
  array-constructor
 | variable-reference
 | ...

array-constructor ::
  [ indexing-argument-list ? ]

indexing-argument-list ::
  splatting-argument
 | ...

splatting-argument ::
  * operator-expression

operator-expression ::
  conditional-operator-expression
 | ...

unary-operator-expression ::
  unary-minus-expression
 | unary-expression

unary-minus-expression ::
  power-expression
 | - power-expression

power-expression ::
  unary-expression
 | ...

unary-expression ::
  primary-expression
 | ~ unary-expression
 | + unary-expression
 | ! unary-expression

variable-reference ::
  variable
 | ...

variable ::
  constant-identifier
 | global-variable-identifier
 | class-variable-identifier
 | instance-variable-identifier
 | local-variable-identifier

6

Array#+ によって配列が連結されます

arr1 + arr2 #=>["1", "2", "3", "4"]

また、ここでの*は配列を以下のように展開します

arr = [1,2]
a, b = *arr #a => 1 b => 2
a, b = 1, 2 #これと同じ

*arr1 + arr2*(arr1 + arr2)と同義で"1", "2", "3", "4" と展開されます。したがって

[*arr1 + arr2]
[*(arr1 + arr2)]
[*(["1", "2", "3", "4"])]
["1", "2", "3", "4"]

となります

1
  • splat (*) の優先順位がかなり低いんですかね。 [*1..10] でも [*(1..10)] と同義ですし。
    – riocampos
    Commented 2015年1月26日 5:54
3

[*arr1 + arr2][*(arr1 + arr2)] と見なされるためです。* は配列を展開する用途に使われています。

配列の展開は以下のコードを見ると理解しやすいと思います。

args = ["hello, %s", "world"]

# sprintf(["hello, %s", "world"])
sprintf(args)
# TypeError: no implicit conversion of Array into String

# sprintf("hello, %s", "world")
sprintf(*args)
# => "hello, world"
0

*が付いていると可変長要素として解釈されます。
メソッドの引数や多重代入で複数の引数を配列として受けたりその逆にインラインで展開します。
この場合arr1 + arr2で配列が結合されてその内容が配列の中身として展開されます(多重代入の右辺の式に当たる)。

この質問に回答するには、ログインする必要があります。

求めていた回答ではありませんか? のタグが付いた他の質問を参照する。