c++ - 指向 "inner struct"成员的指针是否被禁止？

Question

我有一个嵌套结构，我想要一个指向嵌套成员之一的成员指针:

合法吗？

struct InnerStruct
{
    bool c;
};
struct MyStruct {
    bool t;
    bool b;
    InnerStruct inner;
}; 

这个:

MyStruct mystruct;
//...
bool MyStruct::* toto = &MyStruct::b;

没问题，但是:

bool MyStruct::* toto = &MyStruct::inner.c;

不是。有什么想法吗？

谢谢

这里有一些细节 是的，它是 &MyStruct::b 而不是 mystruct::b; 该代码来自自定义 RTTI/Property 系统。 对于每个指定的类，我们保留一个“属性”数组，包括一个 Ptr-to-member 它是这样使用的:

//somewhere else in code...
( myBaseClassWithCustomRTTIPointer)->* toto = true;

Answer 1

是的，这是被禁止的。你不是第一个提出这个完全合乎逻辑的想法的人。在我看来，这是 C++ 中成员指针规范中明显的“错误”/“遗漏”之一，但显然委员会对进一步开发成员指针规范没有兴趣(因为大多数“低级”语言功能的情况)。

请注意，在语言中实现该功能所需的一切。指向成员数据成员的指针与指向直接数据成员的指针没有任何不同。唯一缺少的是初始化这样一个指针的语法。然而，委员会显然对引入这样的语法不感兴趣。

从纯形式逻辑的角度来看，这在 C++ 中应该是允许的

struct Inner {
  int i;
  int j[10];
};

struct Outer {
  int i;
  int j[10];
  Inner inner;
};

Outer o;
int Outer::*p;

p = &Outer::i; // OK
o.*p = 0; // sets `o.i` to 0

p = &Outer::inner.i; // ERROR, but should have been supported
o.*p = 0; // sets `o.inner.i` to 0

p = &Outer::j[0]; // ERROR, but should have been supported
o.*p = 0; // sets `o.j[0]` to 0
// This could have been used to implement something akin to "array type decay" 
// for member pointers

p = &Outer::j[3]; // ERROR, but should have been supported
o.*p = 0; // sets `o.j[3]` to 0

p = &Outer::inner.j[5]; // ERROR, but should have been supported
o.*p = 0; // sets `o.inner.j[5]` to 0

pointer-to-data-member 的典型实现只不过是成员从封闭对象开始的字节偏移量。由于所有成员(立即数和成员的成员)最终在内存中都是按顺序排列的，因此成员的成员也可以通过特定的偏移值来标识。这就是我说这个功能的内部工作已经完全实现的意思，所需要的只是初始化语法。

在 C 语言中，此功能由通过标准 offsetof 宏获得的显式偏移来模拟。在 C 语言中，我可以获得 offsetof(Outer, inner.i) 和 offsetof(Outer, j[2])。不幸的是，这种能力没有反射(reflect)在 C++ 指向数据成员的指针中。