为何可将多级指针传入单指针参数？C语言转换规则与标准疑问

你观察到的这个多级指针隐式转void*的现象，确实是C语言标准允许的行为，咱们从标准规定、底层逻辑到实际踩坑点一步步理清楚：

1. C标准的核心规定 #

C11标准的6.3.2.3条款对指针转换有明确说明，咱们直接看关键内容：

• 指向任何对象类型的指针都可以转换为void*类型，并且转换回原类型时，指针值会完全保留。
• void*类型的指针也可以转换为指向任何对象类型的指针，结果是未定义行为，除非原指针就是从该对象类型转换而来的。

这里的关键是**“对象类型”的定义**：C标准里的对象类型包含所有非函数类型——也就是说，不管是int*、char**还是void****这类多级指针，本质上都是指向某个对象的指针，属于“指向对象类型的指针”范畴，因此都符合转换为void*的条件。

2. 为什么你的示例代码能正常编译？ #

拿你给出的例子来说：

void func(void *p) {} 
void **p; 
func(p); // 隐式转换为void*，合法

p是void**类型，它指向的是一个void*类型的变量（这是一个明确的对象），所以完全符合标准里“指向对象类型的指针”要求，编译器会自动完成隐式转换，不需要你手动写强制转换。

同样，void****dst和*********src都是多级对象指针，传给要求void*参数的memcpy时，编译器也会自动做隐式转换——因为memcpy只关心内存块的起始地址，不管这个地址指向的是普通变量还是指针变量。

3. 这种转换的注意事项（别踩坑！） #

• 转换回去必须匹配原类型：如果你把一个void**转成void*后，再试图转成int*，结果是未定义行为——因为类型不匹配，可能导致指针乱指或者程序崩溃。只有转回到原本的void**类型才是安全的。
• 别混淆逻辑意图：如果你的函数func原本是要接收一个void*指针（比如用来指向一块内存），但你传入void**的话，虽然编译通过，但实际传递的是“指针的地址”，逻辑上可能完全不符合函数的设计意图，容易出bug。
• 极端系统的指针宽度问题：绝大多数现代系统中，所有指针类型的宽度都是一样的（比如64位系统都是8字节），所以转换不会丢数据。但C标准并没有强制要求所有指针宽度相同，只是规定void*和指向对象类型的指针宽度一致。如果遇到某些特殊嵌入式系统，可能存在不同指针宽度不同的情况，这时候转换就会出问题——不过这种场景非常罕见。

4. 额外提醒：函数指针不能这么转 #

要注意区分对象指针和函数指针：C标准明确规定，函数指针和void*之间不能隐式转换，甚至强制转换的行为也是未定义的（除非系统有特殊扩展）。这和多级对象指针的转换规则完全不同，别搞混了。

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