Dart中Isolate间消息传递的内存转移含义及相关疑问

内存转移和内存复制的核心区别 #

• 内存复制：简单说就是给数据做个“双胞胎拷贝”，原Isolate手里还留着自己的那份，新Isolate拿到完全一样的新数据。比如你复制一张照片到U盘，手机和U盘里都有这张图，改U盘里的不会影响手机上的。Dart里大部分普通对象的消息传递都是这么干的——因为Isolate之间内存是隔离的，不能直接碰对方的内存，所以默认复制。
• 内存转移：这不是拷贝，而是把数据的“唯一所有权”从原Isolate直接转给目标Isolate。转移之后，原Isolate再也不能碰这块内存了，所有权限都归目标Isolate。就像你把手机里唯一的照片移动到U盘，手机里彻底没了，只有U盘里有。这种方式只支持特定类型（比如ByteBuffer、TypedData这类底层内存对象），因为它们没有依赖其他堆里的对象，转移后不会出问题。

官方说的“验证对象是否允许转移”，就是检查这个对象是不是属于这类能安全移交所有权的类型，避免转移后原Isolate还有引用导致内存错误。

Isolate的独立内存堆怎么和非复制传递共存？ #

每个Isolate从创建开始就有自己独立的内存堆，互相之间完全不能直接读写对方的堆空间。消息传递的逻辑是：

• 普通对象：复制一份数据到目标Isolate的堆里，两个堆各自持有一份独立数据。
• 可转移对象：把这块内存的所有权从原Isolate的堆“移交”到目标Isolate的堆里，原堆会把这块内存标记为不可访问，目标堆正式接管。

不管是复制还是转移，都没有打破Isolate内存隔离的规则——转移只是更高效的“所有权移交”，而不是共享内存。这样既保证了Isolate之间不会互相干扰，又能在处理大二进制数据这类场景时，避免复制带来的性能损耗。

内容的提问来源于stack exchange，提问作者leo