如何解决Visual Studio 2022中调用fwrite时的C6387警告？

问题详情 #

在Visual Studio 2022中调用fwrite时触发C6387警告，提示内容为：

C6387:'fout' could be '0': this does not adhere to the specification for the function 'fwrite'

用户的相关代码如下：

float* fin;
FILE* fpOut = fopen("test.pcm", "wb");
int out_len = 100;
fout = malloc(256 * sizeof(float));

//... some code...

fwrite(fout, sizeof(float), out_len, fpOut); // Visual Studio标记此行并弹出上述警告

用户疑问：是否属于不安全使用fwrite？该如何消除这个警告？用户已尝试对fout强制类型转换、更换参数类型、用calloc替代malloc，但警告仍未消除，推测问题与fout的取值有关。

原因分析与解决方法 #

原因 #

C6387警告的本质是静态代码分析工具检测到fout可能为NULL（malloc在内存分配失败时会返回NULL），而fwrite的规范要求第一个参数（待写入的缓冲区指针）不能为NULL，否则会触发未定义行为，确实属于不安全的使用方式。

解决步骤 #

1. 检查malloc的返回值：在使用fout之前，必须判断malloc是否成功分配内存，避免NULL指针传入fwrite：

   fout = malloc(256 * sizeof(float));
   if (fout == NULL) {
       // 处理内存分配失败的情况，比如打印错误信息、清理资源后退出
       fprintf(stderr, "内存分配失败\n");
       fclose(fpOut); // 如果fpOut已成功打开，记得关闭
       return 1;
   }
   

2. 额外检查文件指针fpOut：同样，fopen也可能失败返回NULL，如果直接传入fwrite同样会触发未定义行为，建议一并检查：

   FILE* fpOut = fopen("test.pcm", "wb");
   if (fpOut == NULL) {
       fprintf(stderr, "无法打开输出文件\n");
       return 1;
   }
   

3. 优化代码逻辑：确保在所有执行路径中，fout和fpOut都不会以NULL状态传入fwrite，静态代码分析工具确认后就会消除警告。

为什么之前的尝试没用？ #

• 强制类型转换、更换参数类型：这些操作并没有改变fout可能为NULL的事实，静态分析依然能检测到风险。
• 用calloc替代malloc：calloc同样会在分配失败时返回NULL，只要没做返回值检查，警告就会存在。

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