gcc 12.2+boost 1.80.0项目出现异常maybe-uninitialized警告求助

迁移内部项目到GCC 12.2和Boost 1.80.0环境时，触发了maybe-uninitialized警告，报错栈关联到Boost头文件，但实际问题出在标准库的std_function.h中，具体错误信息如下：

13:03:40  从/usr/local/include/c++/12.2.0/functional:59包含进来，
13:03:40                   来自/docker-context/libs/boost-1.80.0/boost/numeric/conversion/converter_policies.hpp:13,
13:03:40                   来自/docker-context/libs/boost-1.80.0/boost/numeric/conversion/converter.hpp:14,
13:03:40                   来自/docker-context/libs/boost-1.80.0/boost/numeric/conversion/cast.hpp:33,
13:03:40                   来自/docker-context/libs/boost-1.80.0/boost/lexical_cast/detail/converter_numeric.hpp:36,
13:03:40                   来自/docker-context/libs/boost-1.80.0/boost/lexical_cast/try_lexical_convert.hpp:43,
13:03:40                   来自/docker-context/libs/boost-1.80.0/boost/lexical_cast.hpp:32,
13:03:40                   来自/workspace/workspace/<内部项目路径0>.h:13,
13:03:40                   来自/workspace/workspace/<内部项目路径1>.h:9,
13:03:40                   来自/workspace/workspace/<内部项目路径2>.h:3,
13:03:40                   来自/workspace/workspace/<内部项目路径3>.cpp:1:
13:03:40  在构造函数‘std::function<_Res(_ArgTypes ...)>::function(std::function<_Res(_ArgTypes ...)>&&) [with _Res = bool; _ArgTypes = {char}]’中，
13:03:40      从‘std::__detail::_State<_Char_type>::_State(std::__detail::_State<_Char_type>&&) [with _Char_type = char]’内联展开于/usr/local/include/c++/12.2.0/bits/regex_automaton.h:149:4,
13:03:40      从‘std::__detail::_State<_Char_type>::_State(std::__detail::_State<_Char_type>&&) [with _Char_type = char]’内联展开于/usr/local/include/c++/12.2.0/bits/regex_automaton.h:146:7,
13:03:40      从‘std::__detail::_StateIdT std::__detail::_NFA<_TraitsT>::_M_insert_subexpr_end() [with _TraitsT = std::__cxx11::regex_traits<char>]’内联展开于/usr/local/include/c++/12.2.0/bits/regex_automaton.h:290:24:
13:03:40  /usr/local/include/c++/12.2.0/bits/std_function.h:405:42: 错误：‘*(std::function<bool(char)>*)((char*)&__tmp + offsetof(std::__detail::_StateT, std::__detail::_State<char>::<匿名>.std::__detail::_State_base::<匿名>)).std::function<bool(char)>::_M_invoker’可能被未初始化使用 [-Werror=maybe-uninitialized]
13:03:40    405 |       : _Function_base(), _M_invoker(__x._M_invoker)
13:03:40        |   

解决方法 #

• 针对性关闭警告
  这大概率是GCC的误判（std::function的移动构造本身是安全的），可以仅对触发警告的代码或文件关闭该警告：

  • 编译单个文件时添加参数：

    g++ -c <内部项目路径3>.cpp -Wno-maybe-uninitialized 其他编译参数
    

  • 代码中用编译指令包裹相关头文件：

    #pragma GCC diagnostic push
    #pragma GCC diagnostic ignored "-Wmaybe-uninitialized"
    #include <boost/lexical_cast.hpp>
    #pragma GCC diagnostic pop
    

• 升级Boost版本
  该问题属于版本兼容性问题，Boost 1.80.0与GCC 12.2的适配存在瑕疵，升级到Boost 1.81.0及以上版本通常能解决这类问题。

• 调整编译器优化级别
  高优化级别（如-O2、-O3）会让GCC的未初始化检查更严格，尝试降低到-O1，或添加-fno-delete-null-pointer-checks参数，可避免编译器误判。

• 排查代码使用方式
  虽然报错指向标准库，也可能是你代码中使用Boost的方式间接触发问题，比如在未初始化的对象上调用boost::lexical_cast，检查相关代码路径，确保变量都已正确初始化。

内容的提问来源于stack exchange，提问作者Jonathan