为何C语言中char*与void*需具备相同对象表示及对齐要求？

这个规定的核心是兼容K&R C时代没有函数原型的老旧代码，而非针对有标准原型的现代调用场景，具体可以从两个关键场景理解：

1. 无函数原型的库函数调用 #

在C89引入void*之前，K&R C中没有通用指针类型，char*被当作通用指针使用，memcpy、free这类库函数的实现是基于char*参数编写的，而且当时没有函数原型的概念——代码调用这些函数时，不会自动进行类型转换，参数会直接以实际类型的位模式传递给函数。

到了C89/C99时代，这些库函数的标准原型改成了使用void*（比如void *memcpy(void *s1, const void *s2, size_t n);），但大量老旧代码仍然保留着不声明函数原型就直接调用的写法：

• 比如老旧代码可能直接写memcpy(dst, src, len);，既不包含<string.h>，也不声明memcpy的原型。这时候编译器会按照K&R规则处理：参数会以实际类型传递，返回值默认当作int。
• 如果void*和char*的表示或对齐方式不同，那么当老旧代码传入char*参数时，函数实际收到的位模式和它期望的void*位模式不匹配，就会导致内存访问错误、数据拷贝异常等问题。

2. 返回值的兼容处理 #

K&R C中，memcpy这类函数的返回值是char*，而C89之后改成了void*。对于没有原型的老旧调用，编译器会将返回值默认视为int，如果void*和char*的表示不同（比如大小、位布局不一样），那么将这个“被当作int的返回值”转换回指针类型时，就会出现错误，导致程序行为异常。

总结 #

简单来说，这个规定是为了让那些没有使用函数原型、直接以char*作为通用指针调用库函数的K&R时代代码，在升级到支持void*的C89/C99编译器上仍然能正常运行——只要void*和char*的表示、对齐一致，这些老旧代码的参数传递和返回值处理就不会因为类型定义的变化而崩溃。

内容的提问来源于stack exchange，提问作者user24723440