void * 和 char * 之间的兼容性

Question

void 和 char 指针是否保证具有相同的 memory 表示形式？

换句话说，执行以下操作后：

char a = 'z';
void *b = &a;
char *c;

memcpy(&c, &b, sizeof(b));

我可以确定*c == 'z' （没有未定义的行为等）吗？

Answer 1

是的，根据C99 标准 (ISO/IEC 9899)第 §6.2.5 节第 27 点：

指向void的指针应具有与指向字符类型的指针相同的表示和 alignment 要求。 ³⁹⁾

^{39) 相同的表示和 alignment 要求意味着暗示与 arguments 对函数、函数返回值和联合成员的可互换性。}