取消引用后C++空测试

C++ Null Test After Dereference

本文关键字：测试 C++ 引用 取消      更新时间：2023-10-16

我有以下 c++ 代码

*dtcStatus = DataDTC[idxDTC].status;
if (dtcStatus != NULL) {
return E_OK;
} else {
ALOGE("Dem_GetStatusOfDTC return NULL");
return E_NOT_OK;
}

我的静态分析工具报告上述代码的警告 取消引用后空测试

我的静态分析工具报告上述代码的警告 取消引用后的空测试

这是您通过指针间接(取消引用(的地方：

*dtcStatus = DataDTC[idxDTC].status;

这是测试空值的地方：

if (dtcStatus != NULL) {

如果仔细观察，您会注意到间接寻址在检查之前。如果程序将进入 else 分支，那么它必须通过空指针进行间接，因此程序的行为是未定义的。这就是该工具通知您此错误的原因。

任何克服的方法

您可以通过不这样做来克服"取消引用后测试 null"。换句话说，通过在间接寻址之前测试 null。只需交换这两行即可。

此行

*dtcStatus = DataDTC[idxDTC].status;

正在取消引用dtcStatus(通过*运算符(。只有当您绝对确定dtcStatus是有效的指针时，您才可以这样做，即指向某个实例，即不NULL。

现在，静态分析器尝试告诉您

  • 您绝对确定指针有效。在这种情况下，您不必检查它是否NULL在下一行。或。。。
  • 你不确定。在这种情况下，您应该在取消引用指针之前检查NULL。

编译器实际上是在告诉你出了什么问题

取消引用后的空测试

表示您正在尝试在取消引用变量后使用 NULL 测试变量。

您不应该取消引用变量以进行 NULL 检查：

if (DataDTC[idxDTC].status != NULL) {}

或者，如果您仍然想使用您的变量，您可以测试&dtcStatus.

删除开头的星号：

*dtcStatus = DataDTC[idxDTC].status;
相关文章：