参考透明度是什么意思?我曾听人描述它为“这意味着你可以用等号替换等号”,但这似乎是一个不充分的解释。
当前回答
引用透明函数是只依赖于其输入的函数。
其他回答
对于那些需要简明解释的人,我将冒险给出一个解释(但请阅读下面的披露)。
编程语言中的引用透明性促进了等式推理——您拥有的引用透明性越多,就越容易进行等式推理。例如,使用(伪)函数定义,
F x = x + x,
在这个定义的范围内,您可以(安全地)将f(foo)替换为foo + foo,而不会对在哪里执行此简化有太多限制,这很好地说明了您的编程语言具有多大的引用透明性。
例如,在C编程的意义上,如果foo是x++,那么你就不能安全地执行这个约简(也就是说,如果你要执行这个约简,你最终得到的程序将与你开始时的程序不同)。
在实际的编程语言中,你不会看到完美的引用透明性,但函数式程序员比大多数人更关心它(参考Haskell,它是一个核心目标)。
(完全披露:我是一个函数式程序员,所以从上面的答案你应该对这个解释持保留态度。)
引用透明函数是只依赖于其输入的函数。
如果你对词源感兴趣(比如。为什么这个概念有这个特殊的名字),看看我关于这个主题的博客文章。这个术语来自哲学家/逻辑学家奎因。
参考透明度是计算机科学中使用的一个术语。它起源于数学逻辑,但在计算机科学中具有广泛的应用和有效的含义。
它的意思是:可以被其结果替换而不改变其含义的结构(如函数)。
在通常使用中,它与纯表达式相似,但并不完全等效。纯表达式完全由其他纯表达式组成。引用透明表达式可能在内部是不纯的,例如在其计算过程中使用可变状态,但在表达式整体之外没有副作用。
所有纯函数,根据它们的构造,都是指涉透明的,但不一定相反。
许多语言特性都支持不纯引用透明性,比如Haskell中的ST单表,c++中的构造变量和某些lambdas。
有时引用透明性是强制的,而其他时候程序员必须自己保证它。
一个表达式是引用透明的,如果它可以用它的值替换,而不改变算法,产生的算法在相同的输入上具有相同的效果和输出。