c++ - cppcheck空指针取消引用:m_buffer-否则将其针对空检查是多余的

该代码正常工作，但是当我在cppcheck上对其进行检查时，我发现了空指针dereferenc错误，我无法理解如何解决。任何想法将不胜感激

这是我收到错误的代码部分

#ifdef DEBUG_LEVEL_MID
    std::clog << "STARTING FUNCTION int ConfigurationType::ExecuteMessageType()" << std::endl;
    std::clog << "message with code : " << message_to_execute->code << "will be tried o executed" << std::endl;
    #endif

    if(!message_to_execute)
    {
        #ifdef DEBUG_LEVEL_ERROR
        std::cerr << "message_to_execute is null at: int ConfigurationType::ExecuteMessageType()" << std::endl;
        #endif
        #ifdef DEBUG_LEVEL_MID
        std::clog << "message_to_execute is NULL at int ConfigurationType::ExecuteMessageType()" << std::endl;
        std::clog << "ENDING FUNCTION (0): int ConfigurationType::ExecuteMessageType()" << std::endl;
        #endif
        return 0;
    }

错误是:可能的空指针取消引用:message_to_execute-否则将其检查为null是多余的。

最佳答案

您在此处取消引用message_to_execute:std::clog << "message with code : " << message_to_execute->code。

这意味着以后ojit_code是多余的，因为不允许您取消引用空指针，因此允许编译器假定if (!message_to_execute)不为null，然后删除测试。

关于c++ - cppcheck空指针取消引用:m_buffer-否则将其针对空检查是多余的，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/29748171/