逻辑或（C 中的“||”）是左关联还是右关联？

Question

如果传入的字符串是exp(1) || exp(3) || exp(4) exp(1) || exp(3) || exp(4) exp(1) || exp(3) || exp(4) ，因此有 2 个基于运算符 "||" 关联的语法树

(1). right   exp(0)
            /  |  \
       exp(1)  ||  exp(2)
                  /  |  \
             exp(3)  ||  exp(4)

(2). left       exp(0)
               /  |  \
          exp(2)  ||  exp(4)
         /  |  \
    exp(1)  ||  exp(3)

在后面的分析中，“||” 运算符将被转换为upper exp = if exp_left then 1 else exp_right然后为编译器创建 IR。

假设语言需要从左到右求值，所以exp(1)应该首先求值。 因此下面的处理逻辑可能是合理的：

(1)
mov rax, 1
mov rbx, exp(1)
test rbx, 0
jne END1
mov rbx exp(3)
test rbx, 0
jne END2
mov rax, exp(4)
END2:
END1:

(2)
mov rax, 1
mov rbx, exp(1)
test rbx, 0
jne END1
mov rax, exp(3)
END1:
mov rbx, rax
test rbx, 0
jne END2
mov rax, exp(4)
END2:

由于跳转是在分析节点内部创建的，因此在情况（1）中，任何真表达式都会导致单次跳转到END label 并返回rax ，因为exp(0)的结尾与exp(2) ) 的结尾相同exp(2) .

在情况 (2) 中，它可能会跳转两次，因为exp(2)的结尾与exp(0)的结尾不同。

因此，在我看来，“||” 运算符应该是正确的关联。

但是，我在互联网上搜索并发现大多数编译器都将逻辑或作为左关联符号。

这是什么原因？