PHP 8.0+ 数组边界行为更严格：越界读取非数组/对象触发TypeError，空数组或缺失键仍返回null但需显式判断；array_slice负索引一致性增强；foreach中修改结构被限制；解包语法提前报错。
PHP 数组在新版本（尤其是 PHP 8.0+）中对边界行为的处理更严格，部分过去“宽容”的用法现在会触发警告、错误或返回 null，而非静默失败或返回意外值。
越界读取：[] 访问不存在的键
从 PHP 8.0 开始，对非对象、非数组类型使用 []（如 $null['key']、$int[0]）会抛出 TypeError；对空数组或未定义键的访问（如 $arr['missing']）仍返回 null，但若启用了 strict_types=1 或配合某些扩展（如 psr/cache 实现），可能触发更早的类型校验。
- 推荐改用
??或array_key_exists()显式判断 - 避免依赖“读取不存在键返回
null”做逻辑分支，尤其在函数返回值未明确声明可为null时 - 静态分析工具（如 PHPStan）在 level 8+ 会标记未检查键存在性的数组访问
负数索引与 array_slice() 行为一致性增强
PHP 8.1 起，array_slice($arr, -1, 1) 等负偏移操作在空数组上返回空数组（此前部分版本返回 false）；同时，对非整数偏移（如字符串 "-1"）的处理更统一——自动转换为整数，不再静默忽略或报错。
- 负索引始终从末尾计数，且不因数组为空而改变语义
- 传入浮点数或数字字符串偏移时，PHP 会截断小数部分（如
3.9→3），不建议依赖隐式转换 - 测试边界场景时，显式覆盖
[]、[0]、[-1]、[count($arr)]四种情况
foreach 遍历时修改数组的未定义行为被限制
PHP 8.0+ 明确禁止在 foreach 迭代过程中通过引用修改数组结构（如 unset() 当前元素、array_push() 新元素）。虽然语法仍允许，但行为不可靠：可能跳过元素、重复迭代，或在 JIT 模式下直接崩溃。
立即学习“PHP免费学习笔记（深入）”；
- 需修改结构时，先收集待操作键名，循环结束后再批量处理
- 仅读取或修改值（非键/长度）仍安全，如
$item['status'] = 'done' - 启用
opcache.jit_buffer_size时，该问题更容易暴露
数组解包（...）对非可遍历值的检查更早
PHP 8.0 引入解包语法后，[...$notArray] 在运行时立即报 TypeError，不再等到实际遍历时才失败。同样，array_merge(...$list) 中任一参数为非数组/可遍历类型，也会立刻中断。
- 解包前用
is_array()或is_iterable()防御性检查 - 注意
Traversable对象（如Generator）可被解包，但只能消费一次 - 函数参数中使用
...$args时，调用方传入非数组会提前报错，便于定位问题源头
这些变化让边界行为更可预测，也倒逼代码显式处理异常路径。升级后建议用 phpstan + phpcs 扫描数组相关代码，并补充针对空数组、缺失键、负索引的单元测试用例。
