含柔性数组成员（FAM）与非平凡析构函数的类触发“unknown array size in delete”错误的解决方案及零长度数组替代可行性咨询

咱们先把问题的根源说清楚：当你的类里有柔性数组成员（比如代码里的A a[];），同时类（或者数组元素）有非平凡析构函数时，默认的operator delete不知道该销毁多少个柔性数组的元素——毕竟柔性数组的大小是你手动在分配内存时追加的，编译器没法自动获取这个信息，所以就会抛出“unknown array size in delete”的错误。

解决方案 #

给你两个靠谱的处理方式：

• 自定义类的operator delete
  你可以自己实现类的operator delete重载，手动处理柔性数组元素的析构和内存释放。比如结合你的容器场景，假设你的类里有一个成员变量capacity记录柔性数组的元素数量：

  struct MyContainer {
    int i;
    size_t capacity; // 记录柔性数组的元素个数
    MyElement a[];
  
    // 自定义operator delete
    void operator delete(void* ptr) {
      MyContainer* self = static_cast<MyContainer*>(ptr);
      // 手动调用每个柔性数组元素的析构函数
      for (size_t idx = 0; idx < self->capacity; ++idx) {
        self->a[idx].~MyElement();
      }
      // 最后释放整块内存
      ::operator delete(ptr);
    }
  };
  

  之后你就可以正常用delete container;来销毁对象了。

• 手动析构+全局operator delete
  如果你不想自定义operator delete，也可以在销毁对象时，先手动调用类的析构函数，再直接调用全局的operator delete，绕过默认delete的数组大小检查：

  // 销毁容器对象时：
  container->~MyContainer();
  ::operator delete(container);
  

  这种方式同样需要你自己负责调用柔性数组元素的析构函数（如果元素有非平凡析构的话）。

零长度数组的可行性分析 #

首先得明确：C++标准并不支持零长度数组（A a[0];），这是GCC的专属扩展特性，用它替代柔性数组存在不少问题：

• 可移植性差：换用MSVC等不支持该扩展的编译器，代码直接编译失败。
• 潜在未定义行为：零长度数组在类中的大小被编译器视为0，但你实际分配内存时会在后面追加元素，这种依赖编译器实现的内存布局操作，属于标准未定义的行为，后续可能出现奇怪的内存问题。
• 析构问题依然存在：就算用了零长度数组，编译器也不会自动销毁你追加的那些元素——你还是得手动调用它们的析构函数，和柔性数组的处理逻辑完全一样，并没有省事儿。

针对你的动态容器场景的建议 #

更推荐你使用**柔性数组成员配合自定义operator delete（或手动析构）**的方案，这既符合C++标准，又能保证代码的可移植性和正确性，比依赖非标准的零长度数组靠谱得多。

备注：内容来源于stack exchange，提问作者Yubikiri773