Objetos de Trait em Rust com Múltiplas Restrições: Uma Limitação Surpreendente

Este artigo investiga as razões por trás das limitações de múltiplas restrições de trait em objetos de trait Rust. O autor descobre um erro de compilação ao tentar usar múltiplas restrições de trait (por exemplo, `Mammal + Clone`) simultaneamente dentro de um objeto de trait. O artigo explora os mecanismos subjacentes de despacho dinâmico em Rust e C++, comparando suas implementações de vtable. Ele examina o uso de herança de trait para contornar essa limitação e suas restrições inerentes. Por fim, o autor sugere que permitir múltiplas restrições de trait requer múltiplos ponteiros de vtable, embora isso introduza alguma redundância, resolve eficientemente problemas de conversão de tipo.