Feda /dev/ - No Javascript allowed

un humorista

desu cuenta como exp profesional el leetcode que hace cuando está desasignado o sin tareas

#2668 El problema esta en que los "bounds" que delimitan que metodos se pueden ejecutar para permitir polimorfismo y cuales no estan definidos a nivel de clase. En una jerarquia, es decir OOP. En otros lenguajes más limpios se definen estas constraints a nivel de trait o caracteristica de un tipo.

Por ejemplo:

Point {x, y}

Y quiero compararlos, necesito definir el metodo (==).

Para usar un funcion polimorfica que necesite comparar puntos de por ejempo distantas figuras geometricas. Definimos el comportamiento de este trait, (==) y el compilador detectará si se puede o no se puede lanzar ese metodo.

En rust por ejemplo hariamos:

pub trait Print {
    fn print2(self);
}

impl Print for i32 {
    fn print2(self) {
        print!("{}", self);
    }
}

impl<T: Print> SomethingOrNothing<T> {
    fn print2(self) {
        match self {
            Nothing => println!("The number is: <nothing>"),
            Something(n) => n.print2(),
        };
    }
}

impl Print for f32 {
    fn print2(self) {
        print!("{}", self);
    }

Quiero printar tipos "SomethingOrNothing<T>", integers32, floats32 etc... Sigues teniendo que implementar y definir bien los bounds, pero a diferencia de Java el compilador te ayuda y no tienes que arrastrar los génericos hasta el fondo. En java podrias implementar una clase Tuple, oblidarte del hash/equals y que no funcione en el Map. necesitaras cubrir con test algo que un lenguaje MODERNO te da gratis.

Fijate que en mi bound defino que T para SomethingOrNothing debe implementar a su vez Print.

Como rust "no tiene runtime" sino que usa monomorfismo, el compilador generará todos los metodos print para todos los tipos posibles y nunca petara en runtime.