vector.empty()是最直接安全的判空方式，返回bool、常量时间、线程安全、支持const对象；但empty()为真时调用front()/back()会导致未定义行为。

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::vector v;
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。但实际行为取决于实现：

• 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::vector a = {1, 2, 3};
std::vector b = std::move(a);
// ❌ 错误假设：
// assert(a.empty()); // 不一定成立！
// ✅ 正确做法：move 后只做重置或再赋值
a.clear(); // 或 a = {}; // 显式清空

• 永远不要依赖 move 后源容器的 empty() 结果
• 如果需要确保为空，显式调用 clear() 或赋值 {}
• 移动后的对象不应再用于逻辑判断，除非你刚给它重新赋值

空容器判断看似简单，但真正容易出问题的地方，往往藏在 move 语义、debug/release 差异、以及对 front() 的误用里。