M1 Mac与Windows下C++ operator new调试断点差异问题

问题背景 #

测试两种开发环境后，仅M1 Mac的macOS环境出现断点失效：

• 正常触发：2015款MBP（Boot Camp Win10）+ VS2022/QtCreator；M1 MBA（Parallels Win11）+ VS2022
• 断点失效：M1 MBA（macOS Ventura）+ QtCreator/VS Code，使用LLVM/GCC编译器，LLDB调试器

测试代码中自定义了operator new并在计数行设置断点，执行string s = "bla"时，Windows环境能触发断点，而M1 macOS环境无法触发。

核心原因分析 #

1. 异常规范不匹配导致符号未替换 #

macOS使用的libc++标准库中，operator new的声明带有throw(std::bad_alloc)异常规范（构建输出的警告已明确提示：标准库声明在new:180行），而你自定义的operator new缺少该规范，属于不同函数签名。链接阶段编译器会认为这是两个独立函数，最终调用的仍是标准库版本，自定义代码未执行，断点自然不会触发。

2. 小字符串优化（SSO）的影响 #

M1 macOS上的libc++对std::string实现了激进的小字符串优化：短字符串（如"bla"）直接在栈内存中存储，不会调用operator new。而Windows的MSVC标准库SSO阈值不同，且调试模式下可能禁用了部分优化，因此会触发堆分配。不过这是次要原因，因为即使关闭SSO，异常规范不匹配仍会导致自定义函数不生效。

解决方案 #

修复operator new的异常规范 #

将自定义operator new的签名与libc++匹配，有两种兼容方式：

#include <iostream>
#include <new> // 引入std::bad_alloc
using namespace std;

static size_t s_AllocCount = 0;

// 方式1：兼容旧标准的throw声明
void* operator new(size_t size) throw(std::bad_alloc)
{
    s_AllocCount++; // 断点可正常触发
    cout << "Allocating " << size << " bytes" << endl;
    return malloc(size);
}

// 方式2：C++11及以后的noexcept(false)（等价于throw(std::bad_alloc)）
// void* operator new(size_t size) noexcept(false)
// {
//     s_AllocCount++;
//     cout << "Allocating " << size << " bytes" << endl;
//     return malloc(size);
// }

void print(const string& s)
{
    cout << s << endl;
}

int main()
{
    cout << "starting..." << endl;
    string s = "bla";
    print(s);
}

强制关闭小字符串优化（仅用于测试） #

若需验证SSO的影响，可在编译时添加宏定义：

• 针对LLVM/clang：添加编译参数-D_LIBCPP_DISABLE_STRING_SSO
• 针对GCC：添加编译参数-D_GLIBCXX_USE_CXX11_ABI=0

确保调试信息生成 #

CMake构建时需设置Debug模式，确保生成完整调试信息：

cmake -DCMAKE_BUILD_TYPE=Debug ..

补充说明 #

M系列Mac为ARM架构，GDB暂不支持该架构（brew安装提示需x86_64），LLDB是官方推荐的调试器，无需强行安装GDB。

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