Comparaciones
Estos traits permiten comparar valores. Se pueden derivar todos los traits de los tipos que contengan campos que implementen estos traits.
PartialEq
y Eq
PartialEq
es una relación de equivalencia parcial, con el método requerido eq
y el método proporcionado ne
. Los operadores ==
y !=
llamarán a estos métodos.
Eq
es una relación de equivalencia completa (reflexiva, simétrica y transitiva) e implica PartialEq
. Las funciones que requieren una equivalencia total usan Eq
como límite del trait.
PartialOrd
y Ord
PartialOrd
define un orden parcial, con un método partial_cmp
. Se usa para implementar los operadores <
, <=
, >=
y >
.
Ord
es un orden total en el que cmp
devuelve Ordering
.
Speaker Notes
This slide should take about 5 minutes.
PartialEq
se puede implementar entre diferentes tipos, pero Eq
no, ya que es reflexivo:
En la práctica, es habitual derivar estos traits, aunque no se suelen implementar.