c++ - Pointer-to- "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

指向数据成员的指针的典型实现只不过是成员从封闭对象的开头开始的字节偏移量。由于所有的成员(immediate 和 members of members)最终都是在内存中顺序布局的，所以 members 的成员也可以通过一个特定的偏移值来标识。这就是我所说的这个功能的内部工作原理已经完全实现的意思，所需要的只是初始化语法。

在 C 语言中，此功能由通过标准 offsetof 宏获得的显式偏移量模拟。在 C 中，我可以获得 offsetof(Outer, inner.i) 和 offsetof(Outer, j[2])。遗憾的是，此功能并未反射(reflect)在 C++ 数据成员指针中。