Is relying on && short-circuiting safe in .NET?

by

Yes. In C# && and || are short-circuiting and thus evaluates the right side only if the left side doesn’t already determine the result. The operators & and | on the other hand don’t short-circuit and always evaluate both sides.

The spec says:

The && and || operators are called the conditional logical operators. They are also called the “shortcircuiting” logical operators.
…
The operation x && y corresponds to the operation x & y, except that y is evaluated only if x is true
…
The operation x && y is evaluated as (bool)x ? (bool)y : false. In other words, x is first evaluated and converted to type bool. Then, if x is true, y is evaluated and converted to type bool, and this becomes the result of the operation. Otherwise, the result of the operation is false.

(C# Language Specification Version 4.0 – 7.12 Conditional logical operators)

One interesting property of && and || is that they are short circuiting even if they don’t operate on bools, but types where the user overloaded the operators & or | together with the true and false operator.

The operation x && y is evaluated as T.false((T)x) ? (T)x : T.&((T)x, y), where
T.false((T)x) is an invocation of the operator false declared in T, and T.&((T)x, y) is an invocation of the selected operator &. In addition, the value (T)x shall only be evaluated once.

In other words, x is first evaluated and converted to type T and operator false is invoked on the result to determine if x is definitely false.
Then, if x is definitely false, the result of the operation is the value previously computed for x converted to type T.
Otherwise, y is evaluated, and the selected operator & is invoked on the value previously computed for x converted to type T and the value computed for y to produce the result of the operation.

(C# Language Specification Version 4.0 – 7.12.2 User-defined conditional logical operators)

More Related Contents:

  1. Execution order of conditions in C# If statement
  2. What is short-circuit evaluation in C?
  3. Is there a C# case insensitive equals operator?
  4. Is it possible to create a new operator in c#?
  5. What are the | and ^ operators used for? [duplicate]
  6. Unexpected character error for quotes [closed]
  7. Prevent Caching in ASP.NET MVC for specific actions using an attribute
  8. Loop through Textboxes
  9. Coercing floating-point to be deterministic in .NET?
  10. How to serialize/deserialize to `Dictionary` from custom XML not using XElement?
  11. dotnet core System.Text.Json unescape unicode string
  12. One or more types required to compile a dynamic expression cannot be found. Are you missing references to Microsoft.CSharp.dll and System.Core.dll?
  13. How much memory does a C#/.NET object use?
  14. Unblock File from within .net 4 c#
  15. Best way to find all factors of a given number
  16. DISTINCT() and ORDERBY issue
  17. Can I LINQ a JSON?
  18. How does StringBuilder work internally in C#?
  19. Get All IP Addresses on Machine
  20. .NET 4.0 and the dreaded OnUserPreferenceChanged Hang
  21. How can we change the background color of all other forms from one form?
  22. Can a PictureBox show animated GIF in Windows Application?
  23. How to get awaitable Thread.Sleep?
  24. log4net with DI Simple Injector
  25. Winforms TableLayoutPanel adding rows programmatically
  26. Extracting Path from OpenFileDialog path/filename
  27. .Net’s Directory Services throws a strange exception
  28. How do I call a .NET assembly from C/C++?
  29. Memory limitations in a 64-bit .Net application?
  30. Net Core: Execute All Dependency Injection in Xunit Test for AppService, Repository, etc

Leave a Comment