C#における「||」演算子と「|」演算子の違いとは？

C#には、|| は論理OR（Logical OR）演算子、| はビット単位の論理OR（Bitwise Logical OR）演算子として存在します。どちらもブール値に対して使用できますが、両者の根本的な違いは評価（実行）のされ方にあります。

構文はどちらも同じ形式です。

• bool_exp1 || bool_exp2
• bool_exp1 | bool_exp2

一見すると構文はよく似ていますが、実際の動作はまったく異なります。

|| 演算子（短絡評価）の動作

• まず bool_exp1 が評価され、その結果によって2つ目の式を評価するかどうかが決定されます。
• bool_exp1 が true であれば、OR の結果は確定して true となるため、2つ目の式を評価しても意味がありません。
• bool_exp2 が評価されるのは、bool_exp1 が false を返した場合のみです。
• このような動作から、|| は短絡演算子（ショートサーキット演算子）とも呼ばれます。最初の式の結果に基づいて、残りの評価を打ち切る（回路をショートさせる）ためです。

| 演算子（完全評価）の動作

• 一方、| を使った場合、コンパイラは両方の式を必ず評価します。つまり、一方の結果に関係なく、両方のステートメントが実行されます。
• 片方がすでに true である場合、もう片方を評価しても結果は変わらないため、これは非効率な処理と言えます。OR の結果が false になるのは、両方の式が false と評価されたときだけだからです。

論理OR（||）のコード例

using System;
namespace DemoApplication{
    public class Program{
        static void Main(string[] args){
            if(Condition1() || Condition2()){
                Console.WriteLine("Logical OR If Condition Executed");
            }
            Console.ReadLine();
        }
        static bool Condition1(){
            Console.WriteLine("Condition 1 executed");
            return true;
        }
        static bool Condition2(){
            Console.WriteLine("Condition 2 executed");
            return true;
        }
    }
}

出力結果

Condition 1 executed
Logical OR If Condition Executed

Condition1() が true を返した時点で評価が打ち切られるため、Condition2() は実行されていません。

ビット単位の論理OR（|）のコード例

using System;
namespace DemoApplication{
    public class Program{
        static void Main(string[] args){
            if(Condition1() | Condition2()){
                Console.WriteLine("Logical OR If Condition Executed");
            }
            Console.ReadLine();
        }
        static bool Condition1(){
            Console.WriteLine("Condition 1 executed");
            return true;
        }
        static bool Condition2(){
            Console.WriteLine("Condition 2 executed");
            return true;
        }
    }
}

出力結果

Condition 1 executed
Condition 2 executed
Logical OR If Condition Executed

| を使用した場合は、Condition1() の結果に関係なく Condition2() も実行されていることがわかります。

まとめ

通常の条件分岐ではパフォーマンス面で有利な || を使うのが一般的ですが、右側の式に含まれる処理（メソッド呼び出しなど）を必ず実行したい特別なケースでは | が意図的に使われることもあります。