operador | = para un valor booleano en C++

Question

me topé con la siguiente construcción en C++:

bool result = false; 
for(int i = 0; i<n; i++){ 
    result |= TryAndDoSomething(i); 
} 

supone que este |= era un acceso directo para el operador OR, y que result sería igual true al final si al menos una de estas llamadas a TryAndDoSomething había devuelto true.

Pero ahora me pregunto si más de una llamada realmente puede devolver true. De hecho, si extendemos la operación como:

result = result || TryAndDoSomething(i); 

Entonces se llamará el método sólo si el retorno evaluado para false, es decir, si no hay otra llamada antes volvieron true. Por lo tanto, después de una llamada que devuelve true, no se realizará ninguna otra llamada.

¿Es esta la interpretación correcta?

Answer 1

En booleanos, | produce el mismo resultado que ||, pero no produce un cortocircuito. El operando derecho de |= siempre se evalúa.

Answer 2

Es la asignación OR bit a bit, no en cortocircuito O la evaluación. Es equivalente a:

result = result | TryAndDoSomething(i); 

no

result = result || TryAndDoSomething(i); 

Answer 3

La única diferencia en este contexto entre x |= f() (OR bit a bit) y x = x || f() (OR lógico) es que el último es cortocircuitos. En el primero, f() se ejecutará n veces, a menos que, por supuesto, f() arroje una excepción, pero esa es otra historia.

En la versión ||, f() ya no se llamará una vez que se convierte en xtrue. C++ no tiene un operador ||=, pero es importante entender que |= y ||= (si existiera) tendrían semántica diferente debido a esto. |= no es solo un reemplazo para el ||= que falta.

Como nota al margen, siempre que se esté utilizando bool, la operación en modo bit es seguro, ya que la norma especifica que true y false convertir a los enteros 1 y 0, respectivamente. Entonces, la única diferencia en este caso es la evaluación entusiasta frente a la pereza.

Answer 4

result |= Try() es la abreviatura de result = result | Try();. El operador || parece entender, pero el operador | es bastante diferente. Su nombre es bitwise o (a diferencia de logical o). Tiene el mismo efecto que si se llevara a cabo a=a||b en cada bit de los operandos, y no tiene el recurso de rescate rápido que lógico y/o tiene. (También es loco rápido, tan rápido o más rápido que la suma). Las otras operaciones bit a bit son & (bitwise y: a=a&&b en cada bit), y ^ (bitwise xor: a=(a!=b) en cada bit).