不能直接继承 std::vector，因其析构函数非虚且标准容器未设计为基类；应采用组合方式封装 std::vector，并手动实现 operator[]、at()、迭代器及移动语义等关键接口。
为什么不能直接继承 std::vector 来实现自己的容器
因为 std::vector 的析构函数不是 virtual，继承它并用基类指针管理派生对象会导致未定义行为；更关键的是，标准容器不设计为被继承——它们没有保护接口、没有虚函数、也没有预留扩展点。强行继承会掩盖你真正要解决的问题：比如需要带范围检查、自动扩容策略调整、或附加元数据（如修改时间戳）。
正确做法是「组合」而非「继承」：std::vector 作为私有成员，只暴露你需要的接口，并在关键位置插入逻辑。
- 不要写
class MyVec : public std::vector<int> - 改用
class MyVec { private: std::vector<int> data_; }; - 所有
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&>或用断言assert(i < size())，但需文档注明
迭代器怎么写才不被 STL 算法误判为原生指针
当你提供 begin() / end()，STL 会尝试推导迭代器类别（random_access_iterator_tag 等）。如果只返回 data_.begin()，编译器可能无法识别你的类型为合法迭代器——尤其当你要支持 std::sort 或 std::lower_bound 时。
立即学习“C++免费学习笔记（深入）”；
最简可靠方案：复用 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(); }- 不要自己手写迭代器类，除非你明确需要定制行为（如只读视图、延迟计算）
- 若必须自定义，务必特化
std::iterator_traits，否则std::distance等可能失效 - 确保
iterator和const_iterator满足可比较性：即it == other_it有意义且高效
移动语义和异常安全容易被忽略的细节
用户会默认你的容器支持 std::move，且移动后源对象处于有效但未指定状态。如果只靠编译器生成的移动构造函数，std::vector 成员会正确移动；但一旦你加了额外成员（比如一个 std::string name_），就必须显式定义移动操作，否则退化为拷贝。
- 用
= default前先确认所有成员都支持移动（基本类型、STL 容器、智能指针都 OK） - 如果容器内部有裸指针或 FILE* 等资源，移动构造中必须置空源对象的指针，否则析构时双重释放
- 所有非
noexcept的操作（如带异常检查的at()）不要出现在移动/析构路径中——移动构造函数应标记为noexcept
最常漏掉的一点：自定义容器的 swap 函数没声明为 noexcept，导致 std::vector<MyVec> 在扩容时不敢使用移动，转而降级为拷贝——性能骤降且可能意外抛异常。
