C 风格数组

数组类型、边界与转换

数组的边界属于数组类型，但变量名通常不会把这项信息传得很远。decltype(values) 会得到声明的数组类型，sizeof values 会计算完整数组对象的大小，std::size(values) 通过数组引用重载返回元素数量。相反，普通按值推导 auto value = values 会得到首元素指针。

一元 &values 也不会先退化。若 values 是 int[4]，则 &values 是 int (*)[4]，给这个指针加 1 会跨过整个四元素数组。&values[0] 则是 int*，加 1 只前进一个元素。两者可能表示相同的起始地址，但类型和指针运算单位不同。

引用绑定同样能保留数组类型。模板形参 T (&array)[N] 可以同时推导元素类型与边界；const T (&array)[N] 接受只读访问。这个技巧适合边界本身决定行为的接口，但每个不同 N 都会产生不同模板实例，公开接口通常更适合使用 span。

数组到指针转换只给出首元素地址，不携带尾后地址。由此产生的 T* 无法独自区分一个元素、十个元素或没有可合法访问元素的地址。任何接收裸指针的接口都需要另一项契约说明数量、哨兵或终止条件。

std::span<T, N> 在这两种表示之间提供明确选择。固定边界 N 属于 span 类型，动态边界 span 则从对象中取得 size()。二者都只是视图；复制 span 会复制观察位置和长度，不会复制底层元素。

内置数组不能直接作为函数返回类型，也没有数组赋值。把数组放进结构体会改变使用方式：结构体可以按值返回和赋值，其生成的操作会处理每个数组成员。std::array 把值式容器操作做成了标准库类型；具体能使用哪些操作，仍取决于元素类型。

未知边界数组只在受限声明中有用，例如 extern int records[] 可以先声明在别处定义的数组。代码在看到完整定义之前不能对不完整数组类型使用需要完整大小的操作。它不是运行时变长数组，也不会把长度藏在对象中。

使用 new T[n] 时，n 可以来自运行时，但表达式结果仍是 T*，不保留可查询边界。异常、提前返回和所有权转移都会让配对 delete[] 变难。除非正在实现拥有型容器或对接要求这种形式的接口，否则 std::vector<T> 或智能指针数组更容易表达生命周期。

初始化、复制与元素生命周期

数组的初始化会依次初始化每个元素，不存在单独的“数组值”构造步骤。初始化列表提供的元素多于边界时，程序不合法；提供的元素较少时，剩余元素按空初始化列表进行初始化。对于 int，结果是零；对于类类型，则调用相应的默认构造过程。

数组元素是完整对象，各自遵守元素类型的构造和析构规则。类类型元素按索引递增顺序构造，数组生命周期结束时按相反顺序析构。若构造某个元素时抛出异常，已经完成构造的较早元素会被析构，尚未开始的元素没有生命周期。

顶层 const 会应用到元素。const int limits[3]{1, 2, 3} 的元素不可通过该数组修改，数组转换后得到 const int*。不能通过类型转换去掉 const 后写入这些元素；原对象确实为 const 时，这样写会产生未定义行为。

数组声明符从变量名向外读。int* pointers[3] 是含 3 个 int* 的数组，而 int (*pointer)[3] 是指向三元素数组的指针。括号改变结合方式；在审查复杂声明时，类型别名或标准库容器通常比继续叠加声明符更易读。

内置数组本身没有复制构造函数或赋值运算符。初始化另一个数组时不能把数组名称作为整体初始化器，赋值表达式左侧也不能是数组。逐元素算法、包装它的类，或 std::array 才能提供明确的复制操作。

把数组作为类成员时，成员的生命周期归外层对象管理。外层对象的默认复制与移动会逐元素处理内置数组成员，析构也会销毁所有元素。若元素不可复制，外层类相应的默认复制操作也可能被定义为删除。

typedef int Row[4] 或 using Row = int[4] 可以给数组类型命名。随后 Row table[3] 表示三行，每行四个整数。类型别名能让函数引用和指向行的指针更易读，但不会增加边界检查或值语义。

存储期与所有权必须分开考虑。局部数组通常由作用域拥有，静态数组由程序生命周期拥有，类成员数组由外层对象拥有。指针、引用和 span 只观察这些元素；它们能否使用完全取决于拥有者是否仍然存在。

数组适合边界在编译期确定的对象集合。若边界来自输入，把输入直接放进编译器扩展的栈上变长数组，会同时引入可移植性和栈空间风险。用 std::vector 分配并让分配失败遵守容器的异常与 RAII 规则，接口通常更容易审查。

在 API 边界表达数组

数组问题经常不是出在存储声明，而是出在函数边界。一个 T* 只说明可以通过某个地址访问 T，没有说明地址是否可为空、有多少元素、调用期间能否修改，以及指针能保存多久。可靠的接口会分别表达这些约束，而不是让调用者从参数名称猜测。

对于现代 C++ 内部接口，std::span<const T> 通常表示一段借用的只读连续元素，std::span<T> 表示一段借用的可修改元素。const 限制的是通过这个视图进行的写入，并不使其他别名失效。调用方仍负责保证 span 使用期间底层数组存活且不被会使地址失效的操作替换。

