vector.empty() 是最直接、最安全的判空方式
别用 size() == 0 或 begin() == end() 替代 —— 虽然它们逻辑等价，但 empty() 是明确表达“是否为空”意图的接口，且对所有标准容器都是常量时间复杂度，编译器也更容易优化。
它返回 bool，不抛异常，不修改容器，线程安全（仅读操作）。
-
empty()在 C++98 就已存在，所有合规编译器都支持 - 即使 vector 是 const 对象，也能调用
empty() - 比
size()更轻量：某些实现中size()需要计算或查表，而empty()直接比较指针/计数器
别在 empty() 后立刻用 front() 或 back()，除非你确认非空
这是新手高频崩溃点：empty() 返回 true 时调用 front() 或 back() 是未定义行为，常见报错如 std::out_of_range 或直接段错误。
std::vectorv; if (v.empty()) { // ✅ 安全：只读状态 std::cout << "vector is empty\n"; } else { // ✅ 安全：有元素才访问 std::cout << v.front() << "\n"; }
- 不要写
if (!v.empty()) do_something(v.front());然后在 else 里又调用v.front() -
at(0)会抛异常，front()不会检查，行为更“硬”，出错更难调试
empty() 和 size() 在自定义分配器或 debug 模式下表现一致吗？
是的，语义完全一致 —— 标准要求 empty() 等价于 size() == 0。但实际行为取决于实现：
立即学习“C++免费学习笔记（深入）”；
- libstdc++（GCC）和 libc++（Clang）中，
empty()通常直接比较_M_start == _M_finish（即首尾迭代器相等），比size()少一次减法 - MSVC 的 debug 模式下，
size()可能触发额外断言检查，而empty()仍保持轻量 - 若 vector 使用自定义分配器，只要满足 Allocator 要求，
empty()行为不变
用 empty() 判断空容器时，注意 move 后的状态
move 构造或赋值后，原 vector 处于“有效但未指定状态”，empty() 可能返回 true，也可能返回 false —— 标准只要求它可析构、可赋值、可再次 move，不保证是否为空。
std::vectora = {1, 2, 3}; std::vector b = std::move(a); // ❌ 错误假设： // assert(a.empty()); // 不一定成立！ // ✅ 正确做法：move 后只做重置或再赋值 a.clear(); // 或 a = {}; // 显式清空
- 永远不要依赖 move 后源容器的
empty()结果 - 如果需要确保为空，显式调用
clear()或赋值{} - 移动后的对象不应再用于逻辑判断，除非你刚给它重新赋值
front() 的误用里。
