ps4 - ¿Por qué Rust''s assert_eq! implementado usando un partido?

rust traduccion

Question

¡Aquí está el assert_eq! de Rust assert_eq! macro implementación . He copiado solo la primera rama por brevedad:

macro_rules! assert_eq {
    ($left:expr, $right:expr) => ({
        match (&$left, &$right) {
            (left_val, right_val) => {
                if !(*left_val == *right_val) {
                    panic!(r#"assertion failed: `(left == right)`
  left: `{:?}`,
 right: `{:?}`"#, left_val, right_val)
                }
            }
        }
    });
}

¿Cuál es el propósito del match aquí? ¿Por qué no es suficiente verificar la falta de igualdad?

Answer 1

De acuerdo, eliminemos la coincidencia.

    macro_rules! assert_eq_2 {
        ($left:expr, $right:expr) => ({
            if !($left == $right) {
                panic!(r#"assertion failed: `(left == right)`
  left: `{:?}`,
 right: `{:?}`"#, $left, $right)
            }
        });
    }

Ahora, vamos a elegir un ejemplo completamente al azar ...

fn really_complex_fn() -> i32 {
    // Hit the disk, send some network requests,
    // and mine some bitcoin, then...
    return 1;
}

assert_eq_2!(really_complex_fn(), 1);

Esto se expandiría a ...

{
    if !(really_complex_fn() == 1) {
        panic!(r#"assertion failed: `(left == right)`
  left: `{:?}`,
 right: `{:?}`"#, really_complex_fn(), 1)
    }
}

Como puede ver, llamamos a la función dos veces . Eso es menos que ideal, más aún si el resultado de la función puede cambiar cada vez que se invoca.

La match es solo una forma rápida y fácil de evaluar ambos "argumentos" a la macro exactamente una vez y vincularlos a los nombres de las variables.