这个问题肯定会让人紧张得喘不过气来，但事实上，没有理由避免从标准容器派生，或者“不必要地增加实体”。最简单、最短的表达是最清晰、最好的。

您确实需要对任何派生类型进行所有通常的注意，但对于来自标准的基类型的情况并没有什么特别之处。重写base成员函数可能很棘手，但对于任何非虚基来说都是不明智的，因此这里没有太多特别之处。如果要添加一个数据成员，如果该成员必须与基库的内容保持一致，则需要考虑切片问题，但这同样适用于任何基库。

The place where I have found deriving from a standard container particularly useful is to add a single constructor that does precisely the initialization needed, with no chance of confusion or hijacking by other constructors. (I'm looking at you, initialization_list constructors!) Then, you can freely use the resulting object, sliced -- pass it by reference to something expecting the base, move from it to an instance of the base, what have you. There are no edge cases to worry about, unless it would bother you to bind a template argument to the derived class.

在c++ 20中，这种技术将立即发挥作用的地方是预留。我们可能在哪里写过

  std::vector<T> names; names.reserve(1000);

我们可以说

  template<typename C> 
  struct reserve_in : C { 
    reserve_in(std::size_t n) { this->reserve(n); }
  };

然后，即使作为班级成员，

  . . .
  reserve_in<std::vector<T>> taken_names{1000};  // 1
  std::vector<T> given_names{reserve_in<std::vector<T>>{1000}}; // 2
  . . .

(根据首选项)，而不需要编写构造函数来调用reserve()。

(The reason that reserve_in, technically, needs to wait for C++20 is that prior Standards don't require the capacity of an empty vector to be preserved across moves. That is acknowledged as an oversight, and can reasonably be expected to be fixed as a defect in time for '20. We can also expect the fix to be, effectively, backdated to previous Standards, because all existing implementations actually do preserve capacity across moves; the Standards just haven't required it. The eager can safely jump the gun -- reserving is almost always just an optimization anyway.)

有些人会认为，reserve_in的情况最好由一个免费的函数模板来实现:

  template<typename C> 
  auto reserve_in(std::size_t n) { C c; c.reserve(n); return c; }

这样的替代方案当然是可行的——有时甚至会因为RVO而快得无限大。但是推导或自由函数的选择应该根据其本身的优点，而不是根据对从标准组件推导的毫无根据的迷信。在上面的例子中，只有第二种形式可以使用free函数;尽管在类上下文之外，它可以写得更简洁一点:

  auto given_names{reserve_in<std::vector<T>>(1000)}; // 2

是的，它是安全的，只要你小心不做不安全的事情……我想我从来没有见过有人用向量new，所以在实践中你可能没问题。然而，这并不是c++....中的常用习语

你能提供更多关于算法的信息吗?

有时你在设计上走了一条路，然后看不到你可能走的其他道路——你声称需要用10种新算法来做矢量，这一事实给我敲响了警钟——矢量真的可以实现10种通用算法吗?或者你试图做一个对象，它既是通用矢量，又包含特定的应用程序功能?

我当然不是说你不应该这样做，只是你所提供的信息敲响了警钟，这让我认为也许你的抽象是有问题的，有更好的方法来实现你想要的。

如果你遵循好的c++风格，缺少虚函数不是问题，而是切片(参见https://stackoverflow.com/a/14461532/877329)

为什么虚函数的缺失不是问题?因为函数不应该尝试删除它接收到的任何指针，因为它没有指针的所有权。因此，如果遵循严格的所有权策略，就不应该需要虚拟析构函数。例如，这总是错误的(有或没有虚析构函数):

void foo(SomeType* obj)
    {
    if(obj!=nullptr) //The function prototype only makes sense if parameter is optional
        {
        obj->doStuff();
        }
    delete obj;
    }

class SpecialSomeType:public SomeType
    {
    // whatever 
    };

int main()
    {
    SpecialSomeType obj;
    doStuff(&obj); //Will crash here. But caller does not know that
//  ...
    }

相反，这将始终工作(使用或不使用虚析构函数):

void foo(SomeType* obj)
    {
    if(obj!=nullptr) //The function prototype only makes sense if parameter is optional
        {
        obj->doStuff();
        }
    }

class SpecialSomeType:public SomeType
    {
    // whatever 
    };

int main()
    {
    SpecialSomeType obj;
    doStuff(&obj);
//  The correct destructor *will* be called here.
    }

如果该对象是由工厂创建的，工厂还应该返回一个指向工作删除器的指针，应该使用该指针而不是delete，因为工厂可能使用自己的堆。调用者可以以share_ptr或unique_ptr的形式获取它。简而言之，不要删除不是直接从new中获取的任何内容。

这个问题肯定会让人紧张得喘不过气来，但事实上，没有理由避免从标准容器派生，或者“不必要地增加实体”。最简单、最短的表达是最清晰、最好的。

您确实需要对任何派生类型进行所有通常的注意，但对于来自标准的基类型的情况并没有什么特别之处。重写base成员函数可能很棘手，但对于任何非虚基来说都是不明智的，因此这里没有太多特别之处。如果要添加一个数据成员，如果该成员必须与基库的内容保持一致，则需要考虑切片问题，但这同样适用于任何基库。

The place where I have found deriving from a standard container particularly useful is to add a single constructor that does precisely the initialization needed, with no chance of confusion or hijacking by other constructors. (I'm looking at you, initialization_list constructors!) Then, you can freely use the resulting object, sliced -- pass it by reference to something expecting the base, move from it to an instance of the base, what have you. There are no edge cases to worry about, unless it would bother you to bind a template argument to the derived class.

在c++ 20中，这种技术将立即发挥作用的地方是预留。我们可能在哪里写过

  std::vector<T> names; names.reserve(1000);

我们可以说

  template<typename C> 
  struct reserve_in : C { 
    reserve_in(std::size_t n) { this->reserve(n); }
  };

然后，即使作为班级成员，

  . . .
  reserve_in<std::vector<T>> taken_names{1000};  // 1
  std::vector<T> given_names{reserve_in<std::vector<T>>{1000}}; // 2
  . . .

(根据首选项)，而不需要编写构造函数来调用reserve()。

(The reason that reserve_in, technically, needs to wait for C++20 is that prior Standards don't require the capacity of an empty vector to be preserved across moves. That is acknowledged as an oversight, and can reasonably be expected to be fixed as a defect in time for '20. We can also expect the fix to be, effectively, backdated to previous Standards, because all existing implementations actually do preserve capacity across moves; the Standards just haven't required it. The eager can safely jump the gun -- reserving is almost always just an optimization anyway.)

有些人会认为，reserve_in的情况最好由一个免费的函数模板来实现:

  template<typename C> 
  auto reserve_in(std::size_t n) { C c; c.reserve(n); return c; }

这样的替代方案当然是可行的——有时甚至会因为RVO而快得无限大。但是推导或自由函数的选择应该根据其本身的优点，而不是根据对从标准组件推导的毫无根据的迷信。在上面的例子中，只有第二种形式可以使用free函数;尽管在类上下文之外，它可以写得更简洁一点:

  auto given_names{reserve_in<std::vector<T>>(1000)}; // 2

实际上，std::vector的公共继承并没有什么问题。如果你需要这个，就去做那个。

我建议只有在确实有必要的时候才这样做。只有当你不能用自由函数做你想做的事情时(例如，应该保持一些状态)。

问题是MyVector是一个新实体。这意味着一个新的c++开发人员在使用它之前应该知道它到底是什么。std::vector和MyVector之间的区别是什么?哪一个更适合在这里和那里使用?如果我需要移动std::vector到MyVector怎么办?我可以只用swap()吗?

不要仅仅为了让某些东西看起来更好而创造新的实体。这些实体(尤其是如此常见的实体)不会生活在真空中。它们将生活在熵不断增加的混合环境中。

整个STL被设计成算法和容器是分开的。

这就产生了不同类型迭代器的概念:const迭代器、随机访问迭代器等等。

因此，我建议你接受这个约定，并以这样的方式设计你的算法，即它们不会关心它们正在处理的容器是什么——它们只需要特定类型的迭代器来执行它们的操作。

另外，让我把你引向杰夫·阿特伍德的一些精彩评论。