数组

是什么，为什么存在

PHP 数组（PHP array）是一种 有序映射（ordered map） 。每个元素由一个整数键或字符串键与一个值组成，遍历顺序就是元素的插入顺序。值可以是标量、对象、资源或另一个数组，因此一个容器就能表达列表、查找表和嵌套记录。

PHP 没有把列表与关联映射做成两种独立的运行时类型。键恰好是从 0 开始的连续整数时，这个数组就是 PHP 列表（PHP list） ；键不连续或含有字符串时，它仍是数组，但不是列表。array_is_list() 用于检查这个形状，而不是检查元素类型。

这种设计适合请求参数、配置、数据库行和短生命周期的数据变换。你可以逐步加入字段，也可以按业务标识查找元素，不必先声明固定尺寸。数组的灵活性也意味着字段拼写、键类型和列表形状都需要由代码或静态分析器约束。

字段固定且需要不变量的领域数据通常更适合类、枚举或只读对象。大量队头删除、优先队列或流式数据也有更合适的 SPL 数据结构与生成器。数组能承担多种角色，不等于它在每个角色上都表达得最清楚。

工作原理

数组字面量使用 []，元素写成 key => value。省略键时，PHP 分配整数键；显式字符串键常用于记录，显式整数键则可表示业务编号或稀疏位置。

• $colors = ['red', 'green'] 创建一个列表。
• $profile = ['name' => 'Mina', 'email' => null] 创建使用字段名的映射。
• $states = [10 => 'draft', 20 => 'review'] 创建使用非连续整数键的映射。

这三者的运行时类型都是 array。只有 $colors 满足列表条件；$profile 使用字段名，$states 的整数键也没有从 0 连续排列。

字面量语法本身不会声明数组的用途。调用方如何解释键，才决定它是位置序列、业务映射还是临时记录。

键与插入顺序

数组键最终只能是 int 或 string。部分其他类型会发生 数组键规范化（array-key normalization） ：有效的十进制整数字符串可能变成整数，布尔值变成 0 或 1，null 变成空字符串。规范化后的键相同，后写入的值就覆盖先前的值。

省略键的 $array[] = $value 会使用数组内部记录的下一个整数键。它不会为了填补中间空档而搜索最小可用位置。删除一个元素也不会移动其他元素，所以键集合与元素数量是两件不同的事。

数组保留插入顺序，而不是自动按键排序。覆盖现有键只替换该键的值，不会把元素移动到末尾。需要排序或重新编号时要显式调用相应数组函数，这些函数的键规则属于 php/array-functions 的范围。

访问与存在性

读取 $data[$key] 需要该键存在，否则 PHP 会产生 Undefined array key 警告并得到 null。外部输入经常缺字段，所以直接索引应该建立在校验或明确的数据契约之上。

$data[$key] ?? $fallback 不会为缺失键产生警告，很适合“缺失或 null 都使用默认值”的规则。这个运算符采用与 isset() 相同的存在性语义，因此不能保留“键存在但值为 null”这个区别。

array_key_exists($key, $data) 只检查键是否存在，即使对应值为 null 也返回 true。isset($data[$key]) 则要求键存在且值不是 null。先写清楚领域规则，再选择对应检查，不能把两者当作可互换写法。

修改与遍历

方括号赋值会新增或替换元素，$array[] 会追加元素，unset($array[$key]) 会移除一个键值对。count() 返回当前元素数量，不保证合法键是 0 到 count() - 1。只有列表才可以安全地按这个范围做位置访问。

foreach ($array as $key => $value) 按插入顺序读取键和值。默认的 $value 是当前元素值的赋值结果，对它重新赋值不会改回数组。需要原地修改时可以写 &$value，但这会创建引用，并要求在循环后清除循环变量。

数组赋值表现为值语义：$copy = $original 后，修改 $copy 的数组结构不会修改 $original。PHP 内部通过 写时复制（copy-on-write） 推迟实际复制，但这项优化不改变可观察到的独立值语义。显式的 & 才会让两个变量成为同一数组的别名。

示例

下面四个示例依次展示映射、可空字段、列表形状和值语义。所有输出都由本地 PHP 8.3.33 CLI 实际生成。

用业务键建立库存映射

商品编号是业务标识，不是位置。用编号作键后，查找和更新都能直接表达目标商品，foreach 仍按插入顺序输出。

更新 BK-101 不会改变它在遍历中的位置。库存为 0 也仍是正常元素；是否售罄是值的含义，与键是否存在无关。

