c++ - 为什么 `boost::multi_array_ref` 的析构函数是非虚拟的？

Question

const_multi_array_ref、multi_array_ref和multi_array之间的关系如下:

• multi_array_ref 派生自 const_multi_array_ref
• multi_array 派生自 multi_arry_ref

但是，const_multi_array_ref 和 multi_array_ref 的析构函数是非虚拟的。事实上，它们没有明确实现的析构函数。只有 multi_array 有一个。这是否意味着不推荐以下用法？

multi_array_ref<float, 2> * = new multi_array<float, 2>(extents[3][3]);

如果是，为什么？

Answer 1

multi_array 库类不是为动态多态性设计的。它们没有任何虚函数，所以将析构函数也设为虚函数看起来也不合理。这是常见的类似STL的设计，multi_array_ref只是作为数据拥有和非拥有情况下的统一接口(interface)适配器。

强烈不推荐您的使用示例 - 它会导致内存泄漏，因为 multi_array 析构函数不会在 delete 调用时执行。

但通过引用或指向 multi_array_ref 的指针访问 multi_array 实例是安全的。