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

Как работает мономорфизация методов, которые используют трейты? Вот допустим, что у

меня есть Vec<T>, на котором определены куча методов.
Все они уже скомпилированы в бинарь и лежать под боком у rustc.
У меня есть тип Foo, на котором реализован типаж Ord, и я вызываю на Vec<Foo> метод .sort().
Внутри себя сорту нужно вызвать соответствующую реализацию .cmp()
Вопрос: откуда сорт в уже скомпиленном бинаре std знает, где именно лежит нужная cmp()? (Т.е. по какому адресу нужно прыгать?)

Вроде бы, растбук утверждает, что dynamic dispatch здесь не используется.

9 ответов

11 просмотров

vtable?

Eugene- Автор вопроса
xor eax, eax
vtable?

Т.е. static dispatch через vtable?

Так ведь где лежит cmp известно для Foo

Eugene- Автор вопроса

Это на примерно на уровне HIR происходит,и мне понятно. Мне непонятно, что происходит при кодгене -- как адреса методов узнать и в уже скомпиленный крейт положить?

Eugene
Это на примерно на уровне HIR происходит,и мне пон...

Баунд это буквально ограничения на типы, где перечислены методы и прочее. Компилятор находит нужный impl блок для типа Foo и оттуда получает функцию

Для генериков компилятор автоматически экспортирует что-то вроде C++ хидера. В итоге код сортировки будет скомпилирован в машинный код в твоей единице трансляции, а не в STD.

Eugene- Автор вопроса

А какое из? HIR или MIR?

Eugene
А какое из? HIR или MIR?

Достаточное для сборки

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

Обсуждают сегодня

а зачем этот вопрос для удаления из чата?
Mёdkinson Medvezhkin
63
Эх кто-то пришел и весь праздник испортил :( You need complex FBX scene importing setup to change things on import? good luck with that. You need navigation and pathfinding? g...
Serg Gini
5
Какого хера? /Sources/App/Modules/User/Models/UserLinkApple.swift:21:20: warning: stored property '_id' of 'Sendable'-conforming class 'UserLinkApple' is mutable @ID(...
Alexander Sherbakov
14
Всем привет! Подскажите. Я написал приложение на Delphi 10.2 Tokyo под Windows 10. И передо мной стал вопрос о том чтобы сделать это приложение кроссплатформенным (под Linux и...
Дмитрий Завгородний
24
Привет всем. Подскажите где можно посмотреть, какая версия электрон, поддерживает версии windows? Некий changelog. Мне бы желательно, поддержку 7,8,10... latest, как понимаю и...
Anonym Squad
21
Почему стало ломаться на D11? "739002.86400000' is not a valid timestamp" function IncDateTime(aStamp:TTimeStamp;aKind:TTriggerKind;aInterval:Integer):TDateTime; //aStamp = 2...
Катерина Свиридова
8
У тебя в конфиге нигде нет deny all; или вообще любого deny?
Alexander Sherbakov
10
Портфолио: Зовут меня Александр, мне 36 лет. Город Пушкино. Общий рабочий стаж: ~14 лет Уровень квалификации: Senior Full-stack developer Где прочесть мой код? https://github....
Magic
10
Ребят, чет я уже не догоняю... Крч в коде на асм там происходит нечто вроде a+число (a+1, a+2 и т.д.). Но почему строка lea ecx, [edx+1] работает как a+1?? В edx берется адрес...
Alan 🔝 Бэброу
4
думаешь я не смогу также сделать? мне это просто не удобно
int 💳 𝙖𝙞𝙧 𝙗𝙞𝙜 𝙗𝙤𝙗 🔫 check bio / spam block / AFK / nohello.com / GMT+3
9
Карта сайта