In C++ and C# are multiple condition checks performed in a predetermined or random sequence?

Question

Situation: condition check in C++ or C# with many criteria:

if (condition1 && condition2 && condition3)
{
    // Do something
}

I've always believed the sequence in which these checks are performed is not guaranteed. So it is not necessarily first condition1 then condition2 and only then condition3. I learned it in my times with C++. I think I was told that or read it somewhere.

Up until know I've always written secure code to account for possible null pointers in the following situation:

if ((object != null) && (object.SomeFunc() != value))
{
    // A bad way of checking (or so I thought)
}

So I was writing:

if (object != null)
{
    if (object.SomeFunc() != value)
    {
        // A much better and safer way
    }
}

Because I was not sure the not-null check will run first and only then the instance method will be called to perform the second check.

Now our greatest community minds are telling me the sequence in which these checks are performed is guaranteed to run in the left-to-right order.

I'm very surprised. Is it really so for both C++ and C# languages?

Has anybody else heard the version I heard before now?

Answer 1

Short Answer is left to right with short-circuit evaluation. The order is predictable.

// perfectly legal and quite a standard way to express in C++/C#
if( x != null && x.Count > 0 ) ...

Some languages evaluate everything in the condition before branching (VB6 for example).

// will fail in VB6 if x is Nothing. 
If x Is Not Nothing And x.Count > 0 Then ...

Ref: MSDN C# Operators and their order or precedence.

Answer 2

They are defined to be evaluated from left-to-right, and to stop evaluating when one of them evaluates to false. That's true in both C++ and C#.