ThinkPHP中Immutable不可变_数据修改返回新对象【说明】-ThinkPHP-PHP中文网

thinkphp无原生immutable支持，collection虽多数方法返回新实例但非真正不可变，模型查询返回可变数组，需手动副本操作保障数据不变性。

thinkphp中immutable不可变_数据修改返回新对象【说明】

ThinkPHP 没有内置 Immutable 类型或不可变数据结构。所谓“Immutable 数据修改返回新对象”，在 ThinkPHP 中并不存在原生支持，也不是其设计范式——它默认使用可变数组、Collection（基于 Laravel 的 Support\Collection）等可变容器。

ThinkPHP 的 Collection 实际是可变的

ThinkPHP 6+ 引入的 collection() 函数或 think\Collection 类，底层直接复用 Laravel 的 Illuminate\Support\Collection。这个类所有操作（如 map、filter、push、shift）默认都是返回新实例，但注意：它不是不可变的——你仍可以调用 $col->items = [...] 或反射修改内部属性；且部分方法（如 transform、shuffle）会原地修改自身（取决于具体版本和是否启用 lazy collection）。

map()、filter()、merge() 等多数方法返回新 Collection 实例
transform() 和 sort() 在非 lazy 模式下是原地修改，不返回新对象
没有 Object.freeze 或结构共享机制，不提供引用稳定性保障
无法用于 Redux/状态管理类场景，因无持久化数据结构支持

想在 ThinkPHP 中模拟不可变行为？得自己封装

若你真需要“每次修改返回新对象 + 原数据不可改”的语义，不能依赖框架自带能力，必须手动约束：

用 array_merge([], $arr) 或展开运算符 [...$arr] 创建数组副本，再操作
对 Collection 实例，显式调用 clone 或 new Collection($col->all()) 再调用方法
避免使用 transform、splice、shift 等可能原地修改的方法
关键数据流入口处加断言：比如 assert($original === $original, 'source must remain unchanged')（仅调试）

例如：

PHP

编写健壮的PHP代码，规避类型转换陷阱、数组怪癖及常见安全漏洞。

下载

use think\Collection;
<p>$data = new Collection(['a' => 1, 'b' => 2]);
$newData = $data->map(fn($v) => $v * 2); // ✅ 返回新实例
// $data 未变，但这是 Collection 的设计习惯，不是 Immutable 保证</p><p>// ❌ 危险操作（ThinkPHP 6.1+ 中可能原地修改）
$data->transform(fn($v) => $v + 10);
// 此时 $data 已被改，$newData 也失效</p>

别把 PHP 数组当 Immutable 对象用

PHP 数组本质是写时复制（Copy-on-Write），但这种机制只在内核层面生效，对外表现为“可变”。你无法靠 const 或类型声明让它真正不可变：

final 类 + private readonly（PHP 8.2+）只能保护字段，不能阻止 array_push($arr, ...) 这类函数修改
没有类似 JavaScript Object.freeze() 的运行时冻结 API
即使封装成类，只要暴露了数组引用（如 getter 返回 $this->items），外部仍可 []= 修改

真正安全的做法是：所有出参都返回 array_values($arr) 或 new Collection($arr) 的副本，并文档注明“该对象为只读视图”。

最易被忽略的一点：ThinkPHP 的模型查询结果（Db::table()->select()）返回的是普通数组，不是 Collection，更不是不可变结构——它连“返回新实例”都不做，直接就是可变数组。任何地方把它传给多个函数，其中一个改了键值，其他地方立刻受影响。