固定边界 span std::span<T, N> 适合算法在编译期要求恰好 N 个元素的情况。它仍不拥有元素，但错误边界的数组不能隐式构造出该类型。若算法对任意长度都成立，动态边界 std::span<T> 可以减少模板实例并让接口更宽。

C 风格接口通常使用指针加数量，例如 const unsigned char* data, std::size_t size。审查时必须确认数量的单位：元素个数、字节数和最后合法索引并不相同。对 T* 使用字节数作为循环上限，会在 sizeof(T) > 1 时越过真实元素范围。

空范围也需要契约。长度为 0 时，函数不应解引用数据指针；接口是否允许空指针，要看它自己的前置条件。span 能统一表示空范围，并让循环只依赖 begin() 与 end()，但从无效指针构造 span 仍不能修复指针来源。

标准算法和范围算法能直接接收保留边界的数组。调用 std::ranges::sort(values) 会从数组取得首尾迭代器，不需要手工计算数量。相比传递 values 和一个重复写出的常量，范围接口减少了指针与长度不一致的机会。

需要把现有内置数组变成拥有型值时，可以使用 std::to_array 或显式构造 std::array。std::to_array("ABC") 会保留字符串字面量中的终止空字符，因此结果包含 4 个元素。若目标是文本而不是原始字符容量，std::string 或 std::string_view 的接口含义更直接。

ABI 或 C 互操作可能要求保留裸指针形状。这时不要在包装层假装边界已经由类型保证；先验证长度和可空性，再尽快构造 span 供内部代码使用。包装层还应明确写出所有权仍属于调用方，以及回调或异步操作能否把视图保存到调用之后。

泛型代码可以通过 <type_traits> 中的 std::rank_v<T> 和 std::extent_v<T, I> 检查数组类型的层数与各层边界。这些特征作用于类型，所以必须在退化前使用，例如对 decltype(values) 求值。一旦手里只剩 int*，类型特征无法恢复原来的边界。

接口选择可以归结为所有权和边界两个轴。需要拥有并复制就用容器，需要借用并携带数量就用 span，只在外部契约已经明确数量时暴露裸指针。这个判断比“数组还是指针”的语法偏好更能防止实际错误。

多维数组与字符数组的边界

多维数组每一层都有独立边界。对于 int image[3][4]，外层有 3 个元素，元素类型是 int[4]；std::size(image) 是 3，std::size(image[0]) 是 4。访问时必须分别证明行索引和列索引有效。

当 image 用在多数表达式中时，它转换为 int (*)[4]，而不是 int*。编译器需要知道每行包含 4 个元素，才能让 image + 1 前进到下一行。形参 int image[][4] 会调整成同一个指针类型，所以只能省略最外层边界。

int** 表示指向 int* 的指针，常见布局是一组行指针，每行可以位于不同分配区。二维数组没有这组行指针；它直接包含行数组。强制转换不会创造缺失的指针对象，按 int** 解引用二维数组会错误解释元素字节。

嵌套数组按外层元素顺序保存行，每一行内部又按元素顺序保存列，因此自然形成行主序。逐行、逐列访问完全符合对象边界。把 &image[0][0] 当成一个可以跨所有行任意做指针运算的一维数组指针，则绕开了嵌套子数组边界；需要扁平存储时，直接声明一维数组并自行计算 row * columns + column 更清楚。

部分列表初始化会在每一层补零。int image[2][3]{{1}, {2, 3}} 的两行分别是 1, 0, 0 与 2, 3, 0。省略内层花括号在一些简单标量数组中可行，但保留分层花括号更能表达形状，也能让编译器警告可疑初始化。

字符串字面量本身是 const char[N] 数组，其中 N 包含终止空字符。用它初始化 char text[] 会创建一份可修改数组；让 const char* text 指向字面量则只创建指针，修改字面量仍是未定义行为。两种声明的 sizeof 结果也不同：前者是数组容量，后者是指针大小。

字符数组的容量、当前文本长度和二进制数据长度是三件不同的事。sizeof buffer 只在 buffer 仍是数组时给出容量，std::strlen(buffer) 要求已有可达的 \0 并只计算它之前的字符。对于可能包含零字节的数据，长度必须独立保存，span 比字符串函数的终止约定更合适。

字符串字面量可以包含内嵌的 \0，所以数组边界不一定等于 std::strlen 加一。char sample[] = "A\0B" 的边界是 4，而 C 字符串函数看到的文本长度是 1。处理协议字段或文件内容时，不能用终止字符串规则替代明确的数据长度。

对两个元素指针做关系排序或相减前，也要先确认它们属于同一个数组对象或相应的尾后位置。数值地址碰巧接近不构成这个关系。把不同数组的指针排序或相减，不能用来推导一个更大的连续范围。

数组成员不会因为外层对象被移动就自动变成指针转移。默认移动外层对象时，数组的每个元素分别按移动初始化或移动赋值规则处理。对于大型定长元素集合，这意味着“发生了移动”本身并不保证常数成本。

边界审查最终需要同时回答三个问题：完整类型是什么，当前表达式是否已经退化，底层对象还能活多久。只检查下标数值不够；正确的数值配上错误的列类型或悬空的 span，仍然会产生未定义行为。