参考透明度是什么意思?我曾听人描述它为“这意味着你可以用等号替换等号”，但这似乎是一个不充分的解释。
当前回答
一个表达式是引用透明的，如果它可以用它的值替换，而不改变算法，产生的算法在相同的输入上具有相同的效果和输出。
其他回答
对于那些需要简明解释的人，我将冒险给出一个解释(但请阅读下面的披露)。
编程语言中的引用透明性促进了等式推理——您拥有的引用透明性越多，就越容易进行等式推理。例如，使用(伪)函数定义，
F x = x + x，
在这个定义的范围内，您可以(安全地)将f(foo)替换为foo + foo，而不会对在哪里执行此简化有太多限制，这很好地说明了您的编程语言具有多大的引用透明性。
例如，在C编程的意义上，如果foo是x++，那么你就不能安全地执行这个约简(也就是说，如果你要执行这个约简，你最终得到的程序将与你开始时的程序不同)。
在实际的编程语言中，你不会看到完美的引用透明性，但函数式程序员比大多数人更关心它(参考Haskell，它是一个核心目标)。
(完全披露:我是一个函数式程序员，所以从上面的答案你应该对这个解释持保留态度。)
引用透明函数是只依赖于其输入的函数。
如果你对词源感兴趣(比如。为什么这个概念有这个特殊的名字)，看看我关于这个主题的博客文章。这个术语来自哲学家/逻辑学家奎因。
请注意，这个“意义”的概念是发生在观察者头脑中的事情。因此，同样的“参考”对不同的人可能意味着不同的事情。例如，我们在维基百科上有一个爱丁堡消歧页面。
在编程上下文中出现的一个相关问题可能是多态性。
也许我们应该为特殊情况下的多态(或者甚至是强制转换)取一个名字，其中不同的多态情况在语义上是等价的(而不是完全相似)。例如，数字1——可以用整数类型、复杂类型或任何其他类型表示——可以用多态方式处理)。
一个表达式是引用透明的，如果它可以用它的值替换，而不改变算法，产生的算法在相同的输入上具有相同的效果和输出。
