Short circuit on |= and &= assignment operators in C#

The C# specification guarantees that both sides are evaluated exactly once from left-to-right and that no short-circuiting occurs.

5.3.3.21 General rules for expressions with embedded expressions

The following rules apply to these kinds of expressions: parenthesized expressions (§7.6.3), element access expressions (§7.6.6), base access expressions with indexing (§7.6.8), increment and decrement expressions (§7.6.9, §7.7.5), cast expressions (§7.7.6), unary +, -, ~, * expressions, binary +, -, *, /, %, <<, >>, <, <=, >, >=, ==, !=, is, as, &, |, ^ expressions (§7.8, §7.9, §7.10, §7.11), compound assignment expressions (§7.17.2), checked and unchecked expressions (§7.6.12), plus array and delegate creation expressions (§7.6.10).

Each of these expressions has one or more sub-expressions that are unconditionally evaluated in a fixed order.

The C# specification for compound operators says:

7.17.2 Compound assignment

…

An operation of the form x op= y is processed by applying binary operator overload resolution (§7.3.4) as if the operation was written x op y. Then,

  • If the return type of the selected operator is implicitly convertible to the type of x, the operation is evaluated as x = x op y, except that x is evaluated only once.

  • Otherwise, if the selected operator is a predefined operator, if the return type of the selected operator is explicitly convertible to the type of x, and if y is implicitly convertible to the type of x or the operator is a shift operator, then the operation is evaluated as x = (T)(x op y), where T is the type of x, except that x is evaluated only once.

…

In your case op is & or |. The short circuiting behavior mirrors that of &/| and not &&/||.

Note that this only refers to behavior visible in a single threaded scenario. So if the right hand side has no side-effects that are observable in such a scenario, the compiler or JITter is still free to omit the evaluation.

In your example the compiler is free to terminate the loop once it knows the result, since there are no such side-effects. But it’s not required to do so.

In particular timing does not count as such a side-effect, and you thus can’t rely on your code having constant runtime. This can be problematic in a security context, since it can introduce a timing side-channel.

Related Contents:

  1. Is relying on && short-circuiting safe in .NET?
  2. When do you use the “this” keyword? [closed]
  3. Best way to parse command line arguments in C#? [closed]
  4. EntityFramework – contains query of composite key
  5. Implement C# Generic Timeout
  6. When should the volatile keyword be used in C#?
  7. How do I prevent and/or handle a StackOverflowException?
  8. UnauthorizedAccessException cannot resolve Directory.GetFiles failure [duplicate]
  9. Casting List of Derived class to List of base class
  10. LINQ Aggregate algorithm explained
  11. Why should I use IHttpActionResult instead of HttpResponseMessage?
  12. System.Text.Json API is there something like IContractResolver
  13. c# Using Parameters.AddWithValue in SqlDataAdapter
  14. Auto-implemented getters and setters vs. public fields
  15. In C# check that filename is *possibly* valid (not that it exists) [duplicate]
  16. Retrieving creation date of file (FTP)
  17. How to read attribute value from XmlNode in C#?
  18. Find Nth occurrence of a character in a string
  19. Calling a SOAP service in .net Core
  20. Deserializing JSON when key values are unknown
  21. Switch case in C# – a constant value is expected
  22. asp.net-mvc: razor ‘@’ symbol in js file
  23. Is it ok to use “async” with a ThreadStart method?
  24. What do programmers mean when they say, “Code against an interface, not an object.”?
  25. Embed Unity3D app inside WPF application
  26. Test if object implements interface
  27. Dynamic query with OR conditions in Entity Framework
  28. Code for a simple thread pool in C# [closed]
  29. Disable transitive project reference in .NET Standard 2
  30. Asynchronous File Download with Progress Bar
  31. How to merge a list of lists with same type of items to a single list of items?
  32. Except has similar effect to Distinct?
  33. Graphics.DrawString vs TextRenderer.DrawText?Which can Deliver Better Quality
  34. Google Maps API for C#
  35. Efficient Cartesian Product algorithm
  36. Task.Factory.StartNew with async lambda and Task.WaitAll
  37. C# DllImport with C++ boolean function not returning correctly
  38. How can I extract subscript / superscript properly from a PDF using iTextSharp?
  39. Does .NET have a built-in EventArgs?
  40. Read a XML (from a string) and get some fields – Problems reading XML
  41. Display custom error page when file upload exceeds allowed size in ASP.NET MVC
  42. Convert String to Date in .NET if my incoming date format is in YYYYMMDD
  43. Directly sending keystrokes to another process via hooking
  44. Get Master Sound Volume in c#
  45. Generic methods and method overloading
  46. Database.BeginTransaction vs Transactions.TransactionScope [duplicate]
  47. MVC 3: How to render a view without its layout page when loaded via ajax?
  48. How to set timeout for a line of c# code [duplicate]
  49. Unit test for thread safe-ness?
  50. Remove readonly attribute from directory

Leave a Comment