警告 C6031

2024-01-17 23:19| 来源: 网络整理| 查看: 265

警告 C6031 项目 10/16/2023

忽略返回值：“被调用函数”可能返回意外值

备注

警告 C6031 表明调用方不检查函数的返回值是否失败。根据调用的函数，此缺陷可能导致看似随机的程序错误行为。这包括错误情况或资源不足情况下的崩溃和数据损坏。

一般来说，如果对某些函数的调用会需要磁盘、网络、内存或其他资源，则不能放心地假设这些调用一定会成功。调用方应始终检查返回值并适当地处理错误情况。还要考虑使用 _Must_inspect_result_ 批注，以检查该值是否用一种有效的方式检查。

代码分析名称：RETVAL_IGNORED_FUNC_COULD_FAIL

示例

下面的代码生成警告 C6031：

#include void f( ) { fopen( "test.c", "r" ); // C4996, C6031 return value ignored // code ... }

要更正此警告，请检查函数的返回值，如以下代码所示：

#include void f( ) { FILE *stream; if ( (stream = fopen( "test.c", "r" )) == NULL ) return; // code ... }

以下代码使用安全函数 fopen_s 来更正此警告：

#include void f( ) { FILE *stream; errno_t err; if ( (err = fopen_s( &stream, "test.c", "r" )) !=0 ) { // code ... } }

如果调用方忽略使用 _Check_return_ 属性批注的函数的返回值，也会生成此警告，如下面的代码所示。

#include _Check_return_ bool func(); void test_f() { func(); // Warning C6031 }

要更正之前的警告，请检查返回值，如以下代码所示：

#include _Check_return_ bool func(); void test_f() { if ( func() ) { // code ... } }

如果需要忽略函数的返回值，请将返回值赋给 std::ignore。分配到 std::ignore 清楚地表明开发人员的意图并有助于将来的代码维护。

#include #include #include void f() { std::srand(static_cast(std::time(nullptr))); // set initial seed value to system clock std::ignore = std::rand(); // Discard the first result as the few random results are always small. // ... } 另请参阅

fopen_s、_wfopen_s 使用 SAL 注释减少代码缺陷

【本文地址】

公司简介

联系我们

今日新闻

推荐新闻

专题文章