30、Erlang重构与从解释到编译的探索

Erlang重构与从解释到编译的探索

1. Erlang变量与重构

在Erlang编程中，变量的处理有一些独特之处。例如，有时候可以消除变量X。表达式 (X=α)+(X=β) 可以变为 α+(α=β) （或者等价地， (α=β)+β ），并且X的每个应用出现都可以用α或β替换，因为如果它们不相等，那么X的应用出现（或替换它们的表达式）将永远不会被求值。

变量遮蔽也是一个有趣的问题。可以在另一个同名变量的作用域内引入一个新变量。函数定义的形式参数列表（已声明或未命名）以及（列表或位串）推导式的生成器模式中的变量总是新的且未绑定的，因此它们可能会遮蔽外围作用域的变量。例如下面的 identity 函数：

identity(X) -> (fun(Y) -> Y end)(X).

将 Y 重命名为 X 是合法的，这两个变量仍然是不同的，并且匿名函数中的 X 会遮蔽 identity 中的 X 。一些人认为变量遮蔽会降低代码的可读性，Erlang编译器在遇到这种情况时会给出警告信息。不过，当前的RefactorErl实现不会在这种情况下报告警告。

关于变量，有以下要点：
- 已声明函数的每个子句在变量方面是独立的。
- 虽然变量绑定规则相当复杂，但可以通过静态分析揭示绑定结构