为撒Erlang要设置"变量不变"这个特性?

Erlang中的变量大部分情况下是"不可变"的(进程数据区域等特殊的除外), 据称是和并行相关, 不过这里我比较困惑, 既然Erlang进程设置了消息系统, 理论上讲消息都是一个一个处理的, 即:同一个进程中的消息处理不存在并行情况, 因此无需要"边量不变". 如果是在多进程情况下, 由于进程的数据之间是切分开的, 看起来也不太需要"变量不变"这个特性, why???
可否举个例子说明在哪种情况下需要"变量不变"这个特性???

备注: 本人初学Erlang, 理解错误的地方希望前辈们指点.
Thanks.

[b]问题补充:[/b]
根据night_stalker的回答, 看起来immutable是和"并行"没有太大关系的了... 还有别的方面的特性决定需要使用immutable的么???
[b]问题补充:[/b]
感谢night_stalker, 又去查了下资料, 应该是和进程调度有关, 详细见这里 : http://hi.baidu.com/timeless/blog/item/3f3dafc3cb84835db319a8ae.html
感觉上是由于immutable的特性决定进程可以比较轻松的进行调度而不消耗太多资源, 想比传统的进程/线程方式就有了很多好出.

另, to night_stalker, Erlang里应该不直接支持global-var的把...每个进程都有自己独立的数据区域, 相互之间应该是不share的...

再次感谢, 对这个问题有了更深入的认识:)~

3个回答

o,我对 erlang 了解不多 …… 献丑了

因为不可变已经够用了,可变会让你更容易写出面条。

immutable 的好处有很多,譬如闭包消耗的内存会降低很多,编译器可以把这个名字出现的地方都替换成值,结果就是跑起来更快。

好处是不需要学习变量这个概念,坏处是要忘记变量这个概念 ……

…… 我没说关系不大吧 …… mutable 了进程之间的数据还能且分开么?

假设声明为 var 的东西可变,spawn 两个进程看看?

[code=""]
-module(mo)
var v
do_something() ->
... 这里改变了 v
spawn(mo, do_something, ())
spawn(mo, do_something, ())[/code]

这东西多了,行为不可预测。不要把变量当成天经地义的 …… immutable 的东西实现起来简单多了 ……

Csdn user default icon
上传中...
上传图片
插入图片
抄袭、复制答案,以达到刷声望分或其他目的的行为,在CSDN问答是严格禁止的,一经发现立刻封号。是时候展现真正的技术了!
立即提问