|| と = の優先順位について

Question

>> a = nil
=> nil
>> a || a = 1
=> 1

rubyに関する質問です。
基本的には || 演算子の方が = 演算子よりも優先順位が高いようなのですが、なぜ、上のコードのように a || a = 1 には a || (a = 1) のように括弧をつけなくても良いのかが不思議です。
優先順位通りなら(a || a) = 1 から処理されてエラーが出ると想像していました。
この場合は特別なパターンなのでしょうか？

Answer 1

古いRubyの疑似BNFがあるので見てみると。
https://docs.ruby-lang.org/ja/latest/doc/spec=2fbnf.html

=記号は MLHS `=' MRHS や ARG: LHS `=' ARG で使われますが、左側a||a はMHLSやLHS で受理できないので、全体を代入式とする解析結果はでてこなくて、
a=1のaをLHS、1をARGとするARGとして、a||a=1 を ARG `||' ARGと解釈するのでしょう。

構文解析器だけでは曖昧性を除去できなくて、なにかのルールが別に書かれているのかもしれませんが、いずれにせよa || a = 1を(a || a) = 1とは解釈することができないから、a || (a = 1)だと解析されているのだと思います。

---

確かに、a||a=1 という式は a||(a=1) と認識されています。

% cat t.rb
a=nil
a||a=1
% ruby --dump parsetree ./t.rb
###########################################################
## Do NOT use this node dump for any purpose other than  ##
## debug and research.  Compatibility is not guaranteed. ##
###########################################################

# @ NODE_SCOPE (line: 2)
# +- nd_tbl: :a
# +- nd_args:
# |   (null node)
# +- nd_body:
#     @ NODE_PRELUDE (line: 2)
#     +- nd_head:
#     |   (null node)
#     +- nd_body:
#     |   @ NODE_BLOCK (line: 1)
#     |   +- nd_head:
#     |   |   @ NODE_DASGN_CURR (line: 1)
#     |   |   +- nd_vid: :a
#     |   |   +- nd_value:
#     |   |       @ NODE_NIL (line: 1)
#     |   +- nd_next:
#     |       @ NODE_BLOCK (line: 2)
#     |       +- nd_head:
#     |       |   @ NODE_OR (line: 2)
#     |       |   +- nd_1st:
#     |       |   |   @ NODE_DVAR (line: 2)
#     |       |   |   +- nd_vid: :a
#     |       |   +- nd_2nd:
#     |       |       @ NODE_DASGN_CURR (line: 2)
#     |       |       +- nd_vid: :a
#     |       |       +- nd_value:
#     |       |           @ NODE_LIT (line: 2)
#     |       |           +- nd_lit: 1
#     |       +- nd_next:
#     |           (null node)
#     +- nd_compile_option: false

Comments

[退会済みユーザー]

スッキリしました。
構文解析の調べ方も知ることができて大変勉強になりました。

丁寧に教えて下さりありがとうございました。

[退会済みユーザー]

勉強になります。

Answer 2

こちら（rubyの代入演算子 ||）のページの情報によれば
a || a = 1と書くとa ||= 1の自己代入とほぼ同じ振る舞いになるそうです。

参考にしたページ
演算子式
Ruby の自己代入 x ||= 1 の謎

Comments

[退会済みユーザー]

その記法はもちろん知っています。質問は演算子の優先順位が入れ替わっている点についてです。

[退会済みユーザー]

先ほど挙げた「Ruby の自己代入 x ||= 1 の謎」というページに
「この文はx || (x = 1)と解釈されることになっている。」
と書いてあるのでそれを信じれば
a || a = 1はa ||= 1であり、a || (a = 1)であるはずだと思うのですが。
（私は詳しくないので間違えている可能性が非常に高い。）

[退会済みユーザー]

そのページの説明だと全部、x || (x = 1)という括弧付きの表記が使われていて、x || x = 1という括弧無しの書き方には触れていない気がします。

[退会済みユーザー]

x ||= 1がx || x = 1と同じ（ような）振る舞いをするのならX || x = 1はx ||= 1と同じように解釈されているのではということです。つまりa || a = 1はa || (a = 1)として解釈されている、なぜなら a || a = 1はa ||= 1と（ほぼ）同じ意味だから。

[退会済みユーザー]

私のこねくり回した話は完全に間違いでした。
私はa || a = 1がa ||= 1と同じ解釈がされるように
予め設計されていると考えていました。