为何MSVC在.c文件中允许任意类型指针隐式转换且无告警？

核心原因：C语言标准兼容性与默认警告策略 #

1. C语言的历史设计特性
   C标准允许非函数指针之间进行隐式转换（本质是通过void*作为中间转换类型），这是早期C语言为了灵活性做出的设计妥协——在没有泛型的年代，这种隐式转换能让代码更简洁地处理不同类型的内存操作。MSVC作为严格兼容C标准的编译器，默认会遵循这一规则，因此在.c文件中不会将跨类型指针赋值视为错误。

2. MSVC默认警告等级的限制
   MSVC针对C文件的默认警告等级（如/W3）不会触发指针类型不匹配的警告，因为这类转换符合C标准的允许范围。而C++语言从设计之初就强调强类型安全，禁止不同对象指针之间的隐式转换，所以.cpp文件中会直接触发编译错误。

如何主动触发这类检查？ #

你可以通过调整MSVC的编译选项来捕获这类风险：

• 将警告等级提升至/W4，此时编译器会触发C4047（指针间接级别不匹配）或C4024（函数参数类型不匹配）等警告，比如你写的fread参数顺序错误的问题，在/W4下会被检测到。
• 也可以单独启用特定警告选项，比如/Wconversion来强制检查类型转换风险。

你的崩溃代码分析 #

fread(f, 1, size, str); // crash! exchange f and str!

fread的标准参数顺序是void* ptr, size_t size, size_t count, FILE* stream，你把FILE*类型的f当成了缓冲区指针，char*类型的str当成了文件流指针：

• 在C模式下，因为指针可以隐式转换，编译器认为这是合法代码，不会给出警告；
• 在C++模式下，由于char*无法隐式转换为FILE*，编译器直接报错，阻止了错误代码进入运行阶段。

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