为什么 Erlang 静态数据结构不能改变？

如何解决为什么 Erlang 静态数据结构不能改变？

我对Erlang的理解是你有

1. 所有数据结构都是不可变的
2. 一些数据结构是静态的，例如记录，即在编译时
3. 一些数据结构是动态的，例如映射，即在运行时

鉴于 = 复制了所有内容，包括静态数据结构（如地图）

问题 = 为什么我们不能更改记录？

（猜测）答案 = 因为记录是在由预处理器更改的标头宏中定义的。

（猜测）不正确的答案 = 因为数据结构具有固定的内存大小（它没有），并且与 C 数组不同，它不在连续内存中，而是在一个链表中？

解决方法

（猜测）答案 = 因为记录是在由预处理器更改的标头宏中定义的。

这很接近。记录是一个编译时特性：记录只是一个具有特殊布局的元组，在编译期间所有记录操作都转换为元组操作。

所以给定这个记录定义：

-record(foo,{a,b = default_b}).

#foo{a = x} 被编译器转换为 {foo,x,default_b}，并且像 MyRecord#foo.x 这样的记录访问变成了类似 element(MyRecord,2) 的东西。 _{（除了它还检查 MyRecord 是否为 foo 记录，否则会引发 badrecord 错误）}

这就是您不能在运行时更改记录元素数量的原因：任何处理此类记录的代码都需要重新编译才能访问正确的字段。这类似于如果您更改结构体的布局，需要重新编译 C 代码的方式。