指向成员的指针和使用虚函数答案

【问题标题】：pointer to member and using virtual functions指向成员的指针和使用虚函数
【发布时间】：2013-05-14 07:36:13
【问题描述】：

我想用指针填充一个 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、S1 和 S2 在 A 中）？我认为这只会增加混乱。
特别是，you 似乎混淆了类型/类定义（它的 blueprint）及其实例。将类型定义和实例分开，您的问题可能会开始变得有意义。事实上，它没有。
代码中的这个问题，更准确地说，显示了你的困惑：“是否有可能有一个指向任何 State 类的指针......”你没有指向类。您指向对象，即类的 instances。您的指针的 type 可能是 A*、B*、State*、S1* 或 S2*，但它的 value 必须是 NULL 或有效该类型的对象。所以你不能指向“任何状态类”，指向 S1（大写）或 S2（大写）；您可以指向 a.s1 或 a.s2，但是，给定类型 A 的“a”。此列表中的书籍 (stackoverflow.com/q/388242/96780) 可能会对您有所帮助。

标签： c++ c++11 pointer-to-member

【解决方案1】：

我认为这个问题在标准中是多余的。没有原因：

State A::*state = static_cast<State A::*>( &A::s1 );

应该不起作用，但允许它的措辞在标准。有许多变通方法：最明显的将有一个访问器函数返回一个State* for 每个成员变量，并使用指向函数的指针：

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;

【讨论】：

感谢您的回答！有趣的是，我的问题被多次否决并在有答案时关闭:-)
@Klaus 是的。这里的投票很奇怪。