C++如何实现自己的容器-C++-PHP中文网

不能直接继承 std::vector，因其析构函数非虚且标准容器未设计为基类；应采用组合方式封装 std::vector，并手动实现 operator[]、at()、迭代器及移动语义等关键接口。

c++如何实现自己的容器

为什么不能直接继承 `std::vector` 来实现自己的容器

因为 std::vector 的析构函数不是 virtual，继承它并用基类指针管理派生对象会导致未定义行为；更关键的是，标准容器不设计为被继承——它们没有保护接口、没有虚函数、也没有预留扩展点。强行继承会掩盖你真正要解决的问题：比如需要带范围检查、自动扩容策略调整、或附加元数据（如修改时间戳）。

正确做法是「组合」而非「继承」：std::vector 作为私有成员，只暴露你需要的接口，并在关键位置插入逻辑。

不要写 class MyVec : public std::vector<int></int>
改用 class MyVec { private: std::vector<int> data_; };</int>
所有 push_back、operator[] 等调用都转发给 data_，并在必要时加检查或日志

`operator[]` 和 `at()` 的行为差异必须自己实现

标准 std::vector::operator[] 不做越界检查（释放编译下），而 at() 会抛 std::out_of_range。如果你的容器要兼容这种语义，就得手动区分：

int& operator[](size_t i) {
    return data_[i]; // 信任调用者，不检查
}
int& at(size_t i) {
    if (i >= size()) throw std::out_of_range("MyVec::at");
    return data_[i];
}

别在 operator[] 里加检查——这会破坏性能预期，也违背惯例
at() 必须显式检查，且异常类型和消息尽量贴近标准库，方便用户迁移
如果目标平台禁用异常（如嵌入式），at() 可改为返回 std::optional<t></t> 或用断言 assert(i ，但需文档注明

迭代器怎么写才不被 STL 算法误判为原生指针

当你提供 begin() / end()，STL 会尝试推导迭代器类别（random_access_iterator_tag 等）。如果只返回 data_.begin()，编译器可能无法识别你的类型为合法迭代器——尤其当你要支持 std::sort 或 std::lower_bound 时。

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

最简可靠方案：复用 std::vector 的迭代器类型，但用 using 显式声明：

using iterator = typename std::vector<t>::iterator;
using const_iterator = typename std::vector<t>::const_iterator;
iterator begin() { return data_.begin(); }
const_iterator begin() const { return data_.begin(); }</t></t>