Как получить указатель на функцию класса?

Question

[Павел Соколов]

Я посмотрел вопрос о получении и исполнении функции класса по указателю.
Я не понимаю, как это будет работать с классами-наследниками и виртуальной функцией.

struct obj1 {
  virtual void execute() = 0;
}
struct obj2 : obj1 {
 void execute(){}
}
struct obj3 : obj2 {
 void execute(){}
}
int main(){
  obj1* obj = new obj3();
  void (obj1::*func)() = obj1::execute;
  (obj1->*func)();
}

Что будет? Можно ли вообще так делать, если нет, то какие альтернативы для этого есть?

Answer 1

[jcmvbkbc]

Что будет?

В данном примере -- то же самое, как если просто написать obj->execute(), т.е. виртуальный вызов конечного переопределения для функции obj1::execute в объекте класса obj3. См. eelis.net/c++draft/expr.call#3

Я не понимаю как это будет работать с классами наследниками и виртуальной функцией.

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

Comments

[Павел Соколов]

Почему тогда в случае
virtual void execute(std::vector* argumentspointer, uint64_t* errorcodepointer, bool forced) = 0;
у obj1

void (obj1::*func)(std::vector<void*>* argumentspointer, uint64_t* errorcodepointer, bool forced) = obj1::execute;
std::tread th(func, new std::vector<void*>() 0, 0);

возникает
error C2893: Сбой при специализации функции-шаблона "unknown-type std::invoke(_Callable &&,_Ty1 &&,_Types2 &&...) noexcept()"
message : Со следующими аргументами шаблона:
message : "_Callable=void (__cdecl functionfactory::basicfunction::* )(std::vector> *,uint64_t *,bool)"
message : "_Ty1=std::vector> *"
message : "_Types2={uint64_t *, bool}"
error C2780: unknown-type std::invoke(_Callable &&) noexcept(): требует аргументов: 1, имеется: 4

[jcmvbkbc]

Почему тогда в случае

Потому что ты неправильно используешь std::thread с указателем на функцию класса. Смотри: этот конструктор вызывает invoke, который определён следующим образом. Во всех вариантах его использования с указателем на функцию класса следом за этим указателем должна идти ссылка или указатель на объект, у которого по этому указателю будет вызвана функция, типа того:

std::thread th(func, obj, new std::vector<void*>() 0, 0);