macros - sub - ¿Cómo hacer cumplir que un argumento macro `ty` implementa un rasgo en tiempo de compilación?

se pasaron 2 argumentos a una funcion que espera 1

Question

Quiero escribir una macro como esta:

macro_rules! a {
    ( $n:ident, $t:ty ) => {
         struct $n {
             x: $t
         }
    }
}

Pero $t debería implementar los rasgos Add , Sub y Mul . ¿Cómo puedo verificarlo en tiempo de compilación?

Answer 1

Una solución es crear una función privada no documentada que fallará la compilación si no se cumplen sus condiciones:

macro_rules! a {
    ( $n:ident, $t:ty ) => {
        struct $n {
            x: $t
        }

        impl $n {
            fn _assert_add()
                where $t: std::ops::Add<$t, Output = $t>
            { }

            fn _assert_mul()
                where $t: std::ops::Mul<$t, Output = $t>
            { }

            fn _verify_assertions() {
                Self::_assert_add();
                Self::_assert_mul();
            }
        }
    }
}

a!(Moo, u8);
a!(Woof, bool);

fn main() {}

Entonces confiaría en el optimizador para eliminar el código en tiempo de compilación, por lo que no esperaría ninguna hinchazón adicional.

Muchas gracias a Chris Morgan por proporcionar una mejor versión de esto que admita características que no sean seguras para objetos.