C++忘记返回值导致异常bug

问题

在C++函数实现时,定义一个函数如下:

bool MCUSerialImpl::InitDevInfo()
{
    _devInfo = std::make_shared<MCUInfo>();
    if(!_devInfo)
    {
        LOG_ERROR << "_mcuInfo is null";
        return false;
    }
    Wrapper::TryClearCache<std::string>(_version);
    ModelEnv modelEnv = DConfig::Instance().GetModelEnv();
    switch(modelEnv)
    {
        case ModelEnv::SV21Model:
            {
                _devInfo->_bizDevModel = BizDeviceModel::GD32E230;
                _devInfo->_deviceID = "GD32E230";
            }
            break;
        default:
            LOG_ERROR << "undefine model.";
            assert(false);
    }
    _devInfo->_version = GetMCUVersion();
    //return true;
}
//MCUSerialImpl.cpp:1473:1: warning: control may reach end of non-void function

由于忘记return,调用时出现一连串错误日志打印:

在这里插入图片描述
按照原本要走的case是case ModelEnv::SV21Model:但不知道为何走到default这里病狂打印信息,一秒钟几十条的那种,令人抓狂。虽然编译器也有warning,但是编译能通过,最后运行阶段出现深坑,这让人不得不提防warning的地方。

一、分析原因

参考函数调用的堆栈分析:

C函数调用过程原理及函数栈帧分析

在这里插入图片描述
ret的指令相当于pop+jum,那么没有return,将出现未定义。

参考此文档:https://blog.csdn.net/jmh1996/article/details/78384083

return 的返回值会存到eax寄存器中,如果没有return,那么eax的值可能是随机的,未定义的。

https://www.cnblogs.com/fzhe/archive/2012/12/13/return.html
在这里插入图片描述
参考此文档:https://blog.csdn.net/luoshabugui/article/details/121429487?spm=1001.2101.3001.6650.6&utm_medium=distribute.pc_relevant.none-task-blog-2%7Edefault%7EOPENSEARCH%7ERate-6.pc_relevant_default&depth_1-utm_source=distribute.pc_relevant.none-task-blog-2%7Edefault%7EOPENSEARCH%7ERate-6.pc_relevant_default&utm_relevant_index=9
在这里插入图片描述

以上显示结果:定义了返回值,缺少正常retrurn,将在运行时出现未定义的bug。

对应策略:应该在函数中预添加return;void或有返回值都可以预先添加,报错时再修改,以防万一。


版权声明:本文为yangzijiangtou原创文章,遵循CC 4.0 BY-SA版权协议,转载请附上原文出处链接和本声明。