C # умовний І (&&) АБО (||) пріоритет

Ми постійно потрапляємо в непотрібні аргументи кодування на моїй роботі. Сьогодні я запитав, чи має вищий пріоритет умовне І (&&) чи АБО (||). Один із моїх колег наполягав на тому, що вони мали однаковий пріоритет, у мене були сумніви, тому я шукав це.

Відповідно до MSDN AND (&&) має вищий пріоритет, ніж OR (||). Але, чи можете ви довести це скептично налаштованому колезі?

http://msdn.microsoft.com/en-us/library/aa691323(VS.71).aspx

bool result = false || true && false; // --> false
// is the same result as
bool result = (false || true) && false; // --> false
// even though I know that the first statement is evaluated as 
bool result = false || (true && false); // --> false

Тож моє питання полягає в тому, як довести за допомогою коду, що AND (&&) має вищий пріоритет, ніж OR (||)? Якщо ваша відповідь не має значення, то чому так побудовано в мові?

Змінити перше false на true. Я знаю, що це здається дурним (true || true), але це підтверджує вашу думку.

bool result = true || true && false;   // --> true 
     result = (true || true) && false; // --> false
     result = true || (true && false); // --> true

Якщо ви дійсно хочете збити його, спробуйте:

bool result = True() | False() && False();

Console.WriteLine("-----");
Console.WriteLine(result);

static bool True()
{
    Console.WriteLine(true);
    return true;
}

static bool False()
{
    Console.WriteLine(false);
    return false;
}

Буде надруковано:

True
False
False
-----
False

Редагувати:

У відповідь на коментар:

У C # |- це логічний оператор, який виконує ту ж логічну логіку, що і ||, але не замикає. Також у C # |оператор має вищий пріоритет, ніж обидва ||та &&.

Роздрукувавши значення, ви можете побачити, що якби я використовував типовий ||оператор, Trueдрукувався б лише перший , а потім результат виразу, який також був би True.

Але через вищий пріоритет |, true | falseспочатку оцінюється (в результаті true), а потім цей результат &&редагується, falseщоб отримати false.

Я не намагався показати порядок оцінки, лише той факт, що права половина |періоду оцінки, коли це зазвичай не було :)

Хіба це не допоможе вам отримати те, що ви шукаєте? А може мені чогось не вистачає ...

bool result = true || false && false;

Ви не доводите це кодом, а логікою. І - булеве множення, тоді як АБ - булеве додавання. Тепер який з них має вищий пріоритет?

хибний || правда-правда

Урожайність: правда

false && true || правда

Урожайність: правда

Ви не можете просто показати кінцевий результат, коли ваші логічні вирази перебувають у короткому замиканні. Ось фрагмент, який вирішує вашу справу.

Він покладається на впровадження & та | оператори, що використовуються && та ||, як зазначено в MSDN 7.11 Умовні логічні оператори

public static void Test()
{
    B t = new B(true);
    B f = new B(false);

    B result = f || t && f;

    Console.WriteLine("-----");
    Console.WriteLine(result);
}

public class B {
    bool val;
    public B(bool val) { this.val = val; }
    public static bool operator true(B b) { return b.val; }
    public static bool operator false(B b) { return !b.val; }
    public static B operator &(B lhs, B rhs) { 
        Console.WriteLine(lhs.ToString() + " & " + rhs.ToString());
        return new B(lhs.val & rhs.val); 
    }
    public static B operator |(B lhs, B rhs) { 
        Console.WriteLine(lhs.ToString() + " | " + rhs.ToString());
        return new B(lhs.val | rhs.val); 
    }
    public override string ToString() { 
        return val.ToString(); 
    }
}

Результат повинен показувати, що && оцінюється спочатку перед ||.

True & False
False | False
-----
False

Для додаткового задоволення спробуйте з результатом = t || t && f і подивіться, що відбувається з коротким замиканням.