c++ - 从 STL 容器继承并删除 `new` 运算符以防止由于缺少虚拟析构函数而导致未定义的行为是否有意义？

Question

论坛上有人告诉我，我在书上看过，还有其他的answers声明继承 STL 容器永远都不好，因为 STL 容器析构函数不是虚拟的(通过基类指针删除派生对象时的未定义行为)。

但是，C++11 标准现在允许在编译时使用成员函数说明符(如 delete)进行契约设计检查。我可以完全理解为什么继承一个目标是用一个或两个成员函数扩展的 STL 容器更好地替换为将成员函数编码为算法。尽管如此，我还是有这样一种情况，我将元素集合建模为一个概念，而元素本身是其他元素的容器。我需要实现访问子元素数据前向迭代器的双向迭代器(例如 Collection::sub_element_iterator)。在这种情况下，使用组合迫使我重新键入(改编)整个 std::vector 公共(public)接口(interface)，只是为了使用迭代器扩展这个新的 Collection。

如果我仍然使用继承并以下列方式阻止堆分配，在这种情况下是否可以？

这是一个小模型:

#include <vector>

class not_heap_allocable
{
    public: 
        void* operator new  (std::size_t count) = delete;
};

template
<
    typename Type,
    template <typename T> class Allocator = std::allocator
>
class extended_vector
:
    public std::vector<Type, Allocator<Type>>, 
    public not_heap_allocable
{
    public: 
        typedef std::vector<Type> BaseType; 

        using BaseType::BaseType; 
};

using namespace std;

int main(int argc, const char *argv[])
{

    vector<int>* vNew = new extended_vector<int> ({0,1,2,3,4,5});  // Compile time error. 

    return 0;
}

然后导致编译时错误:

main.cpp: In function ‘int main(int, const char**)’:
main.cpp:31:64: error: use of deleted function ‘static void* not_heap_allocable::operator new(std::size_t)’
     vector<int>* vNew = new extended_vector<int> ({0,1,2,3,4,5});  // Compile time error. 
                                                                ^
main.cpp:6:15: error: declared here
         void* operator new  (std::size_t count) = delete;

因此，extended_vector 不再指望人类不要滥用它。

Answer 1

与继承 protected 然后 using (公开)您的子类实际需要公开的基类成员相比，这种方法似乎更复杂并且可能不太清晰。这避免了以这种方式公开继承的所有问题，同时又不会通过探索新事物引入任何意想不到的问题。

编辑:我从 boost 找到了我要找的东西:这个 SO 问题 Writing an iterator that makes several containers look as one链接到 boost::join http://www.boost.org/doc/libs/1_46_1/libs/range/doc/html/range/reference/utilities/join.html这使您可以将多个范围合并为一个范围。