std::array 不能为空，其“空”仅指 size() == 0（即模板长度为 0），但 std::array<T, 0> 极少见且可移植性差；C 风格数组无内置 empty()，需传长度参数或用 std::size；std::vector 和 std::span 的 empty() 才反映运行时元素数量。
std::array 不能为空，但可以检查 size()
std::array 是固定大小的容器，模板参数决定了长度，编译期就确定了，所以它没有“空”的运行时状态。所谓“是否为空”，实际是看 size() 是否为 0 —— 但只有 std::array<T, 0> 才会返回 0，这种用法极少见，且多数标准库实现对零长 std::array 支持不一致（例如 MSVC 允许，GCC/Clang 在部分版本中可能触发 SFINAE 问题或编译失败）。
常见误判场景：
- 把
std::array和std::vector混淆，以为有empty()方法语义相同 —— 实际上std::array::empty()也存在，但它只是内联返回size() == 0，本质还是依赖模板长度 - 试图对栈上 C 风格数组（如
int arr[5]）调用.empty()或.size()—— 这会编译失败，因为原生数组不是类类型
C 风格数组怎么安全判断“逻辑空”
C 风格数组本身没有元信息，sizeof(arr)/sizeof(arr[0]) 只在**定义处且未退化为指针**时才可靠。一旦传入函数，就只剩指针，sizeof 失效。
实用做法取决于使用场景：
立即学习“C++免费学习笔记（深入）”；
- 若数组作为函数参数传递，必须额外传入长度（如
void foo(int* arr, size_t len)），然后检查len == 0 - 若数组是全局或局部定义（未取地址、未传参），可用
std::size(arr)（C++17 起）或宏sizeof(arr) / sizeof(*arr)判断长度是否为 0 —— 但注意：长度为 0 的 C 数组（int arr[0];）是 GNU 扩展，非标准，不可移植 - 避免用
if (!arr)判断 —— 原生数组名不是指针变量，不能隐式转为bool；若arr是指针变量，则!arr判断的是指针是否为空，和“数组内容是否为空”无关
std::vector 和 std::span 的 empty() 才真正有意义
动态容器 std::vector 和视图类 std::span（C++20）的 empty() 是运行时行为，反映当前持有的元素数量是否为 0。
典型用法：
-
std::vector<int> v; if (v.empty()) { ... }—— 安全，且高效（O(1)） -
std::span<const int> s = some_data(); if (s.empty()) { ... }—— 同样安全，empty()等价于size() == 0 - 不要对
std::span用data() == nullptr判断空 —— 即使size() == 0，data()也可能非空（例如指向某数组首地址但长度截为 0）
最容易被忽略的坑：字符串字面量和 char 数组
像 "hello" 这样的字符串字面量类型是 const char[6]，结尾带 \0。有人会误用 strlen(s) == 0 判断“空”，但这只对以 \0 开头的字符串有效；而 std::array<char, 6> s = {} 初始化后所有元素为 \0，此时 s[0] == '\0' 成立，但 s.empty() 仍是 false（因为 size() 是 6）。
关键区分点：
- “数组为空” → 关注长度（
size()或显式长度参数） - “内容为空字符串” → 关注首字符是否为
'\0'或用std::string_view(s).empty() - 对
std::array<char, N>，empty()和 “是否存空字符串” 完全是两回事
真正在意内容是否为空时，别只盯着数组类型，先明确你问的到底是“有没有元素”，还是“第一个元素是不是结束符”。
