std::array 永远不为空，但 size() 可为 0 且 empty() 返回 true；访问零长 array 元素是未定义行为；vector 应用 empty() 判断空；C 风格数组无内置空概念；自定义容器需保证 empty() 与 size()==0 语义一致。
std::array 不能为空，但可以检查 size() 是否为 0
标准库 std::array 是固定大小的容器，编译期就确定了长度，所以它**永远不为空**——哪怕定义成 std::array<int></int>，size() 返回 0，但对象本身合法且可构造。这时候调用 empty() 会返回 true，但它不是“运行时变空”，只是长度为零。
-
std::array<int> a;</int>合法，a.size() == 0且a.empty() == true - 试图访问
a[0]或a.begin()是未定义行为（begin() == end()，但解引用end()不行） - 这种零长数组极少用于业务逻辑，多见于模板元编程或泛型边界情况
std::vector 判断空用 empty()，别用 size() == 0 做性能假设
std::vector::empty() 是常数时间、无副作用的标准方式；而 size() == 0 虽然结果等价，但某些实现（尤其 debug 模式下）可能带额外校验开销。更重要的是语义清晰：empty() 明确表达“是否一个元素都没有”，不是“长度数值上是不是零”。
- ✅ 推荐：
if (vec.empty()) { ... } - ⚠️ 不推荐但可行：
if (vec.size() == 0)—— 语义弱，且在部分 STL 实现中size()可能触发断言检查 - ❌ 错误写法：
if (!vec.data())——data()对空 vector 返回合法空指针，但非空 vector 的data()也可能为nullptr（如已 move 构造过）
C 风格数组没有运行时大小信息，无法直接判断“是否为空”
像 int arr[5] 或 int* p = new int[10] 这类原始数组，编译器和运行时不保存长度，更不存在“空”的概念——你传给函数的只是一个指针，它不携带容量或当前元素数。所谓“空”，只能是你自己约定的语义，比如：
- 用额外参数传入长度：
void process(int* arr, size_t len) { if (len == 0) return; ... } - 用哨兵值（如
nullptr或-1）标记结束，适用于字符串或特定协议数据 - 把原始数组包装进结构体，显式存
size_t size字段
直接对裸指针调用 empty() 或检查其是否为 nullptr，只说明指针是否有效，和“数组内容是否为空”完全无关。
立即学习“C++免费学习笔记（深入）”；
自定义容器要重载 empty()，且确保与 size() 语义一致
如果你写了一个类似 MyBuffer 的类，对外提供 size() 和 empty()，必须保证 empty() == (size() == 0)。STL 算法（如 std::all_of）和范围 for 循环都依赖这个契约。
- 错误示范：
empty()检查缓冲区是否“已初始化”，而size()返回已写入字节数 → 导致for (auto& x : buf)行为异常 - 正确做法：统一以逻辑元素数量为依据，
empty()内部直接return size() == 0; - 如果
size()开销大（比如需遍历链表计数），empty()应单独优化，例如检查头指针是否为空
C++ 里“数组是否为空”根本不是单一问题：它取决于你用的是哪种数组、谁控制生命周期、以及“空”对你而言到底意味着什么。最危险的误区，是把 C 风格指针当成了有状态的容器。
