Указатель на функцию-член производного класса, но не производную (виртуальную) функцию

Question

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

class ParentObject {}; 

class DerivedObject : public ParentObject 
{ 
    void myFunction(){} 
}; 

class OtherDerivedObject 
{ 
    void myOtherFunction(){} 
}; 

и хочет функцию указателя на ParentObject :: * и он в состоянии взять функции из любых производного класса. Моя причина для желания сделать это, у меня есть еще один класс

class functionRegistry 
{ 
    std::map<string, *functionPoint> functionMap; 
} 

и каждый объект (в идеале в ParentObject, но можно сделать индивидуально в производных объектов, если необходимо) иметь экземпляр functionRegistry, и мне нужно functionPoint к уметь указывать на функции в объектах любого типа DerivedObject или OtherDerivedObject.

Заранее спасибо

Answer 1

Все, что вам нужно, это static_cast заполнить карту с правильным типом.

using pfunc_type = void (ParentObject::*)() ; 
pfunc_type pfunc1 = static_cast<pfunc_type>(&DerivedObject::myFunction); 

Поскольку это допускается стандартом:

[expr.static.cast/12] - §5.2.9¶12

prvalue типа «указатель на член D типа cv1 T "может быть преобразован в prvalue типа« указатель на элемент B типа cv2 T », , где B является базовым классом (раздел [class.derived]) D, если cv2 является тем же cv- квалификация как, или gr eater cv-qualification, чем, cv1.72 Если нет действительного стандартного преобразования из «указателя на элемент B типа T» на «указатель на член D типа T» существует ([conv.mem]), программа плохо сформирован. Значение указателя нулевого элемента ([conv.mem]) преобразуется в значение указателя нулевого элемента для типа назначения. Если класс B содержит исходный элемент или является базовым или производным классом класса , содержащего исходный элемент, результирующий указатель на элемент указывает на исходный элемент. В противном случае поведение не определено. [ Примечание: хотя класс B не должен содержать исходный элемент, динамический тип объекта , с которым осуществляется косвенное обращение с помощью указателя к члену, должно содержать исходный элемент; см. [expr.mptr.oper]. - конец примечание]

Но пока это разрешено, вы должны быть очень осторожно, чтобы убедиться, что вы применить указатель элемент на объект с правильным динамическим типом.