Question

rel=“nofollow> 典型地表明点值如何通过投放而改变:

struct B1 { int x; };
struct B2 { int y; };
struct D  : B1, B2 { };

int main() {
   D d;
   cout << (B1*)&d << " " << (B2*)&d << " " << &d;
}

// Typical output:
// 0xbf814ab4 0xbf814ab8 0xbf814ab4

我想到的是,在<代码>B1无成员时,这种抵消可能不存在,因此我检查并。 (至少就本案而言;不确定标准如何保障这种行为):

struct B1 { };
struct B2 { };
struct D  : B1, B2 { };

int main() {
   D d;
   cout << (B1*)&d << " " << (B2*)&d << " " << &d;
}

// Typical output:
// 0xbf6ad95b 0xbf6ad95b 0xbf6ad95b

但是,sizeof(T)不能成为0,因此,<>>>>>>>>>>>>>>>><1>>。

它告诉我,如果一名方案管理员假设<代码>(char*)(B2*)&d-(char*)(B1*)&d=(ptrdiff_t)sizeof(B1)

我的分析是否准确?

Answer 1

<代码>B1和B2的物体为<代码>d的分项。 <sizeof的操作者提供了有关完整物体大小的信息,而不是分目标。

《标准》允许但并不要求一个基类,不留记忆。因此,关于另一个符合要求的执行情况,你可以在你的第二个例子中发现,次级目标在以后各有不同的地址。

1.8p5:除非它是一个禁区,否则,最衍生的物体应具有非零尺寸,并应当占有一个或多个贮存。基地级次目标可能有零规模。单微薄拷贝或标准传布的物体应持有毗连的储存。

1.8p6:除非物体为平地或基质类,其尺寸为零,该物体的地址是其占领的第一个星号。两个不同的物体,既非轨道领域,也不属于零大小的基类次目标,应具有不同的地址。

唯一一种“安全”的点算法是:

On pointers to elements of the same array
The guarantee that the address of a subobject y of complete object x is between &x inclusive and &x+1 exclusive.

减去2个<代码> 避免* 查询机不知情。您可能指的是<代码>reinterpret_cast<char*>或东西。 (另一个迹象是该法典非常危险)。)

5.7p4:为了这些操作者[集成<代码>+和-的目的,非通知物体的标识与一系列长度的第一部分的点子相同,其类型为标的类型。

5.7p6:如果对同一阵列的各个部分分两点,结果就是两个阵列各子的不同。 ...... 除非两点都提到同一阵列物体的要素,否则行为就没有界定。

友情链接