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

Здравствуйте. ❔Если класс не участвует во множественном наследовании, можно ли утверждать,

что указатель на таблицу виртуальных функций расположен по смещению 0 (а дальше идут поля)?
Если нельзя, есть ли более-менее надёжный кроссплатформенный способ прочитать vtable для объекта?

52 ответов

15 просмотров

Кроссплатформенный способ для некроссплатформенного vtable? Даже учитывая, что оно везде

0) Нельзя утверждать, что класс не участвует в множественном наследовании. Это всегда можно сделать. 1) Нет, указатель на таблицу виртуальных функций вообще не доступен приложению в явном виде. 2) Нет, способа нет.

И даже больше, на сколько я знаю: С точки зрения стандарта vtable не существует

Ilya Zviagin
0) Нельзя утверждать, что класс не участвует в мно...

Я делаю FFI, у приложения будет свой ламповый интерфейс. Позвольте, чтобы исключить проблему XY описать задачу: мне нужно вернуть указатель на нечто. Этот указатель на нечто другой (недоступный мне) кусок программы интерпретирует как Base* и потом вызывает коллбэки: onStart, onEvent и т.д. Я формирую объект Wrapper в куче, для Wrapper - я отключаю выравнивание, - первым полем у меня идёт указатель на массив функций. - дальше данные Возвращаю указатель на этот Wrapper. Я так понимаю это не совсем надёжно, можно ли надёжнее?

𝙽𝚒𝚌𝚔 𝙻𝚒𝚗𝚔𝚎𝚛
Я делаю FFI, у приложения будет свой ламповый инте...

если ваш код и недоступный вам кусок программы компилируются разными компиляторами (разными версиями одного компилятора), то стандарт не дает вам никаких гарантий, что внутренняя структура объектов Base будет одинаковой если хочется надежно, то надо сишное апи (и, соответственно, ABI) и с++ обертка над ним

𝙽𝚒𝚌𝚔 𝙻𝚒𝚗𝚔𝚎𝚛
Я делаю FFI, у приложения будет свой ламповый инте...

А почему бы не вернуть указатель на произвольного наследника Base?

𝙽𝚒𝚌𝚔 𝙻𝚒𝚗𝚔𝚎𝚛
Я делаю FFI, у приложения будет свой ламповый инте...

Составлять руками vtable в С, чтобы в дальнейшем пользоваться ею как "настоящей" из С++? Тут грабли на каждом шагу, даже в случае конкретной реализации

Egor Suvorov
А почему бы не вернуть указатель на произвольного ...

Я не в C++, я можно сказать в C (на самом деле в Rust, но не суть).

Vlad
если ваш код и недоступный вам кусок программы ком...

Понятно, то есть правильный способ: сделать прослойку на C++ с набором extern C функций.

Liber Azerate
Если что, есть расточатик

Кто мне подскажет лучше лейаут C++ объектов, если не эксперты по языку. В расточатике обычно с лайфтаймами воюют :-P

𝙽𝚒𝚌𝚔 𝙻𝚒𝚗𝚔𝚎𝚛
Я делаю FFI, у приложения будет свой ламповый инте...

Можно, не отключай выравнивание, не делай pack, не отсвечивай указатель на таблицу виртуальных функций. Не делай никаких предположений о размещении членов класса (и функций) в памяти, делай это всё в явном виде.

Vlad
если ваш код и недоступный вам кусок программы ком...

Сшное апи тут не поможет и не помешает... Оно тут ни при чём.

Ilya Zviagin
Сшное апи тут не поможет и не помешает... Оно тут ...

у него объекты будут ходить между библиотекой и клиентским кодом. ABI ни при чем, конечно

Ilya Zviagin
Можно, не отключай выравнивание, не делай pack, не...

Не отключать выравнивание? 32/64 бита не выстрелят в ногу в этом случае? А ещё что значит "не отсвечивай указатель на таблицу"?

Liber Azerate
Но есть standard layout :)

но удовлетворяет ли ему Base

𝙽𝚒𝚌𝚔 𝙻𝚒𝚗𝚔𝚎𝚛
Не отключать выравнивание? 32/64 бита не выстрелят...

Зачем тебе адреса членов, (смещения) , адрес( смещение) указателя на таблицу виртуальных методов?

Anatoly Shirokov
но удовлетворяет ли ему Base

Если мы говорим о виртуальности, то нет. Но сишное апи как раз гарантирует

