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

0 0

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

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

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

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

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

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

Erlang

2009年7月24日 10:26

20.Shadow
0
0 0 0

3个答案按时间排序按投票排序

0 0

采纳的答案

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

2009年7月29日 10:23

night_stalker
1260
0 0 0

添加评论

0 0

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

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

-module(mo)
var v
do_something() ->
  ... 这里改变了 v
spawn(mo, do_something, ())
spawn(mo, do_something, ())

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

2009年7月28日 18:44

night_stalker
1260
0 0 0

添加评论

0 0

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

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

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

2009年7月25日 14:00

night_stalker
1260
0 0 0

添加评论

已解决问题

未解决问题

排行榜

查看全部排名>>