C++如何判断vector是否为空-C++-PHP中文网

c++oding="utf-8" ?>

首选 empty() 判断 std::vector 是否为空，因其 o(1) 时间复杂度、语义清晰、无副作用且兼容所有标准容器；避免 size() == 0（可读性差、泛型不安全）和 front()/[0]（未定义行为）。

c++如何判断vector是否为空

判断 std::vector 是否为空，首选 empty() 成员函数。它不涉及任何迭代器操作或下标访问，时间复杂度 O(1)，且语义清晰、无副作用。

empty() 返回 bool，true 表示容器无元素，false 表示至少有一个元素
不要用 size() == 0 替代——虽然多数实现下等价，但 empty() 更明确表达意图，且某些容器（如 list）在 C++11 前 size() 可能非 O(1)，而 empty() 始终是常数时间
绝对避免用 vec[0] 或 vec.front() 判断——未检查空状态就访问会触发未定义行为，程序可能崩溃或静默出错

size() 在 std::vector 中确实是 O(1)，但它传递的是“数量”信息，而非“是否为空”的逻辑意图。这在代码可读性和维护性上埋下隐患。

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

当后续把 vector 换成其他容器（比如自定义容器或未来可能的 std::span）时，size() 的性能保证不一定成立，而 empty() 是所有标准容器的统一接口
静态分析工具（如 clang-tidy）会警告 size() == 0 这类写法，推荐改用 empty()
在模板代码中泛化处理容器时，依赖 empty() 才能兼容所有标准容器；size() 对某些类型（如 std::array）虽可用，但语义不统一

很多 bug 不是出在判断本身，而是判断后没同步约束后续操作的边界。

写 if (!vec.empty()) { auto it = vec.begin(); ... } 是安全的；但若漏掉 empty() 检查，直接用 vec.begin() 配合 vec.end() 做循环，在空容器下虽不崩溃（begin() == end() 合法），但容易掩盖逻辑疏漏
范围 for 循环（for (auto& x : vec)）本身对空容器安全，无需前置检查；但如果你在里面取了 vec[0] 或调用了 front()，就必须单独 guard
注意：vec.front() 和 vec.back() 在空容器上调用是未定义行为，哪怕你刚调过 vec.size() == 0，也不能跳过 empty() 检查