Ilya Zviagin
Зачем тебе адреса членов, (смещения) , адрес( смещ...

Чтобы сформировать в точности объект, который вызывающий код на С++ будет использовать прозрачно, как будто это нативный наследник Base. Но вообще по обсуждению выше я уже понял, что это плохая затея, лучше смаппить все методы Base в портянку extern C функций Base_onStart, Base_onEvent и так далее. Тогда мне неважно, по какому смещению vtable, но к сожалению это требует копипасты и возни с параметрами, плюс подтягивания C++ компилятора для моего кода. Но вроде должно получиться...

𝙽𝚒𝚌𝚔 𝙻𝚒𝚗𝚔𝚎𝚛
Чтобы сформировать в точности объект, который вызы...

но вы же на стороне клиента потом обернете эти функции в нормальный класс, который изначально хотели?

Vlad
но вы же на стороне клиента потом обернете эти фун...

Да, конечно, нужно предоставить удобный апи.

𝙽𝚒𝚌𝚔 𝙻𝚒𝚗𝚔𝚎𝚛
Чтобы сформировать в точности объект, который вызы...

Вообще, не обязательно даже по адресу vtable будет находиться начало vtable

Liber Azerate
Вообще, не обязательно даже по адресу vtable будет...

Я вот эту статью читал, https://shaharmike.com/cpp/vtable-part1/ Там правда автор только clang использует, поэтому его выводы ограничены.

𝙽𝚒𝚌𝚔 𝙻𝚒𝚗𝚔𝚎𝚛
Я вот эту статью читал, https://shaharmike.com/cpp...

Ну тут бы стоило читать конкретный ABI: https://itanium-cxx-abi.github.io/cxx-abi/abi.html#vtable

Liber Azerate
Ну тут бы стоило читать конкретный ABI: https://it...

Пожалуй. Но я пошёл другим путём уже 😊 зы, спасибо за ссылку

𝙽𝚒𝚌𝚔 𝙻𝚒𝚗𝚔𝚎𝚛
Я делаю FFI, у приложения будет свой ламповый инте...

Еще могу добавить что порядок функций в vtable может отличаться в разных компиляторах. Если я ничего не напутал я видел такое не совпадение между msvc и mingw. Опять же, если мне не изменяет память был флажок для mingw заставляющий использовать порядок принятый на винде, но это еще одна причина не закладываться на vtable.

magras
Еще могу добавить что порядок функций в vtable мож...

Любопытное наблюдение. В принципе, если было бы только два варианта размещения, то я бы согласился на #ifdef :-) Но товарищи выше подсказывали, что может быть много...

Vlad
если ваш код и недоступный вам кусок программы ком...

Ну если это msvc, то там abi полиморфных интерфейсов стабилен, на этом весь COM держится, думаю в других компиляторах так же

Kirill Bolshakov
Ну если это msvc, то там abi полиморфных интерфейс...

очень похоже на правду, но мне недостает квалификации и опыта быстро расписать, как готовить плюсовое ABI и какие там грабли, хотя бы основные, поэтому предложил технически более простое решение, каким оно мне видится если вы так можете, я сам с удовольствием почитаю

Alexander Karaev
Составлять руками vtable в С, чтобы в дальнейшем п...

Вопрос чуток в сторону. Оптимезирую вот такую конструкцию unordert_map< string_view, function<void() >> . 1) если хорошие альтернативы 2) может по женить с корутинами?

Aleksandr Borgardt
Вопрос чуток в сторону. Оптимезирую вот такую конс...

А что оптимизируешь, это же структура данных...

Aleksandr Borgardt
Вопрос чуток в сторону. Оптимезирую вот такую конс...

а ты осознанно выбрал string_view для использования в качестве ключа в unordered_map? это же прямой путь в загробный мир.

Anatoly Shirokov
а ты осознанно выбрал string_view для использовани...

А вдруг там определенные в compile time литералы?

Dmitriy [Отпуск]
А вдруг там определенные в compile time литералы?

а вдруг... - это несколько не из нашей реальности

Max Kolesnikov
Тогда const char* очевидно

Гарантий одинаковости указателей на которые при одинаковости самих литералов стандартом не предусмотрено?

Max Kolesnikov
Тогда const char* очевидно

Совершенно неочевидно

Max Kolesnikov
Тогда const char* очевидно

Ой как неочевидно. std::hash для const char* нет - получите сравнение указателей со всеми вытекающими

Denis P
это оптимизация компилятора

Которая, при отключении, например, приведет к некорректному поведению потенциально?

Aleksandr Borgardt
Все так

все не так, любой член твоей команды может положить туда все что угодно, в том числе ссылку на протухший std::string

Aleksandr Borgardt
Вопрос чуток в сторону. Оптимезирую вот такую конс...

и вопрос номер 2: причем здесь корутины? или это в каком-то другом контексте?

Aleksandr Borgardt
Все так

Вроде были реализации umap со строго constexpr ключами

Anatoly Shirokov
и вопрос номер 2: причем здесь корутины? или это в...

Хочу заменить function на корутину или дать такую возможность

Aleksandr Borgardt
Хочу заменить function на корутину или дать такую ...

И вот мы вернулись к пропозалу экзекютеров... =) А точнее к тому что некоторые абстракции из него все-таки нужны.

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

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

Господа, а что сейчас вообще с рынком труда на делфи происходит? Какова ситуация?
Rꙮman Yankꙮvsky
29
А вообще, что может смущать в самой Julia - бы сказал, что нет единого стандартного подхода по многим моментам, поэтому многое выглядит как "хаки" и произвол. Короче говоря, с...
Viktor G.
2
30500 за редактор? )
Владимир
47
а через ESC-код ?
Alexey Kulakov
29
Гайс, вопрос для разносторонее развитых: читаю стрим с юарта, нада выделять с него фреймы с определенной структурой, если ли чо готовое, или долбаться с ринг буффером? нада у...
Vitaly
9
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
14
Добрый день! Скажите пожалуйста, а какие программы вы бы рекомендовали написать для того, чтобы научиться управлять памятью? Можно написать динамический массив, можно связный ...
Филипп
7
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
длина пакета фиксированная, или меняется?
Okhsunrog
7
Карта сайта