如果这里使用普通列表，调用方必须先搜索编号再更新。映射把编号唯一性与直接查找放进了容器形状，但代码仍要验证外部数据是否真的提供了唯一编号。

区分缺失字段与空值

资料中的 email 字段被明确设置为 null，而 phone 根本不存在。array_key_exists() 可以保留这项差别，isset() 和 ?? 则把两者归到同一条分支。

<?php

$profile = [
    'name' => 'Mina',
    'email' => null,
];

$fields = ['email', 'phone'];
foreach ($fields as $field) {
    printf(
        "%s key=%s isset=%s value=%s\n",
        $field,
        array_key_exists($field, $profile) ? 'yes' : 'no',
        isset($profile[$field]) ? 'yes' : 'no',
        $profile[$field] ?? 'fallback',
    );
}

email key=yes isset=no value=fallback
phone key=no isset=no value=fallback

如果 null 表示用户主动隐藏邮箱，读取代码就应先检查 array_key_exists()，再处理这个值。若产品规则本来就把两种情况都视为“没有邮箱”，?? 才是简洁且准确的表达。

这里没有直接读取 $profile['phone']，所以不会产生 Undefined array key 警告。安全访问不是固定的一种写法，而是让检查方式匹配缺失值政策。

观察删除后的列表形状

从列表中 unset() 一个元素会留下键空档。之后追加使用下一个整数键，并不会回填被删除的 1。

<?php

$workflow = ['draft', 'review', 'publish'];
unset($workflow[1]);
$workflow[] = 'archive';

echo json_encode($workflow), PHP_EOL;
echo array_is_list($workflow) ? "list\n" : "map\n";

$steps = array_values($workflow);
echo json_encode($steps), PHP_EOL;
echo array_is_list($steps) ? "list\n" : "map\n";

{"0":"draft","2":"publish","3":"archive"}
map
["draft","publish","archive"]
list

第一行编码成 JSON 对象，因为整数键不连续。array_values() 明确丢弃旧键并生成新列表，所以第三行编码成 JSON 数组。

只有当键确实只是位置时才应该重排。若键是订单号或外部标识，调用 array_values() 会删除信息；更合适的 JSON 设计可能是保留对象形状，或把标识放进每个元素的字段。

复制后批量修改

普通赋值创建独立的数组值。按引用遍历可以修改副本中的每个金额，但循环变量必须在循环后解除引用。

<?php

$prices = [
    'BK-101' => 2500,
    'BK-205' => 1800,
];
$discounted = $prices;

foreach ($discounted as &$cents) {
    $cents -= 500;
}
unset($cents);

$cents = 9999;
echo json_encode($prices), PHP_EOL;
echo json_encode($discounted), PHP_EOL;

{"BK-101":2500,"BK-205":1800}
{"BK-101":2000,"BK-205":1300}

原数组没有变化，说明 $discounted 不是 $prices 的别名。unset($cents) 只解除变量与最后一个元素的引用，不会删除数组元素；之后给 $cents 赋值也不会污染 $discounted。

若元素是对象，复制数组不会克隆对象本身，两个数组中的对应元素仍可指向同一个对象。需要独立对象图时必须定义显式复制政策，而不能把数组的值语义误解为递归深拷贝。

陷阱

数组错误经常不会立即抛出异常。键和值都可能看起来合理，直到序列化、可空字段或后续遍历暴露了形状变化。

把 isset() 当作键检查

**修复：**需要区分两种状态时使用 array_key_exists('email', $row)，然后单独判断值。只有“存在且非 null”正是所需条件时才使用 isset()。

认为 unset() 会压紧索引

**修复：**不需要位置时使用 foreach。确实需要新列表时调用 array_values()，并把这次丢弃旧键的转换放在清楚的边界上。

忽略键规范化造成覆盖

**修复：**在插入前验证并规范化标识格式。若数字字符串必须保留文本身份，使用不会被转成十进制整数的明确前缀，例如 user:1，并测试冲突输入。

遗留按引用循环变量

**修复：**按引用循环结束后立即写 unset($item)，并让循环范围尽量短。若能通过键进行清楚的赋值，优先使用 $items[$key] = ...，以免引入长寿命引用。

把数组副本当成深拷贝

**修复：**先确定需要复制的是容器、嵌套数组还是对象图。对象需要独立身份时显式实现克隆或映射构造；不要用序列化往返充当未经设计的通用深拷贝。

延伸阅读

• PHP 手册：数组
• PHP 手册：array_is_list()
• PHP 手册：foreach
• PHP 手册：array_key_exists()
• PHP 手册：isset()