如何在编译阶段避免std::string由nullptr构造？GCC优化无警告求更佳方案

问题背景 #

GCC优化器在检测到通过nullptr构造std::string时，不会输出任何警告信息。目前我找到一种临时解决办法：借助std::string实现中针对空指针构造触发的断言，通过带优化编译后查看汇编代码（搜索包含"basic_string: construction from null is not valid"字符串的__throw_logic_error调用）来定位问题，但这种方式效率较低，想了解更优的解决方案。

示例代码与编译方式 #

以下为非业务场景的示例代码：

#include <string>
void f()
{
    const char * a = nullptr;
    std::string s(a);
}

int main()
{
   f();
}

使用GCC 12编译的命令：

g++ -O1 -S -fverbose-asm -std=c++23 -Wall -o string.s string.cpp

编译生成的汇编输出：

.LC0:
        .string "basic_string: construction from null is not valid"
f():
        sub     rsp, 8
        mov     edi, OFFSET FLAT:.LC0
        call    std::__throw_logic_error(char const*)
main:
        sub     rsp, 8
        call    f()

更优解决方案 #

这里提供几种高效的替代方案：

• 静态分析工具检测：使用Clang-Tidy的bugprone-string-constructor检查器，它能直接在编译阶段识别出空指针构造std::string的问题，无需依赖汇编代码分析。
• 自定义安全构造函数：封装一个带空指针检查的字符串构造逻辑，通过编译警告或断言提前拦截问题：

  #include <string>
  #include <cassert>
  
  [[deprecated("禁止使用空指针构造std::string，请先检查指针有效性")]]
  std::string safe_string(const char* ptr) {
      assert(ptr != nullptr && "std::string构造参数不能为nullptr");
      return std::string(ptr);
  }
  

  使用时将原std::string构造调用替换为safe_string(a)，编译时会触发警告，调试阶段会直接断言失败。
• 启用GCC专属警告选项：添加-Wnonnull选项，该选项会针对标注__nonnull属性的函数检测空指针参数，部分GCC版本下可直接触发std::string空指针构造的警告。
• 调试模式下启用断言：编译时添加-D_GLIBCXX_DEBUG宏，这会让std::string在运行时直接触发空指针构造的断言，提前暴露问题，无需等到汇编分析。

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