编译C++代码遇operator delete调用未分配对象警告的原因排查

你的代码触发了GCC的虚假警告，根源在于编译器在-O2优化下的内联逻辑错误判断了std::variant的存储释放行为。以下是具体原因及三种修改消除警告的解释：

核心原因 #

当std::variant<std::vector<int>, Bar>持有Bar实例时，变体的析构过程会尝试重置未被激活的vector<int>类型成员。在-O2的深度内联优化下，GCC错误地将变体的栈存储地址识别为vector的堆分配内存，进而触发-Wfree-nonheap-object警告——但实际上并未对未分配的内存执行释放操作。

三种修改消除警告的原因 #

• 将Bar::x改为std::string：
  修改Bar的成员类型会改变结构体的大小和内存布局，使得编译器在处理variant的存储管理时，内联路径发生变化，避开了触发虚假警告的代码分支判断。

• 将tmp改为std::variant<int, Bar>：
  int类型的析构函数不涉及内存释放操作，因此variant的重置逻辑中不会调用deallocate相关代码，自然不会触发该警告。

• 移除编译选项-O2：
  关闭优化后，编译器不会进行深度内联，各函数的调用边界清晰，编译器能正确识别vector的内存未被分配，不会误判释放行为。

该问题是GCC 12.x版本的已知虚假警告，升级到更高版本的GCC（如13+）通常可以解决此问题。

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