好吧，这真的很难承认，但我确实有一个强烈的诱惑，从std::vector继承。
I need about 10 customized algorithms for vector and I want them to be directly members of the vector. But naturally I want also to have the rest of std::vector's interface. Well, my first idea, as a law-abiding citizen, was to have an std::vector member in MyVector class. But then I would have to manually reprovide all of the std::vector's interface. Too much to type. Next, I thought about private inheritance, so that instead of reproviding methods I would write a bunch of using std::vector::member's in the public section. This is tedious too actually.
在这里，我真的认为我可以简单地从std::vector公开继承，但在文档中提供了一个警告，该类不应该多态地使用。我认为大多数开发人员都有足够的能力来理解这无论如何都不应该多态地使用。
我的决定是绝对不合理的吗?如果有，为什么?你能提供一个替代方案，这将有额外的成员实际上成员，但不会涉及重新键入所有矢量的接口?我很怀疑，但如果你能做到，我会很开心的。
而且，除了有些白痴能写出这样的东西
std::vector<int>* p = new MyVector
使用MyVector还有其他现实的危险吗?通过说现实，我放弃了一些东西，比如想象一个函数，它接受一个指向向量的指针…
我已经陈述了我的观点。我有罪。现在就看你是否原谅我了:)
实际上:如果派生类中没有任何数据成员，就不会有任何问题，甚至在多态使用中也不会。只有在基类和派生类的大小不同和/或有虚函数(即v-table)时，才需要虚析构函数。
但在理论上:来自c++ 0x FCD中的[expr.delete]:在第一个替代方案(删除对象)中，如果要删除的对象的静态类型与其动态类型不同，则静态类型应是要删除的对象的动态类型的基类，并且静态类型应具有虚析构函数或行为未定义。
但是你可以从std::vector中私有地派生而没有问题。
我使用了以下模式:
class PointVector : private std::vector<PointType>
{
typedef std::vector<PointType> Vector;
...
using Vector::at;
using Vector::clear;
using Vector::iterator;
using Vector::const_iterator;
using Vector::begin;
using Vector::end;
using Vector::cbegin;
using Vector::cend;
using Vector::crbegin;
using Vector::crend;
using Vector::empty;
using Vector::size;
using Vector::reserve;
using Vector::operator[];
using Vector::assign;
using Vector::insert;
using Vector::erase;
using Vector::front;
using Vector::back;
using Vector::push_back;
using Vector::pop_back;
using Vector::resize;
...
如果你遵循好的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中获取的任何内容。
实际上:如果派生类中没有任何数据成员，就不会有任何问题，甚至在多态使用中也不会。只有在基类和派生类的大小不同和/或有虚函数(即v-table)时，才需要虚析构函数。
但在理论上:来自c++ 0x FCD中的[expr.delete]:在第一个替代方案(删除对象)中，如果要删除的对象的静态类型与其动态类型不同，则静态类型应是要删除的对象的动态类型的基类，并且静态类型应具有虚析构函数或行为未定义。
但是你可以从std::vector中私有地派生而没有问题。
我使用了以下模式:
class PointVector : private std::vector<PointType>
{
typedef std::vector<PointType> Vector;
...
using Vector::at;
using Vector::clear;
using Vector::iterator;
using Vector::const_iterator;
using Vector::begin;
using Vector::end;
using Vector::cbegin;
using Vector::cend;
using Vector::crbegin;
using Vector::crend;
using Vector::empty;
using Vector::size;
using Vector::reserve;
using Vector::operator[];
using Vector::assign;
using Vector::insert;
using Vector::erase;
using Vector::front;
using Vector::back;
using Vector::push_back;
using Vector::pop_back;
using Vector::resize;
...
