Comparações
Esses traits
suportam comparações entre valores. Todos os traits
podem ser derivados para tipos que contêm campos que implementam esses traits
.
PartialEq
e Eq
PartialEq
é uma relação de equivalência parcial, com o método eq
obrigatório e o método ne
fornecido. Os operadores ==
e !=
chamarão esses métodos.
Eq
é uma relação de equivalência completa (reflexiva, simétrica e transitiva) e implica PartialEq
. Funções que exigem equivalência completa usarão Eq
como um limite de trait
.
PartialOrd
e Ord
PartialOrd
define uma ordenação parcial, com um método partial_cmp
. Ele é usado para implementar os operadores <
, <=
, >=
e >
.
Ord
é uma ordenação total, com cmp
retornando Ordering
.
Speaker Notes
This slide should take about 5 minutes.
PartialEq
pode ser implementado entre diferentes tipos, mas Eq
não pode, porque é reflexivo:
Na prática, é comum derivar esses traits
, mas incomum implementá-los.