Question

这可能最好用示例代码显示。以下无法使用g ++进行编译：

struct Base {
};

struct Derived : public Base {
};

struct Container {
    Derived data_;
};

int main(void) {
    Base Container::*ptr = &Container::data_;
}

我收到以下错误：invalid conversion from 'Derived Container::*' to Base Container::*'。语言不允许这样做吗？这是编译器错误吗？我使用了错误的语法吗？

请帮忙！

为什么我要尝试这样做的一些背景：我有几个我想主要用作派生类型的成员数据，但我希望能够通过一些常用代码填充它们。数据将以任意顺序出现，并有一个字符串标签，我将用它来选择要填充的相应成员数据。我打算创建一个std::map<std::string, Base Container::*>，通过一个通用接口为每个成员分配数据。我想避免使用巨型if else构造来找到正确的成员数据。

Answer 1

这不是编译器错误，你不能这样做。（但您可以将Base :: *分配给Derived :: *）。

我没有看到任何有限制的理由（除了处理多重继承的情况，这会使成员指针的表示更加复杂化）。

Answer 2

指向C ++成员的指针不是真正的指针，而是更像偏移给定成员并且特定于该类型，所以你要做的事情并不是真的支撑。

这是Stackoverflow C++: Pointer to class data member上的一个不错的讨论。

Answer 3

在这个帖子中有很多相当复杂的，一些没有很好解释的，以及一些错误的答案。

但在我看来，问题在于Base中根本没有Container成员 - 有一个Derived成员。你不能这样做：

Base Container::*ptr = &Container::data_;

...出于同样的原因你不能这样做：

int a;
long* pl = &a;

在第二个示例中，对象不是long，而是int。同样，在第一个示例中，对象不是Base，而是Derived。

作为一个可能的切入点，在我看来，你真正想做的是让Base成为一个抽象类，让Container有Base*而不是Derived {1}}成员。

Answer 4

你只需要写：

Base* ptr = &container.data_;

但container必须是Container的实例，因此您必须在某处创建该类型的一个变量。

Answer 5

即使A和B之间可能存在转换，也无法将C :: * A转换为C :: * B.

但是，您可以执行this：

struct Base
{
    virtual ~Base() {}
    virtual void foo() { std::cout << "Base::foo()\n"; }
};

struct Derived : Base
{
    void foo() { std::cout << "Derived::foo()\n"; }
};

struct Bar
{
    Base* x;

    Bar() : x(new Derived) {}
};

int main()
{
    Bar b;
    Base* Bar::*p = &Bar::x;
    (b.*p)->foo();
}

Answer 6

您必须static_cast才能执行此转换，如5.3.9 / 9所示。这样做的原因是它从父对象指针到子对象指针的行为static_cast。换句话说，将指向派生成员的指针放入指向父成员的指针将允许您从父对象或指针访问不存在的派生成员。如果标准自动允许这样做，那么很容易搞砸并尝试访问不属于适当子类型（包含所述成员）的类的子成员。

如果没有更多信息，您可能需要在Base类中使用不同/更好的构造函数/ set接口，而不是尝试在此处使用指针成员。

Answer 7

我认为你想要的是一个'容器'，即一个只有指针的结构：

struct Container{
    Base* derivedAdata_;
    Base* derivedBdata_;
    ...
};

现在您知道的每个成员都属于特定类型（即DerivedA，DerivedB等），因此您可以稍后将它们转发。

但首先你要接收数据（按任意顺序），但是使用字符串名称，所以你应该有一张地图：

std::map<std::string, Base* Container::*>

你必须已填充地图：

myMap["DerivedA"] = &Container::derivedAdata;
...

现在数据到了，你开始填充容器：

instance.*(myMap[key]) = factory(key, data);

myMap[key]选择容器的正确成员，factory(key,data)创建实例。

顺便说一下，你可以将地图作为容器：std::map<std::string, Base*>

Answer 8

关于原始问题，您可以使用指向函数的指针，而不是引入基类。

class Container {
public:
  void set(std::string const& label, std::string const& value);

  void setName(std::string const& value) { _name = value; }
  void setAge(std::string const& age) {
    _age = boost::lexical_cast<size_t>(age);
  }

private:
  std::string _name;
  size_t _age;
};

如何实施set呢？

// container.cpp
typedef void (Container::*SetterType)(std::string const&);
typedef std::map<std::string, SetterType> SettersMapType;

SettersMapType SettersMap =
  boost::assign::map_list_of("name", &Container::setName)
                            ("age", &Container::setAge);

void Container::set(std::string const& label, std::string const& value) {
  SettersMapType::const_iterator it = SettersMap.find(label);
  if (it == SettersMap.end()) { throw UnknownLabel(label); }

  SetterType setter = it->second;
  (this->*setter)(value);
}

Answer 9

struct Container {
   Derived data_; 
};  

int main(void) 
{
   Base Container::*ptr = &Container::data_;
}

第一个问题是Container没有名为ptr

的成员

Container container_object;
Base *ptr = container_object.data_;

会工作吗？请注意，需要有一个容器对象来创建data_成员，并且需要将其公开。

替代方法是将derived :: data_作为静态成员。

9 个答案: