impl Trait
Подібно до меж трейтів, синтаксис impl Trait
можна використовувати в аргументах функції та значеннях, що повертаються:
Speaker Notes
This slide should take about 5 minutes.
impl Trait
дозволяє працювати з типами, які ви не можете назвати. Значення impl Trait
дещо відрізняється у різних позиціях.
-
У випадку параметра,
impl Trait
- це як анонімний загальний параметрp з обмеженням трейту. -
Для типу, що повертається, це означає, що тип, що повертається, є деяким конкретним типом, який реалізує трейт, без назви типу. Це може бути корисно, коли ви не хочете викривати конкретний тип у публічному API.
У позиції повернення виведення є складним. Функція, що повертає
impl Foo
, вибирає конкретний тип, який вона повертає, не записуючи його у вихідному коді. Функція, що повертає узагальнений тип, наприклад,collect<B>() -> B
, може повернути будь-який тип, що задовольняєB
, і користувачеві може знадобитися вибрати один з них, наприклад, за допомогоюlet x: Vec<_> = foo.collect()
або turbofish,foo.collect::<Vec<_>>()
.
Який тип debuggable
? Спробуйте let debuggable: () = ..
, щоб побачити повідомлення про помилку.