为何无法继承vector<>并重写at()或operator[]实现自动扩容？

继承std::vector来实现自动扩容的operator[]或at()，核心障碍并非“无虚方法”这么简单，而是std::vector的设计定位和你需要处理的细节复杂度：

1. 基类无虚析构函数的致命风险 #

std::vector没有虚析构函数，这意味着如果代码中出现std::vector<int>* ptr = new MYvector<int>;这种写法，后续delete ptr会调用std::vector的析构函数而非MYvector的，直接导致未定义行为。除非你能100%保证永远不会用基类指针/引用指向派生类对象，但实际项目中很难完全规避这种场景。

2. 无法真正覆盖基类的operator[]/at() #

std::vector的operator[]和at()都是非虚函数，你无法通过重写来覆盖基类的实现。如果用户通过std::vector<int>& ref = my_vector;这种方式调用operator[]，会直接触发std::vector的原生逻辑，你的自动扩容代码完全不会生效，导致行为不一致的隐蔽bug。

3. 需要适配的内容远不止两个方法 #

哪怕你只需要修改operator[]和at()，也必须处理大量配套细节：

• 构造/赋值逻辑：std::vector有数十个构造函数、赋值运算符，你需要全部转发或重新实现，否则MYvector的初始化、赋值会出现异常。
• 容器修改接口：push_back、emplace_back、resize等方法的行为需要和你的自动扩容逻辑兼容，避免出现冲突。
• 迭代器与非成员函数：std::vector的迭代器是原生指针或等价类型，你需要确保MYvector返回的迭代器行为符合预期；同时像std::swap、std::begin这类非成员函数，需要为MYvector重载，否则会直接操作底层的std::vector，绕过你的逻辑。

更靠谱的替代方案：组合而非继承 #

相比继承，用组合的方式实现自定义容器更安全、可控：内部封装std::vector，自己实现需要的接口，完全避开继承的坑。示例代码（C++17）：

#include <vector>
#include <utility>

template<typename T>
class MYvector {
private:
    std::vector<T> inner_vec;

public:
    // 转发std::vector的所有构造函数
    template<typename... Args>
    MYvector(Args&&... args) : inner_vec(std::forward<Args>(args)...) {}

    // 自动扩容的operator[]
    T& operator[](size_t idx) {
        if (idx >= inner_vec.size()) {
            inner_vec.resize(idx + 1);
        }
        return inner_vec[idx];
    }

    // const版本可选：要么抛异常（和std::vector一致），要么扩容（需修改const属性）
    const T& operator[](size_t idx) const {
        return inner_vec.at(idx);
    }

    // 按需转发其他需要的成员函数
    void push_back(const T& val) { inner_vec.push_back(val); }
    void push_back(T&& val) { inner_vec.push_back(std::move(val)); }
    size_t size() const { return inner_vec.size(); }
    bool empty() const { return inner_vec.empty(); }
};

这种方式虽然需要手写一些转发代码，但所有行为都在你的控制之下，不会出现基类指针的风险，维护成本远低于继承。

版本兼容说明 #

• C++11及以后：完美转发特性让构造函数的转发变得简单，无需手动编写所有构造函数重载。
• C++20：可以结合std::span实现更灵活的视图，但组合方式依然是最直接的选择。
• 更早版本（C++03）：需要手动编写所有构造函数、赋值运算符的重载，代码量会显著增加，但逻辑核心不变。

关于继承的妥协方案（不推荐） #

如果坚持要继承std::vector，必须严格遵守以下规则：

1. 永远不要用std::vector的指针/引用指向MYvector对象；
2. 确保所有对MYvector的调用都是直接通过派生类对象进行；
3. 手动转发所有构造函数、赋值运算符。

但这种方式的维护风险极高，一旦出现疏漏就会导致隐蔽bug，不建议在生产代码中使用。

内容的提问来源于stack exchange，提问作者Swiss Frank