Obtention du type de sortie associé d'une implémentation Add donnée types LHS et RHS

Question

Dans Rust, existe-t-il un moyen d'invoquer une implémentation Add au niveau du type en utilisant les types LHS (Self) et RHS pour utiliser son Output type (par exemple, le type de retour d'une fonction générique)?

Answer 1

Il y a, bien que cela ressemble à un peu de magie noire.

Vous devez combiner 3 bits de syntaxe:

• la mise en œuvre de trait d'un type est accessible via <Type as Trait>
• spécifiant le RHS exige simplement passer comme paramètre Add<???>
• et enfin obtenir un le type associé d'un trait nécessite simplement d'utiliser Trait::OutputType (ce qui peut être ambigu)

En combinant les 3 ensemble, nous obtenons <Self as Add<RhsType>>::Output.