АР
вообще мне кажется что в с++ можно притянуть почти любую концепцию из почти любого языка, вопрос лишь в том, зачем?
Size: a a a
2020 June 29
m
ну рантайм полиморфизм раста делается через виртуальные классы, тут как бы вообще пофиг
м? Там vtable вынесен из класса в указатель. То есть указатель на котором возможен runtime полиморфизм в расте представляет из себя
struct { T* obj; void* vtbl; };.АР
и... какой именно профит это дает?
АР
точнее "мне кажется или я могу доказать что на самом деле это медленнее?"
m
точнее "мне кажется или я могу доказать что на самом деле это медленнее?"
Это сложно оценить по скорости. Из преимуществ vtable оказывается в той же кеш линии, что указатель на структуру. Другими словами на один уровень индирекции меньше.
Из минусов, очевидно, что вектор полиморфных указателей будет в двое больше размером.
Из минусов, очевидно, что вектор полиморфных указателей будет в двое больше размером.
АР
погоди
АР
у тебя есть указатель на vtable и есть смещение конкретного класса внутри vtable, верно?
АР
а в с++ это сразу указатель со смещением
АР
в случае с рантайм полиморфизмом это а-ля "создать интерфейс для класса не меняя класс?"
АР
но автор структуры всё равно обязан прописать все трейты которым она удовлетворяет, верно?
m
у тебя есть указатель на vtable и есть смещение конкретного класса внутри vtable, верно?
Я не уверен, что у нас одинаковое представление о vtable. В моем представлении это указатель на массив функций. То есть использование выглядит как-то так:
vtable[index_of_function_foo](p); - это вызов p->foo();.m
но автор структуры всё равно обязан прописать все трейты которым она удовлетворяет, верно?
Нет.
АР
Я не уверен, что у нас одинаковое представление о vtable. В моем представлении это указатель на массив функций. То есть использование выглядит как-то так:
vtable[index_of_function_foo](p); - это вызов p->foo();.а как это будет работать если ты не знаешь тип значения по указателю p?
m
а как это будет работать если ты не знаешь тип значения по указателю p?
vtable указывает на разные массивы для разных типов.
АР
то есть в расте рантайм полиморфизм заключается в том, что вместо того чтобы положить vtable вместе с данными класса, он кладется в отдельную структуру, и в дальнейшем ты таскаешь её вместе с инстансом?
m
то есть в расте рантайм полиморфизм заключается в том, что вместо того чтобы положить vtable вместе с данными класса, он кладется в отдельную структуру, и в дальнейшем ты таскаешь её вместе с инстансом?
По сути да. Но вообще рантайм полиморфизм сейчас не часто применяется и обычно ты просто кладешь такие указатели в вектор. и больше нигде не таскаешь. Собственно у меня не такой большой опыт использования раста, но я еще ни разу не использовал рантайм полиморфизм. Так что можно сказать, что хранение vtable в классе может быть не zero cost abstraction.
АР
рантайм полиморфизм в принципе не может быть zero cost abstraction
АР
btw, если ты используешь паттерн матчинг вместо рантайм полиморфизма, это то плюс минус же самое, только на один уровень абстракции ниже и в целом должно было бы быть менее удобно*
АР
*если бы не приходилось таскать указатель на vtable вместе с инстансом