Бтв, а в чем разница impl и генериков на входе

APIT (argument position impl trait) это сахар для дженерика, от дженерика отличается только тем, что его нельзя в турборыбе явно задать (это может быть как плюсом так и минусом). RPIT (return position impl trait) это экзистенциальный тип т.е. снаружи функции известен только layout и то перечисленные трейты, но не сам тип. Но при этом внутри функции это вполне определённый и единственный тип. В каком-то смысле RPIT и дженерики/APIT это противоположности: — дженерики/APIT это forall, снаружи функции тип известен, а внутри — нет — RPIT это exists, снаружи тип не известен, а внутри — известен Динамическая диспетчеризация это динамическая диспетчеризация. Т.е. у тебя есть индерекция и vtable который позволяет вызывать функции. Можно использовать только object safe трейты. -> Vec<impl Trait> это всё ещё гомогенная коллекция, а вот -> Vec<Box<dyn Trait>> это скорее гетерогенная (разные боксы могут указывать на экземпляры разных типов)

172 похожих чатов

Бтв, а в чем разница impl и генериков на входе

6 ответов

Похожие вопросы