带虚成员的类使用Placement New仅栈缓冲区可用的原因及解决方法

一、链接错误原因 #

• 全局对象的虚析构触发特殊delete重载：当用全局静态缓冲区实例化带虚函数的类时，编译器会为全局/静态对象生成自动析构逻辑。由于类包含虚成员，析构函数会被处理为虚析构，程序退出时系统会尝试调用匹配的operator delete。avr-g++在处理这类场景时，会寻找带unsigned int参数的重载版本（operator delete(void*, unsigned int)），而你只实现了普通的placement delete（operator delete(void*)），因此出现未定义引用错误。
• 栈缓冲区无自动析构逻辑：栈上的对象由栈帧自动管理，程序退出时不会触发全局析构流程，编译器不会生成调用placement delete的代码，因此不会出现链接问题。

二、静态缓冲区的解决方法 #

1. 补全缺失的placement delete重载 #

直接实现编译器要求的带大小参数的delete版本，代码如下：

// 匹配avr-g++寻找的重载
void operator delete(void* ptr, unsigned int size) noexcept {
    // 静态缓冲区无需实际释放，参数仅用于匹配签名
    (void)ptr;
    (void)size;
}

// 保留普通placement delete以兼容其他场景
void operator delete(void* ptr) noexcept {
    (void)ptr;
}

2. 禁用全局对象的自动析构 #

如果不需要全局对象在程序退出时自动析构，可通过以下方式避免生成析构代码：

• 将静态缓冲区的对象实例化放在main函数内，手动控制生命周期，而非全局作用域。
• 用__attribute__((no_destroy))标记静态缓冲区，告诉编译器不生成自动析构代码：

alignas(Test) static uint8_t static_buf[sizeof(Test)] __attribute__((no_destroy));

int main() {
    Test* obj = new(static_buf) Test();
    // 如需销毁对象，手动调用析构函数
    // obj->~Test();
    return 0;
}

3. 强制编译器使用普通placement delete #

通过编译选项禁用带大小参数的内存释放重载，强制编译器使用你实现的普通版本：

# 在编译命令中添加该选项
-fno-sized-deallocation

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