向接收非void指针的函数传递void指针是否安全可移植？

好问题！咱们分两部分来解答你的疑问：

1. 向接收非void指针的函数传递void指针是否安全？ #

在C语言标准中，void*类型的指针可以隐式转换为任何其他对象指针类型（这里特指指向数据的指针，不包含函数指针），这种转换是标准明确允许的，本身不存在安全性问题——但有个前提：你必须确保void*实际指向的类型，和目标函数参数要求的指针类型是匹配的，不然后续对指针的解引用操作会触发未定义行为。

2. 你的代码的安全性与可移植性分析 #

先贴出你的代码片段方便分析：

#include <stdio.h>
#include <stdlib.h>
int add(int *a, int *b) { return *a + *b; }
int main() {
    int x = 2;
    int y = 3;
    void *ptr1 = &x;
    void *ptr2 = &y;
    fprintf(stdout, "%d + %d = %d\n", x, y, add(ptr1, ptr2));
    return EXIT_SUCCESS;
}

安全性 #

这段代码是完全安全的：

• ptr1和ptr2本质是从int*转换而来的void*，传递给add函数时会被隐式转换回int*，类型完全匹配；
• add函数内部解引用*a和*b时，访问的是正确的int类型数据，不存在类型不匹配导致的内存访问错误或未定义行为。

可移植性 #

它的可移植性也非常可靠：

• 这种void*与其他对象指针的隐式转换是C89及之后所有C标准版本规定的行为，所有符合C标准的编译器（比如GCC、Clang、MSVC在C编译模式下）都会正确处理；
• 你用-Wall、-Werror、-Wextra编译无警告，也侧面证明代码符合编译器的严格检查标准，不会在不同平台出现兼容性问题。

唯一需要注意的是：如果后续你把指向非int类型的void*传递给add函数，那才会触发未定义行为——但当前代码的逻辑里完全不存在这个风险。

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