C++非分配operator new缓冲区不足时的行为及检测问题

你调用的是定位new（placement new），也就是C++标准提供的非分配版operator new，这种场景下的行为是明确的：

C++标准规定，非分配版operator new的作用仅为将传入的缓冲区地址作为返回值，随后在该地址上构造目标类型对象，不会执行任何缓冲区长度、对齐合法性检查，且默认实现是noexcept的，不会抛出任何异常。

你编写的代码属于未定义行为，本身是不合法的：你分配的1字节缓冲区远小于int类型所需的内存大小（主流平台下int占4字节），后续构造int对象和赋值操作都会发生越界内存写入。未定义行为的表现是不可预测的，你没有遇到崩溃或异常只是巧合，可能是因为堆分配的内存本身有对齐预留，或者越界写入的地址暂时没有被其他逻辑占用，不代表代码是正确的。

你编写的catch块无法捕获该错误，是因为整个流程中根本没有异常被抛出，越界访问属于运行期内存破坏，不属于C++标准规定的需要抛出异常的场景。

• 编译期规避

  1. 分配缓冲区时直接使用目标类型的尺寸计算：你示例中malloc的参数应该写为sizeof(int)而非sizeof(char)，避免手动写错尺寸。
  2. 如果使用栈上固定大小的数组作为缓冲区，可以通过静态断言做编译期校验：

     char buffer[16];
     static_assert(sizeof(buffer) >= sizeof(int) && alignof(buffer) >= alignof(int), "缓冲区尺寸或对齐不满足要求");
     

  3. C++20及以上版本优先使用std::construct_at替代原生placement new，语法更清晰，减少参数写错的概率。

• 运行期检测

  1. 编译时开启地址消毒工具：GCC/Clang下添加编译参数-fsanitize=address -g，MSVC下开启AddressSanitizer选项，编译后运行程序会直接捕获到堆缓冲区溢出错误并给出详细的调用栈。
  2. 使用内存检测工具：Linux下可以用Valgrind运行程序，也能精准定位到越界访问的位置。

• 编码规范补充
  注意placement new构造的对象需要手动调用析构函数，再释放缓冲区，对于有非平凡析构函数的类型这一步是必须的，示例的正确写法如下：

  try
  {
      char* buffer = (char*)malloc(sizeof(int)); // 按int大小分配
      if (!buffer) throw std::bad_alloc(); // malloc失败需要自行处理
      int* bytes = new(buffer) int();
      *bytes = 10;
      std::cout << *bytes;
      bytes->~int(); // 手动调用析构函数
      free(buffer);
  }
  catch(const std::exception& e)
  {
      std::cerr << e.what() << '\n';
  }
  

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