24

The logical AND and OR operators are the only lazy operators in JavaScript along with the ternary conditional operator. They are tested for short-circuit evaluation using the following rules:

false && anything === false
true || anything === true

This is the same way it is implemented in Haskell:

(&&) :: Bool -> Bool -> Bool
False && _ = False
True  && x = x

(||) :: Bool -> Bool -> Bool
True  || _ = True
False || x = x

However according to MDN logical operators in JavaScript are left associative. This is counter intuitive. In my humble opinion they should be right associative. Haskell does the right thing. Logical operators in Haskell are right associative:

infixr 3 &&
infixr 2 ||

Consider the following expression in Haskell:

False && True && True && True

Because && is right associative in Haskell the above expression is equivalent to:

False && (True && (True && True))

Hence it doesn't matter what the expression (True && (True && True)) evaluates to. Because of the first False the entire expression is reduced to False in a single step.

Now consider what would happen if && was left associative. The expression would be equivalent to:

((False && True) && True) && True

It would now take 3 reductions to evaluate the entire expression:

((False && True) && True) && True
(False && True) && True
False && True
False

As you can see it makes more sense for logical operators to be right associative. This brings me to my actual question:

Why are logical operators in JavaScript left associative? What does the ECMAScript specification have to say about this? Are logical operators in JavaScript actually right associative? Does the MDN docs have incorrect information about the associativity of logical operators?


Edit: According to the specification logical operators are left associative:

LogicalANDExpression = BitwiseORExpression
                     | LogicalANDExpression && BitwiseORExpression

LogicalORExpression = LogicalANDExpression
                    | LogicalORExpression || LogicalANDExpression
29
  • 4
    The result, including short-circuiting, is the same either way, isn't it?
    – Barmar
    Dec 15, 2013 at 6:34
  • 3
    If the associativity doesn't make any difference in the result, the compiler can do it either way. The authors of the specification probably didn't worry about this since it doesn't matter.
    – Barmar
    Dec 15, 2013 at 6:46
  • 1
    From the MDN table you linked to, it looks like they simply made all binary operators left-associative, except for assignments. In most cases, the choice is arbitrary because the operations are commutative.
    – Barmar
    Dec 15, 2013 at 6:57
  • 1
    I think I mean that they're associative and commutative. Ignoring the short-circuiting, a && b is equivalent to b && a. Most commutative operators are also associative, but I found this: unspecified.wordpress.com/2008/12/28/…
    – Barmar
    Dec 15, 2013 at 7:03
  • 4
    @Ankur No, it wouldn't. Because of the way logical AND and OR is defined the first operand is always evaluated and the second operand is only evaluated when the first evaluation doesn't short-circuit. You cannot evaluate the second operand before evaluating the first operand. Hence even if the last operand is False you'll still need to evaluate the first operand, which in turn would need to evaluate its first operand and so on. Dec 15, 2013 at 7:45

3 Answers 3

15
+50

For any decent compiler the chosen associativity of these operators are pretty much irrelevant, and the outputted code will be the same regardless. Yes, the parse tree is different, but the emitted code doesn't need to be.

In all of the languages of the C family that I know of (to which Javascript also belongs), the logical operators are left associative. So the real question becomes, why do C-like languages define logical operators as left-associative? Since the chosen associativity is irrelevant (in terms of semantic, and in terms of efficiency), my suspicion is that the most "natural" (as in "what the majority of the other operators use") associativity was chosen, although I don't have any sources to back up my claims. Other possible explanation is that left associative operators take less stack space to parse using an LALR parser (which is not a big concern nowadays, but probably was back when C appeared).

1
  • 1
    Evaluation of boolean expressions in C-like languages behave vaguely like foldl', which is fine because they are always strict anyway.
    – misterbee
    Dec 28, 2013 at 18:09
5

Consider this code:

console.log(   true || (false && true) );   // right associative (implicit)
console.log(  (true || false) && true  );   // left associative (Javascript)

Both of those examples do in fact return the same result, but that is not the reason to worry about operator associativity. The reason it's relevant here is because of the unique way that logical operators determine their outcomes. Even though all permutations ultimately make the same final conclusion, the order of the calculations change, and that can have big implications for your code.

So, now consider this:

    var name = "";

    // ----------------------------------------
    // Right associative
    // ----------------------------------------
    name = "albert einstein";
    console.log("RIGHT : %s : %s", true || (false && updateName()), name);

    // ----------------------------------------
    // Left Associative
    // ----------------------------------------
    name = "albert einstein";
    console.log("LEFT  : %s : %s", (true || false) && updateName(), name);

    function updateName() {
        name = "charles manson";
        return true;
    }

The output is:

    RIGHT : true : albert einstein
    LEFT  : true : charles manson

Both expressions return true, but only the left associated version had to call updateName() in order to return an answer. The right associated version is different. It only evaluates the first argument in (false && updateName()) because the second argument can't change the false into a true.

Remember these two points:

  • Operator Precedence describes the nesting order of compound expressions of different operator types.
  • Operator Associativity describes the nesting order of compound expressions with the same operator precedence.

Notice that neither of the two points above change the way an individual expression is interpreted, only the way compound expressions are interpreted. Associativity happens at a higher level.

Operator associativity, as well as operator precedence, have enormous impact in how a language behaves. Understanding what those differences are is critical to being able to use and quickly grasp the functional differences in diverse programming languages. You definitely get a thumbs up from me for your question and I hope this clarifies things a little bit. Take care.

5
  • 1
    What do you mean by "...the logical operators in JavaScript are definitely right associative"? The grammar in the specification defines the logical operators as left associative. The interpreter example code shows short-circuit evaluation, it doesn't show associativity at all. Dec 24, 2013 at 13:34
  • 1
    You are right. I had remembered it backwards. My main point was to address everyone's focus on the expression outcomes as opposed to their impact. Thank you. Post updated. Dec 24, 2013 at 16:54
  • This is probably why JavaScript defines || and && as different operator "types" so that they are resolved with precedence, not associativity. Dec 26, 2013 at 11:25
  • Thank you, this answer helped me with my efforts to grasp the essence of what associativity means. Jul 16, 2016 at 18:22
  • This answer has nothing to do with the original question, which is about the left associativity of each of the individual logical operators, and not about expressions mixing both (which, as this very answer explains, is resolved by precedence).
    – Tom
    Dec 28, 2019 at 12:22
-4

Simple answer: Imagine var i = null; if (i == null || i.getSomeValue()) ... When not being left associative, the second test would be evaluated first giving you an exception.

2
  • 1
    That's not what the question is about. Associativity only matters in expressions with multiple operators in a chain, like if (i==null || i.isBad() || i.getSomeValue()), which may be parsed either as (i==null || i.isBad()) || i.getSomeValue() (left-associative) or i==null || (i.isBad() || i.getSomeValue()) (right-associative). Dec 24, 2013 at 0:18
  • Associativity doesn't decide which operand is evaluated first. They way the operator is defined decides which operand is evaluated first. Read the question carefully. Dec 24, 2013 at 3:48

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.