单指针与空参数列表的函数指针兼容性技术问询

1. 无警告编译是否符合C标准？ #

C标准允许旧式的空参数列表函数声明（包括函数指针），这种声明表示函数的参数数量和类型未指定（注意和void (*)(void)明确无参的声明本质不同）。编译器对于这种旧式语法的参数匹配检查通常会放宽，所以无警告编译是符合标准的——标准并未强制要求编译器对这种场景发出警告，但这并不代表代码逻辑是正确的。

2. 函数类型是否兼容？ #

不兼容。根据C标准，函数类型的兼容性需满足两个核心条件：

• 返回类型必须完全兼容；
• 参数列表要么是匹配的原型声明（参数数量、类型、顺序完全一致），要么都是旧式的空参数列表声明。

void (*functionPointer)() 属于旧式空参数列表指针，而void functionA()（若为明确无参的void functionA(void)）、void functionB(int*)的类型和它均不匹配：

• 明确无参的functionA类型，与“参数未指定”的空列表指针不兼容；
• 带明确参数的functionB，其参数列表与空列表指针的未指定参数类型也不兼容。

3. 是否属于定义行为？ #

仅当通过该指针调用函数时，传入的参数完全匹配函数的实际参数要求，才是定义行为；其余场景均为未定义行为：

• 若指针指向明确无参的functionA，调用时却传入参数，违反参数匹配要求，触发未定义行为；
• 若指针指向需要单指针参数的functionB，调用时不传参数，同样属于未定义行为。

C标准明确规定，通过不兼容的函数指针调用函数，或调用时参数与函数实际要求不匹配，结果完全不可预测——编译器可任意处理，包括程序崩溃、输出异常结果或看似正常运行。

4. 是否内存安全？ #

无法保证内存安全。未定义行为意味着程序行为不受标准约束：

• 调用无参函数却传入多余参数，可能破坏栈帧结构，导致栈溢出、覆盖局部变量或返回地址，引发程序崩溃甚至安全漏洞；
• 调用需要参数的函数却不传参数，函数会读取栈上的垃圾数据作为参数，可能触发非法内存访问（如读取无效指针），同样引发崩溃或异常行为。

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