刚才我回答了一个问题，突然想到了一个有趣的情境，但我不确定它的行为：
假设有一个大小为n的整数数组，由intPtr指向；
int* intPtr;
同时，让我也拥有一个像这样的结构：
typedef struct {
int val1;
int val2;
//and less or more integer declarations goes on like this(not any other type)
}intStruct;
我的问题是，如果我进行强制类型转换 intStruct* structPtr = (intStruct*) intPtr;
如果我遍历结构体的元素，我是否能确保每个元素都正确？在任何架构/编译器中，是否存在错位（由于填充可能导致）的可能性？
class A {
int a;
public:
int b;
} a;
class B {
int x;
public:
int y;
} b;
a.a;
b.x;
// ... somewhere else in memory entirely:
a.b;
b.y;
struct foo {
char a, b, c, d;
};
foo::b（例如）将要求CPU加载该字，然后将其向右移动8位，然后掩码以零扩展该字节以填充整个寄存器。int是32位，long是64位（它早于long long）。因此，使用四个int的结构体，您可以期望在元素之间看到另外32位的填充（在最后一个元素之后还有32位）。
考虑到您确实有一个POD结构体，您仍然有一些可能性。我可能更喜欢使用offsetof来获取结构体成员的偏移量，创建一个数组，并通过这些偏移量访问成员。我在之前的几个 答案中展示了如何做到这一点。
char必须为64位。 - ecatmur严格来说，这种指针转换是不允许的并会导致未定义的行为。
然而，这种转换的主要问题在于编译器可以在结构体内的任何位置添加任意数量的填充字节，除了第一个元素之前。因此，它是否起作用取决于特定系统的对齐要求，以及结构体填充是否启用。
int 的大小不一定与可寻址数据块的最佳大小相同，尽管这对大多数32位系统都是正确的。有些32位系统不关心不对齐，有些将允许不对齐但产生效率较低的代码，而有些必须对数据进行对齐。理论上，64位系统也可能想在 int（在那里为32位）之后添加填充以获得64位块，但实际上它们支持32位指令集。
如果你写代码依赖于这个转换，你应该添加像这样的内容：
static_assert (sizeof(intStruct) ==
sizeof(int) + sizeof(int));
void* 进行强制类型转换并不能使任何事情变得更好。在 C++ 中，有些情况下通过 void* 进行强制类型转换会使情况变得更糟，尽管这不是其中之一。 - Jan Hudec除了第一个元素之前的所有元素。 - Lundin如果元素类型是标准布局，那么它保证是合法的。注意：以下所有引用都来自c++11标准。
8.3.4 数组 [dcl.array]
1 - [...] 数组类型的对象包含一个类型为
T、大小为N的连续分配的非空子对象集。[...]
关于一个成员类型为T的struct，其具有N个成员,
14 - 一个非联合类的非静态数据成员，如果访问控制相同，则在类对象中后面的成员具有更高的地址。[...] 实现对齐要求可能导致两个相邻的成员不会立即相邻分配 [...]
20 - 指向标准布局结构体对象的指针，经过适当的reinterpret_cast转换，指向其初始成员 [...] 反之亦然。[注：因此，在标准布局结构体对象内部可能存在未命名的填充，但不会在其开头出现，这是为了实现适当的对齐。—结束语]
所以问题是struct内任何需要对齐的填充是否会导致其成员与彼此不相邻分配。答案是:
换句话说，一个包含至少两个相同（标准布局）类型的成员x、y的标准布局结构体a，如果不满足身份证明&a.y == &a.x + 1，则违反了1.8:4。请注意，对齐方式定义为（3.11对齐方式[basic.align]）给定对象可以分配的连续地址之间的字节数；因此，类型T的对齐方式不能大于T数组中相邻对象之间的距离，并且（由于5.3.3大小[expr.sizeof]指定n个元素的数组的大小为n乘以一个元素的大小），alignof(T)不能大于sizeof(T)。因此，相同类型结构体相邻元素之间的任何额外填充都不需要对齐，因此不符合9.2:14。1.8 C++对象模型 [intro.object]
4 - [...] 一个平凡可复制或标准布局类型的对象应占用连续的存储字节。
std::complex<T>的实例在成员位置方面应该表现得像标准布局类型，而不必满足所有标准布局类型的要求。这里的行为几乎肯定取决于编译器、体系结构和ABI。但是，如果您使用的是gcc，您可以利用__attribute__((packed))强制编译器将结构成员一个接一个地打包，而不需要任何填充。有了这个，内存布局应该与平坦数组的布局相匹配。
C结构体的典型对齐方式保证了结构体中的数据成员按顺序存储，这与C数组相同。因此，顺序不可能是一个问题。
至于对齐，由于您只有一种数据类型（int），尽管编译器有资格这样做，但没有必要添加填充以对齐数据成员。编译器可以在结构体开始之前添加填充，但不能在数据结构的开头添加填充。因此，如果编译器在您的情况下添加填充，则
而不是这样： [4字节int] [4字节int] [4字节int] ... [4字节int]
您的数据结构将被存储如下：
[4字节数据][4字节填充][4字节数据]... 这是不合理的。
总的来说，我认为在您的情况下，这个转换应该可以正常工作，尽管我认为使用它是不好的实践。
std::complex<>这个东西只存在于C++11中。 - AProgrammer