c++ - 将一些连续的数组单元读取为更大的类型是不是很麻烦？

Question

char foo[n] = /*init here*/;  // n = 4*k + 4.
int i = 0;
while (i < n) {                            
   int four_bytes = *reinterpret_cast<const int*>(foo + i); // is this UB?
   bar(four_bytes);
   i += 4; 
}

在这段代码中(假设所有数据都正确初始化，并且数组的长度是 4 的倍数)，这是 reinterpret_cast UB 吗？

C++14 有时是 C++11

Answer 1

对齐

当char foo[n]时是UB作为 int 没有充分对齐数组。

大小¹

当 0 < n < sizeof(int) , *reinterpret_cast<const int*>(foo + i);试图在外面引用 foo[] .

---

¹ 直到后来才看到“array's length is a multiple of 4”。然而这仍然适用于不寻常的平台，其中 sizeof int更大，比如 8。(例如，一些旧的图形处理)。 IOWs“数组的长度是 4 的倍数”未指定为与“数组的长度是 sizeof(int) 的倍数”相同