Elixir中tuple是否为持久化数据结构？资料矛盾求答疑

• 核心结论：Tuple不是持久化数据结构，这和José Valim的表述一致，官方文档的表述存在容易混淆的地方。
• 差异原因：

  持久化数据结构的核心是修改时共享未变更的部分，以此减少内存占用和提升效率。
  José Valim的判断依据是：当你用put_elem/3修改tuple时，Elixir会创建一个完全全新的tuple，原tuple的所有元素都会被复制，哪怕只修改其中一个元素——完全没有共享机制，不符合持久化数据结构的定义。
  官方文档的相关表述，其实是在强调Elixir的tuple是不可变的（所有Elixir数据结构都是不可变的），但不可变只是持久化数据结构的前提条件，并非等同于持久化。文档没有明确区分这两个概念，才造成了误解。

• 自行验证的方法：
  你可以通过性能测试来验证：

  # 创建一个包含十万个元素的大tuple
  large_tuple = Tuple.duplicate(:x, 100000)
  # 统计修改第一个元素的耗时
  :timer.tc(fn -> put_elem(large_tuple, 0, :y) end)
  

  多次运行后会发现，修改大tuple的耗时和创建同等大小的新tuple几乎一致，这说明修改操作没有共享原tuple的未变更元素，完全是复制整个结构，证明tuple不是持久化数据结构。

内容的提问来源于stack exchange，提问作者al.hram