Я хочу заполнить таблицу constexpr указателями для последующего вызова указателей. Данный пример показывает только одну запись.
Я сталкиваюсь с двумя проблемами:
1) Я не могу найти правильный синтаксис для записи указателя на объект класса-члена, который может быть инициализирован для объекта производного класса.
2) Я не мог использовать указатель для вызова виртуальных функций.
#include <iostream>
using namespace std;
class State { public: virtual void Do() const {} };
class S1: public State { public: virtual void Do() const { cout << "S1 Do" << endl; } };
class S2: public State { public: virtual void Do() const { cout << "S2 Do" << endl; } };
class A
{
public:
S1 s1;
S2 s2;
};
class B
{
private:
static constexpr A a{};
static constexpr State A::*state { &A::S2 }; // < do not work!
public:
void Do() const
{
(a.*state).Do(); // is it possible to have a pointer to any State class to call virtual functions?
}
};
constexpr A B::a;int main()
{
B b;
b.Do();
return 0;
}
Я думаю, что проблема является чрезмерным в стандарте. Нет никаких
Причина, почему:
State A::*state = static_cast<State A::*>( &A::s1 );
не должно работать, но формулировка, позволяющая это сделать, отсутствует в
стандарт. Есть ряд обходных путей: самый очевидный
будет иметь функцию доступа, возвращающую State*
за
каждая переменная-член, и использовать указатель на функцию:
class A
{
public:
S1 s1;
State* getS1() { return &s1; }
S1 s2;
State* getS2() { return &s2; }
};
class B
{
static A a;
static State* (A::*getState)();
public:
void Do() const
{
(a.*getState)()->Do();
}
}
State* (A::* B::getState)() = &A::getS1;
Других решений пока нет …