cppcheck 空指针取消引用，但它实际上可以变成 null

Question

我有一个可以返回指向结构或 NULL 的指针的函数(解释 get_my_struct_from_[X] 函数返回可能性的示例):

struct my_struct *my_function(my_struct i) {
    if (i.value < 5) return i;
    else return NULL;
}

在主程序中，我多次调用此函数，然后检查该值是否为 NULL:

struct my_struct *q;
q = get_my_struct_from_A();
if (q == NULL) {
    // display an error message and exit
}

q = get_my_struct_from_B();
if (q == NULL) {
    // display an error message and exit
}

CppCheck 告诉我 if 语句是多余的或者可能存在空指针取消引用。

问题:

1. 为什么 CppCheck 给我这些消息？
2. 如何正确检查函数的返回值，以免收到此消息

编辑:

忘记提及 my_function 是两个 get 函数行为方式的示例。

get_my_struct_from_A 和 get_my_struct_from_B 的内部逻辑不同，但输出数据类型与 my_function 中显示的相同。我有很多调用并检查返回值的 get_my_struct_from_X 函数。因此，为每个 get 创建一个新的结构不是一个选择，我认为这不是一个好的选择，因为大量的变量用于相同的目的。

写入 q == null 或 !q 从 cppcheck 返回相同的消息，我认为这是正常的。

Answer 1

你的函数应该返回struct my_struct *，当i.value小于5时你返回什么？ struct my_struct。

此外，如果您像这样声明了函数，则应该传递一个您没有传递的参数。

struct my_struct *my_function(struct my_struct* i) {
    if (i->value < 5) return i;
    else return NULL;
}

你会这样调用它

struct my_struct a;
...
struct my_struct *q = my_function(&a);
if( !q ){
   // it returned NULL
}

<小时/>

如果您所展示的就是您所做的，那么就会出现问题/建议，总结如下。

• _P 从方法返回错误类型。

• _P 如果 get_my_struct_from_A 与原始代码中的 my_function 相同，那么您就没有传递应有的参数。

• _S 通过使用基于传递的结构返回 true 或 false 的函数，可以更轻松地完成这种小型检查。

  bool my_function(struct my_struct ms);