Génerics in Rust labora manu a manu con trates. Quande noi descri un parametrisat tip T
noi posse limitar li tipes queles
posse esser usat quam argument per un inlistation del trates queles li argument deve implementar.
In ti-ci exemple, li tip T
deve implementar li trate Foo
:
fn mi_function<T>(foo: T)
where
T:Foo
{
...
}
Usante génerics noi posse crear functiones static tipat durant li compilation con conosset tipes e grandores, con quel noi posse usar dispatch static e plazzar les quam valores con grandores conosset.