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

Question

Я хочу заполнить таблицу 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; 
} 

Answer 1

Я думаю, что проблема в большом стандарте. Там нет причины:

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;