关于[静态施法]的困惑/13

Question

我无法理解这句话（特别是粗体部分）：

类型“指向 cv1 void 的指针”的 prvalue 可以转换为类型为“指向 cv2 T”的 prvalue，其中 T 是对象类型，cv2 是与 cv1 相同的 cv 限定或大于 cv1 的 cv 限定。如果原始指针值表示内存中某个字节的地址 A，并且 A 不满足 T 的对齐要求，则生成的指针值未指定。

int i = 0;
void *vp = &i;
auto *res = static_cast<double*>(vp);

我的问题是:

>

res（int的地址）指向的地址是否满足 的对齐要求？

生成的指针 res 是否具有未指定的值？

当我有这样的东西时:< code>static_cast

Answer 1

res（整数地址）所指向的地址是否满足双精度的对齐要求？

这将取决于实施情况。很可能不会。通常< code>int的对齐要求小于< code>double的对齐要求。

例如，在Linux上使用的x86-64 System V ABI上，＜code＞int＜/code＞具有对齐要求＜code＞4＜/code＞，而＜code＞double＜/code>具有＜code＞8＜/code>。

您可以检查是否满足对齐要求，例如使用以下static_assert：

static_assert(alignof(int) >= alignof(double));

结果指针res是否有未指定的值？

如果没有满足对齐要求（即static_assert失败），是的。否则它将指向对象i。

当我有这样的东西时:static_cast

这与代码片段中显示的内容完全相同。

请注意，即使满足对齐要求，res也不能用于访问它指向的对象的值，因为这将违反指针混淆现象规则。所以转换的结果很可能对任何事情都没有用。