AS
Самое смешное, что не то чтобы по названию, хех
fn f<T:MyTrait>(obj: T) { obj.myfunc() }Size: a a a
2021 May 27
ΑZ
так что
SS
В этом коде питон ищет метод по названию. Там у объекта хеш-таблица со ссылками на методы
AS
Ага, помню заклинания Александреску на тему, а "давайте вот так вот сделаем compile time проверки".
TK
При условии, что в трейт баунде есть myfunc. Разворачивается в <T as MyTrait>::myfunc([&[mut]] obj) или просто <obj as MyTrait>.myfunc()
AS
Что Раст что Сишка всегда оперируют с адресами функций, никаких тебе названий в рантайме
gо
Кроме тех случаев, когда нет, и тогда ты ругаешься и пишешь макрос, который генерирует экстеншн трейт
ΑZ
как будто в питоне не так. Только там у тебя знание о трейте не в типчиках а в башке
ΑZ
что хуево
gо
В питоне не так. В питоне ты в типчики эту инфу можешь перенести с помощью
typing.Protocol, а экстеншн трейтов писать всё равно не придётсяΑZ
как часто тебе нужно "не важно что главное чтобы у него была фунцкия с таким именем и сигнатурой"?
ΑZ
мне наоборот бывало нудно, что у меня есть интерфейсы Dog и Cat а ебучий ТС воспринимает их взаимозаменяемо
gо
Да постоянно. Например,
i64::abs это inherent-функция, а не трейтΑZ
и что? Написал трейт один раз и все
TK
Так имеет смысл передавать функции в таком случае
gо
Не «написал», а «наговнокодил макросов»
gо
И не «один раз», а «для каждого метода, который забыли вынести в трейт»
ΑZ
как угодно. Это лучше чем принимать что угодно с именем abs
ΑZ
для каждого метода - один раз
gо
Это очень много раз