我可以编写指向成员的指针吗答案

【问题标题】：Can I compose pointers to member我可以编写指向成员的指针吗
【发布时间】：2014-02-19 23:22:14
【问题描述】：

我想编写成员指针。基本上我有一个不同成员的主类。如何为指向该类成员的成员的主类创建成员指针。我希望下面的代码能解释我想要做什么：

  struct SubUnit
  {
    int   value;
  };
  struct Unit
  {
    SubUnit sub_unit;
  };

  void Test()
  {
    SubUnit Unit::* ptr1 = &Unit::sub_unit; // WORKING
    int Unit::* ptr2 = &Unit::sub_unit::value; // NOT WORKING !
  }

【问题讨论】：

::value 是一个 int，但您将其分配给指向成员的指针？
你必须创建一个 Unit 对象才能指向某些东西......好吧，没关系。
@JohnnyMopp 不一定。
不，至少不是那样。 value 是 SubUnit 的成员，而不是 Unit。
我想知道你想要达到什么目的。将指向成员的指针视为从类的“开始”到成员的偏移量。此外，您在那里没有“子类”。它只是一个成员对象。

标签： c++ composition member-pointers

【解决方案1】：

可以使用 lambda 构建解决方法：

    struct SubUnit
    {
        int   value;
    };
    struct Unit
    {
        SubUnit sub_unit;
    };

    void Test()
    {
        auto  composed_mem_ptr = [](Unit & unit) -> int&{ return  unit.sub_unit.value; };
        Unit  unit0{};
        composed_mem_ptr(unit0) = 7;
    }

【讨论】：

【解决方案2】：

这似乎是这个问题的重复：
Nested data member pointer - not possible?

接受答案的关键是：

指向成员的指针只能由 &qualified_id 类型的表达式构成，这不是你的情况

C++ 标准在第 8.3.3 段中说：
指向成员的指针：

在声明 T D 中，其中 D 的形式为

  nested-name-specifier * attribute-specifier-seqopt cv-qualifier-seqopt D1

并且nested-name-specifier表示一个类，声明T D1中标识符的类型是 “derived-declarator-type-list T”，则 D 的标识符类型为“derived-declarator-type-list cv qualifier-seq 指向类型 T 的类嵌套名称说明符成员的指针”。可选的属性说明符序列（7.6.1）属于指向成员的指针。

事实证明，有一种方法可以做你想做的事，这似乎适用于我当前的编译器（apple llvm 5.0）。但是，它非常依赖于实现，我绝对建议不要在任何类型的生产代码中使用此解决方案：

//added a few data members to make it non-trivial
struct SubUnit {
    double d;
    int   value;
};
struct Unit {
    bool b;
    char c;
    SubUnit sub_unit;
};

intptr_t suOffset = offsetof(Unit, sub_unit);
intptr_t intOffset = offsetof(SubUnit, value);
intptr_t totalOffset = suOffset + intOffset;

// there is no way to convert this offset directly in a
// pointer-to-member AFAIK, so we have to trick a bit
int Unit::* pui = nullptr;
auto puiAddr = &pui;
intptr_t* puiAddrAsIntPtrPtr = reinterpret_cast<intptr_t*>(puiAddr);
*puiAddrAsIntPtrPtr = totalOffset;

//pui should now "point to the right offset"
//let's test it
Unit u;
u.sub_unit.value = 123456;

int val = u .* pui;
std::cout << "val: " << val << std::endl;

【讨论】：

嗯，这可能是正确的做法......除了在技术上，在某些情况下，它实际上是可能的;)

【解决方案3】：

看来您必须分两个阶段进行：

SubUnit Unit::*pSub = &Unit::sub_unit;
int SubUnit::*pValue = &SubUnit::value;

Unit u;
int theVal = (u.*pSub).*pValue;

【讨论】：

+1 无需怀疑，as you are correct. 老实说，我认为这值得从 OP 中获得更好的外观。
@WhozCraig 感谢您所做的所有辛勤工作:-)。我将从我的答案中消除不确定性。
不，谢谢你。我从来没有找到使用数据成员的机会，因为我唯一需要的是成员函数。很有教育意义。
是的，但你不能将它传递给一个需要'int SubUnit::*'作为输入的函数......
@jules 不能将 what 传递给函数？最终，它们是指向成员的指针。在每个阶段，您都需要一些东西来与这些成员（即对象）一起使用。也许用一个具体的例子来更新你的问题，说明你所说的这 not 解决了什么问题。可以想象，你最终想要的根本不可能。

【解决方案4】：

这里子类的使用比较混乱，因为一般子类是用来继承的，所以我们来说说一个数据成员：sub_unit是Unit的数据成员.

而您所要求的是不可能的，Unit::* 只能表示 Unit 本身或其基类之一中的偏移量：

struct SubUnit { int value; };

struct Unit: SubUnit {};

int main() { int Unit::* p = &Unit::value; }

【讨论】：

对不起，如果问题不清楚，但在我的情况下，我宁愿使用组合而不是继承。
@jules：问题很清楚，答案也很清楚：不可能（顺便说一句，你更喜欢组合而不是继承是对的）。
更好的是，我们称它为（数据）成员，因为这是标准术语。