向量创建安全性技术疑问：unsafeFreeze的风险及关联问题

在Haskell中创建不可变Vector时，unsafeFreeze是常用方法之一，但名字里的unsafe可不是随便加的——这玩意儿的安全风险真得好好说道说道。

问题的核心根源 #

unsafeFreeze的功能是将可变的MVector转换为不可变的Vector，但它的实现并没有对原MVector做任何“锁定”操作。也就是说，在你调用unsafeFreeze把MVector变成Vector之后，你依然能修改原来的MVector——这就是所有问题的导火索。

引发的两类问题（第一类详解） #

这种设计会直接导致两类棘手的问题：

• 不可变向量的“超距幽灵行为”
  我们使用不可变Vector的核心原因就是依赖它“一旦创建就永不改变”的语义，但如果在unsafeFreeze后修改原MVector，对应的Vector的值会跟着发生变化！这种完全违背预期的修改就像幽灵一样，毫无预兆地破坏本应稳定的数据，会让你的代码逻辑出现诡异的bug，调试起来极其困难——你很难想到一个标记为不可变的值会被偷偷篡改。

安全使用的建议 #

如果你确实需要使用unsafeFreeze来追求性能，一定要严格遵守这条规则：调用unsafeFreeze之后，彻底放弃对原MVector的所有操作，不管是读取还是修改都不行。当然，在绝大多数场景下，更推荐使用安全的freeze函数，虽然它会有一点点额外的内存拷贝开销，但能保证代码的安全性和可维护性，这比那点性能提升重要得多。

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