PHP数组虽可变，但可通过值语义复制、函数式操作（如array_merge/array_filter）和封装ImmutableArray类模拟不可变行为，提升可预测性与并发安全；需注意对象引用等边界情况。
PHP 数组本身是可变的，但通过编程习惯和工具可以模拟不可变数据的行为，从而提升代码可预测性与并发安全性。
PHP 数组天然支持“值语义”
PHP 的数组在赋值、函数传参时默认按值复制（底层有写时复制优化），这为不可变操作提供了基础。例如：
<?php
$a = ['x' => 1];
$b = $a; // 实际未立即复制，但语义上独立
$b['x'] = 2;
var_dump($a); // ['x' => 1]，未被修改
?>
这种行为让开发者能自然地避免意外副作用，是向不可变思维过渡的友好起点。
立即学习“PHP免费学习笔记（深入）”；
用函数式方式操作数组，避免原地修改
优先使用返回新数组的函数，而非改变原数组的函数：
- ✅ 用 array_merge($a, $b) 替代 $a += $b
- ✅ 用 array_filter($arr, $cb) 替代 foreach + unset()
- ✅ 用 array_map($cb, $arr) 替代 foreach + 修改 $arr[$k]
- ✅ 用 array_values($arr) 或 array_keys($arr) 获取副本后再处理
这些函数不修改原始数组，符合不可变数据的核心原则：每次变换产生新值。
封装数组为不可变对象（进阶实践）
当业务逻辑复杂或需强约束时，可用类封装数组并禁用修改能力：
<?php
class ImmutableArray
{
private array $data;
public function __construct(array $data = [])
{
$this->data = $data;
}
public function with(string $key, $value): self
{
$new = clone $this;
$new->data[$key] = $value;
return $new;
}
public function get(string $key, $default = null)
{
return $this->data[$key] ?? $default;
}
public function toArray(): array
{
return $this->data;
}
}
这样既保留数组灵活性，又通过接口控制变异入口，适合领域模型或配置管理场景。
注意边界：引用与资源仍可能打破不可变假象
即使数组本身“不可变”，若其中包含对象或资源句柄，其内部状态仍可被修改：
- ❌ $arr = [new DateTime()]; $arr[0]->modify('+1 day'); —— 数组没变，但元素变了
- ✅ 需配合深拷贝（如 unserialize(serialize($obj))）或使用值对象（Value Object）设计
- ✅ 对外部依赖（如数据库结果）尽早转为纯数组或不可变结构，切断后续副作用链
不可变不是语法强制，而是设计契约；关键在于明确数据生命周期与所有权。
