Boolean AND не оценивает обе стороны выражения

Question

class Program 
{ 
    static void Main(string[] args) 
    { 
    bool success = true; 
    int[] array = { 10, 15, 20 }; 
    foreach (var i in array) 
    success = success && SynchronizeAccount(i); 
    } 

    static bool SynchronizeAccount(int i) 
    { 
    Console.WriteLine(i); 
    return false; 
    } 
} 

Выход равен 10. После первого шага «успех» становится ложным и никогда не будет истинным, поэтому C# прекратит выполнение цикла после первой итерации. Но мне нужен эффект SIDE SynchronizeAccount, а не «успех».

Answer 1

Это не ошибка, как почти во всех языках программирования. C# оценивает && лениво - если левый операнд уже является ложным, все выражение никогда не может стать истинным, поэтому больше не нужно оценивать правый операнд выражения ,

Переверните операнды или измените их на success & SynchronizeAccount, чтобы заставить оценить оба операнда.

Обратите внимание, что это уникальная особенность C#, который можно применять как & и && для булевых значений - в большинстве других языков, включая Java и PHP один амперсанд (&) является побитовое И, что часто дает совершенно разные результаты.

Answer 2

Это не ошибка, это нормальное поведение. && operator будет оценивать только правую сторону оператора, если левая сторона вычисляться true:

условно-оператор И (& &) выполняет логическое И его BOOL операндами, но только вычисляет второй операнд если необходимо.

Таким образом, после первой итерации, success вычисляет false и SynchronizeAccount не дозвонились снова.

Если вы хотите оценить SynchronizeAccount независимо от того, что она возвращает, используйте & operator вместо:

foreach (var i in array) 
    success = success & SynchronizeAccount(i); 

или более просто:

foreach (var i in array) 
    success &= SynchronizeAccount(i); 

Или, возможно, использовать немного Linq:

bool success = array.Aggregate(true, (b, i) => b & SynchronizeAccount(i)); 

Answer 3

Это не ошибка, это называется Short-circuit evaluation. Если вам действительно нужно, чтобы второй способ работал тоже, мы & вместо &&

Answer 4

Я бы не рассматривал это как ошибку; это просто оптимизация. «& &» - это короткое замыкание, поэтому компилятору разрешено оптимизировать вызов метода, если его результат не требуется.

Вы можете попробовать переписывания это как

foreach (var i in array) { 
    if(!SynchronizeAccount()) 
    success = false; 
} 

Answer 5

Рассмотрите возможность удаления success из вашего цикла.

Другие ответы являются прекрасными для объяснения & против &&, но я не уверен, в чем цель success даже в вашем коде.Так как вы намерены игнорировать его и перебирать все элементы в array в любом случае, просто позвоните SynchronizeAccount в свой цикл foreach и проигнорируйте возвращаемое значение.

static void Main(string[] args) 
{ 
    int[] array = { 10, 15, 20 }; 
    foreach (var i in array) 
     SynchronizeAccount(i); 
}