И ещё вопрос: Я могу сделать impl<T> A<T> for B{ }?

Question

Rust — русскоговорящее сообщество

Vadim Chashechnikov

И ещё вопрос: Я могу сделать impl<T> A<T> for B{ }?

#backend #embedded #programming #russian #rust

0

06.05.2022

18 ответов

9 просмотров

Vadim Chashechnikov Автор вопроса

trait A<T>{ fn run(self, t: T) -> T; } struct B{} impl<T> A<T> for B{ fn run(self, t: T) -> T{ return t; } } fn main() { let b = B{}; b.run(10); } Но если это возможно, то тогда возможен и HKT или я что-то не понимаю?

0

06.05.2022

mental stability🥺✨

Vadim Chashechnikov
trait A<T>{ fn run(self, t: T) -> T; } struct...

Вот только это не НКТ. НКТ это было бы impl<C, B, A> C<B<A>> for D

0

06.05.2022

Vadim Chashechnikov Автор вопроса

mental stability🥺✨
Вот только это не НКТ. НКТ это было бы impl<C, B, ...

Тип, A - явный?

0

06.05.2022

Алиса Кассель-Королёва

mental stability🥺✨
Вот только это не НКТ. НКТ это было бы impl<C, B, ...

а какие у этого юзкейсы?

0

06.05.2022

Αλεχ Zhukovsky

Vadim Chashechnikov
trait A<T>{ fn run(self, t: T) -> T; } struct...

Грубо говоря ХКТ это когда можно сделать T<A>

0

06.05.2022

mental stability🥺✨

Алиса Кассель-Королёва
а какие у этого юзкейсы?

Контейнеры делать какие-нибудь, которые будут генериками как по их значению, так и сами по себе (хранят А, а сами Б<А>)

0

06.05.2022

Антон 🇦🇲

https://t.me/dereference_pointer_there/1269

0

06.05.2022

mental stability🥺✨

Антон 🇦🇲
https://t.me/dereference_pointer_there/1269

Там не про гаты вроде, а про хкт вопрос

0

06.05.2022

Max Силинг

Антон 🇦🇲
https://t.me/dereference_pointer_there/1269

на этот пример с lending iterator недавно ответили https://sabrinajewson.org/blog/the-better-alternative-to-lifetime-gats

0

06.05.2022

Max Силинг

Max Силинг
на этот пример с lending iterator недавно ответили...

на практическом примере

0

06.05.2022

вафля'

ааааа HRTB сломаны просто ПОЛНОСТЬЮ

0

06.05.2022

вафля'

IMO это самая сломанная часть компилятора/языка

0

06.05.2022

Lya

вафля'
ааааа HRTB сломаны просто ПОЛНОСТЬЮ

представь, что их нет - значит и ломаться нечему

0

06.05.2022

Max Силинг

вафля'
IMO это самая сломанная часть компилятора/языка

ну если стейбла, то наверное

0

06.05.2022

вафля'

Lya
представь, что их нет - значит и ломаться нечему

Проблема в том, они нужны чтобы работать с функциями принимающими ссылки. И для подобных вещей. Т.е. у тебя два стула: не использовать ссылки (не идеоматичный вариант) или продираться через HRTB

0

06.05.2022

Алиса Кассель-Королёва

mental stability🥺✨
Контейнеры делать какие-нибудь, которые будут гене...

не лучше сделать какой-нибудь impl Container<Item=T>?

0

06.05.2022

mental stability🥺✨

Алиса Кассель-Королёва
не лучше сделать какой-нибудь impl Container<Item=...

Это немного не то, но может изредка заменить

0

06.05.2022