MD
struct A;
void f(A* a, void (A::*f)()) {
(a->*f)(); //OK o_O
}
Меня и волнует, является ли это UB
Size: a a a
2020 March 26
CD
Пойду перечитаю как вообще указатели на виртуальные функции работают
MD
Пойду перечитаю как вообще указатели на виртуальные функции работают
Тут как бы даже указатели на просты, не виртуальные методы, вызывают сомнение
VO
struct A;
void f(A* a, void (A::*f)()) {
(a->*f)(); //OK o_O
}
технически это будет выполненно как вызов члена, но это синтаксически не описание функции-члена
CD
технически это будет выполненно как вызов члена, но это синтаксически не описание функции-члена
что?
VO
f() -- это не функция-член класса A хотя ассемблерный код будет совпадать
MD
https://godbolt.org/z/ZYjEZw - вот, кто-то может пояснить - что делает ассемблерный код?
VO
в функцию будет передан указать на класс и смещение в этом классе (тот кто вызывает смещение знает, у него класс полный). если их сложить то получим тупо указатель на функцию. её и вызываем.
CD
https://godbolt.org/z/ZYjEZw - вот, кто-то может пояснить - что делает ассемблерный код?
а, я, кажется, понял, в чем я ошибался в бинарном представлении
CD
видимо, vtbl кладется по нулевому смещению и расширяется vtbl первого предка при наследовании
CD
тогда vtbl самого класса фиксированно находится по нулевому смещению и нет проблемы, которую я указал выше
CD
тогда вызов по указателю будет через проверку на виртуальность, в случае виртуальной загрузка из vtbl
EE
https://godbolt.org/z/ZYjEZw - вот, кто-то может пояснить - что делает ассемблерный код?
Указатель на метод это структурка из 2 полей. Содержимое собственно указателя на метод зависит от того метод виртуальный или нет, и в зависимости от этого кодируется. Можно подробности поискать на codeproject по C++ delegates.
CD
Eugene Erokhin
Указатель на метод это структурка из 2 полей. Содержимое собственно указателя на метод зависит от того метод виртуальный или нет, и в зависимости от этого кодируется. Можно подробности поискать на codeproject по C++ delegates.
Там до трех полей может быть
MD
Eugene Erokhin
Указатель на метод это структурка из 2 полей. Содержимое собственно указателя на метод зависит от того метод виртуальный или нет, и в зависимости от этого кодируется. Можно подробности поискать на codeproject по C++ delegates.
Интересно, больше похоже на компактный указатель (там проверяется 1ый бит)
EE
Ну ГГЦЦ и Шланг 2 поля на сколько помню, одно ток можно сказать мультиплексируется.
EE
Интересно, больше похоже на компактный указатель (там проверяется 1ый бит)
Это кодирование виртуальный одним способом хранится (индекс в Втаблице) не виртуальный как просто адрес, и по нечетности смотрим
EE
Точно не помню - но идея вроде так у адресов всегда младшие разряды 0, если бит выставлен то это индекс в Втабли - 1. Могу ошибаться. А второе поле для коррекции this, но эт не точно)))
