c++ - 指向成员的指针和使用虚函数

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*为每个成员变量返回 a，并使用指向该函数的指针：

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;