Question

我正在努力实现与字符串键相关联的成员变量指针的映射。所有变量都来自基类＆＃34; BaseA＆＃34; 从地图访问变量时，只需要使用基类方法（样本中的getDesc（）），因此不必检索原始类型。

此代码在GNU g ++ 6.2.1下编译和运行，但根据我的阅读，reinterpret_cast的使用不可移植，可能无法与其他编译器一起使用。它是否正确？或者此代码是否符合C ++标准？没有使用reinterpret_cast，有没有其他方法可以做到这一点？一个要求是＆＃34; Vars＆＃34;必须可以使用默认的copy-contructor和copy-assignment实现进行复制。

示例代码：

#include <iostream>
#include <sstream>
#include <map>
#include <typeinfo>

using namespace std;

struct BaseA
{
    virtual string getDesc()  = 0;
};

struct A1 : BaseA
{
    string getDesc() override { return "This is A1"; }
};

struct A2 : BaseA
{
    string getDesc() override { return "This is A2"; }
};

struct Vars
{
    A1 a1;
    A2 a2;

    map< string, BaseA Vars::* > vars;

    Vars()
    {
        vars["A1_KEY"] = reinterpret_cast<BaseA Vars::*>(&Vars::a1);
        vars["A2_KEY"] = reinterpret_cast<BaseA Vars::*>(&Vars::a2);
    }

    BaseA& get( const string& key )
    {
        auto it = vars.find( key );
        if ( it != vars.end())
        {
            return this->*(it->second);
        }
        throw std::out_of_range( "Invalid variable key:[" + key + "]");
    }
};                                

int main()
{
    Vars v;

    cout << "a1 description :" << v.get("A1_KEY").getDesc() << endl;
    cout << "a2 description :" << v.get("A2_KEY").getDesc() << endl;

    return 0;
}

Answer 1

是的，有very few guarantees关于reinterpret_cast会做什么，从一个指向成员的指针转换到另一个指针不是其中之一（除非你再回到原来的类型，它没有'真的帮助你。）

执行此操作的安全且简单的方法是使用std::function：

struct Vars
{
    A1 a1;
    A2 a2;

    map< string, std::function<BaseA&(Vars&)> > vars;

    Vars()
    {
        vars["A1_KEY"] = &Vars::a1;
        vars["A2_KEY"] = &Vars::a2;
    }

    BaseA& get( const string& key )
    {
        auto it = vars.find( key );
        if ( it != vars.end())
        {
            return it->second(*this);
        }
        throw std::out_of_range( "Invalid variable key:[" + key + "]");
    }
};

请注意，如果您永远不需要更改vars字典，则可以将其转换为static const成员。（这意味着您需要在源文件中的类外定义和初始化它。）

std ::多态成员变量指针映射

1 个答案: