什么是参考透明度？

Question

引用透明度一词是什么意思？ 我听说它被描述为“这意味着你可以用 equals 替换 equals”，但这似乎是一个不充分的解释。

Answer 1

当我阅读已接受的答案时，我以为我在不同的页面而不是 stackoverflow 上。

引用透明性是定义纯函数的更正式的方式。 因此，如果一个函数在相同的输入上始终产生相同的结果，则称其为引用透明。

let counter=0
function count(){
  return counter++
}

这不是引用透明的，因为返回值取决于外部变量“计数器”并且它不断变化。

这就是我们如何使其引用透明：

function count(counter){
       return counter+1
   }

现在这个函数是稳定的，并且在提供相同的输入时始终返回相同的输出。

Answer 2

我希望以下答案能够补充并限定有争议的第一和第三
答案。

让我们假设一个表达式表示或指代
一些参考物。 然而，问题是这些所指对象是否可以被同构编码为表达式本身的一部分，并将此类表达式称为“值”。 例如，文字数值是算术表达式集的子集，真值是布尔表达式集的子集，等等。这个想法是将表达式计算为其值（如果它有一个值）。 因此，“值”一词可以指代表达式组中的一个表示或一个显着元素。 但是，如果所指对象和值之间存在同构（双射），我们
可以说它们是同一件事。 （这就是说，必须小心地定义
指称和同构，如指称领域所证明的
语义。 举一个第三个答案的回复中提到的例子，
代数数据类型定义 data Nat = Zero | Suc Nat 没有
正如预期的那样对应于自然数集。）

让我们为带有空洞的表达式编写 E[·]，这在某些方面也众所周知
作为“上下文”。 类 C 表达式的两个上下文示例是 [·]+1 和
<代码>[·]++。

让我们为接受表达式的函数编写[[·]]（没有漏洞）
并以某种方式表达其含义（指称、指称等）
提供意义的宇宙。 （我从现场借用了符号
指称语义。）

让我们稍微正式地调整蒯因的定义如下：上下文E[·]
是引用透明的当且仅当给定任意两个表达式 E1 和 E2 （没有漏洞
那里）使得 [[E1]] = [[E2]] （即表达式表示/引用
相同的指称），则情况是 [[E[E1]]] = [[E[E2]]] （即填写
具有 E1 或 E2 的孔会产生也表示相同含义的表达式
参考对象）。

莱布尼茨用 equals 代替 equals 的规则通常表达为“如果
E1 = E2 然后 E[E1] = E[E2]'，这表示 E[·] 是一个函数。 一个功能
（或者就此而言，计算该函数的程序）是来自
源到目标，以便每个源最多有一个目标元素
元素。 非确定性函数是用词不当，它们要么是关系，
传递集合等的函数。如果在莱布尼茨规则中等式 = 是
那么双括号就被认为是理所当然的，
省略了。 因此，引用透明上下文是一个函数。 而莱布尼茨法则是等式推理的主要成分，因此等式推理肯定与参照透明性有关。

虽然 [[·]] 是一个从表达式到表示的函数，但它也可以是一个
从表达式到“值”的函数被理解为受限子集
表达式，[[·]]可以理解为求值。

现在，如果 E1 是一个表达式，E2 是一个值，我们就得到了我认为大多数人在定义表达式、值和求值方面的引用透明度时的含义。 但正如本页的第一个和第三个答案所示，这是一个不准确的定义。

[·]++ 等上下文的问题不是副作用，而是它的值在 C 中没有与其含义同构地定义。 功能有
不是值（好吧，函数指针是），而在函数式编程语言中它们是。 着陆，
Strachey 和指称语义学的先驱们在以下方面非常聪明：
使用功能世界来提供意义。

对于命令式 C 语言，我们可以（粗略地）提供语义
使用函数 [[·]] 的表达式：表达式 -> （状态 -> 状态 x 值）。

Value 是Expression 的子集。 State 包含对
（标识符，值）。 语义函数接受一个表达式并传递为
它的含义是从当前状态到具有更新的状态对的函数
状态和值。 例如，[[x]] 是当前状态的函数
到第一个分量是当前状态且第二个分量的对
分量是 x 的值。 相反，[[x++]] 是来自
其第一个分量是值的状态的对的当前状态
x 的值递增，其第二个分量就是该值。 在这个
从某种意义上说，上下文 [·]++ 是引用透明的，当且仅当它满足
上面给出的定义。

我认为函数式程序员有权在以下方面使用引用透明度
他们自然地将[[·]]恢复为从表达式到值的函数。
函数是一等值，状态也可以是一个值，而不是一个
表示。 状态单子（部分）是一个干净的机制，用于传递（或
线程）状态。

Answer 3

请注意，“意义”的概念是发生在观察者头脑中的东西。 因此，相同的“参考”对于不同的人来说可能意味着不同的事情。 例如，我们在维基百科中有一个爱丁堡消歧页面。

编程环境中可能出现的一个相关问题可能是多态性。

也许我们应该为多态性（甚至可能是转换）的特殊情况命名，其中出于我们的目的，不同的多态性情况在语义上是等效的（而不是仅仅相似。例如，数字 1 - 可以表示为使用整数类型、复杂类型或任何其他类型——可以进行多态处理）。

Answer 4

引用透明度可以简单地表述为：

• 在任何上下文中始终计算出相同结果的表达式 [1] ,
• 如果给一个函数两次相同的参数，则必须两次产生相同的结果 [2] 。

例如，编程语言Haskell是一种纯函数式语言； 这意味着它是引用透明的。

Answer 5

引用透明度是计算机科学中使用的术语。 它起源于数理逻辑，但在计算机科学中具有广泛的使用和有效的含义。

它的意思是：一个构造（例如函数）可以用其结果替换而不改变其含义。

在常用中，它是相似的，但不完全等同，到纯表达式。 纯表达式仅由其他纯表达式组成。 引用透明表达式可以在内部是不纯的，例如在计算过程中使用可变状态，但在整个表达式之外没有副作用。

所有纯函数，由于其构造，都是引用透明的，但反之则不一定。

许多语言功能支持不纯的引用透明性，例如 Haskell 中的 ST monad，以及 C++ 中的 constexpr 和某些 lambda。

有时会强制执行引用透明性，而有时程序员必须自己保证这一点。

Answer 6

编程中的引用透明性是指当向函数提供输入时，它将始终为所提供的给定输入返回相同的值。 以下面的示例函数为例。

Int plusFive(int x){

return x+5

}

对于给定的输入整数 x，该函数将始终返回相同的值。 上述函数的输出可以用其返回值替换，并且代码的操作应该相同。 例如，如果 x=10，则代码可以写为：

Int output = plusFive(10)

或

Int output = 15

Answer 7

我知道我在这方面迟到了，但大多数帖子似乎对此都有误解。

引用透明度意味着您可以在给定 y=x(t) 的情况下将函数调用 x(t) 替换为 y。

你可以有$“输出是{y}”或$“输出是{x(t)}”

这意味着不能有副作用，因为如果状态改变，那么你不能用y替换x(t)。

然而，x(t) 仍然可以依赖于外部状态。 这就是引用透明函数与纯函数的区别。

Answer 8

“参照透明度”一词来自分析哲学，这是分析自然语言结构的哲学分支，基于逻辑和数学方法的陈述和论证。 换句话说，它是计算机科学之外最接近我们所说的编程语言语义的学科。 哲学家 Willard Quine 负责提出参照透明度的概念，但它也隐含在伯特兰·罗素和阿尔弗雷德·怀特海的方法。

从本质上讲，“引用透明度”是一个非常简单明了的想法。 术语“所指对象”在分析哲学中用于谈论表达式所指的事物。 它与我们在编程语言语义中所说的“含义”或“外延”大致相同。 使用 Andrew Birkett 的示例 (博客文章），“苏格兰首都”一词指的是爱丁堡市。 这是“参照物”的一个简单例子。

如果将上下文中的术语替换为指代同一实体的另一个术语不会改变含义，则句子中的上下文是“引用透明的”。 例如

苏格兰议会在苏格兰首都举行会议。

意思是一样的

苏格兰议会在爱丁堡举行会议。

因此，上下文“苏格兰议会在……召开”是一个引用透明的上下文。 我们可以将“苏格兰的首都”替换为“爱丁堡”而不改变含义。 换句话说，上下文只关心该术语所指的内容，而不关心其他内容。 这就是上下文“参照透明”的含义。

另一方面，在句子中，

爱丁堡自 1999 年以来一直是苏格兰的首都。

我们无法进行这样的替代。 如果我们这样做，我们会得到“Edinburgh has be Edinburgh since 1999”，这是一个疯狂的说法，并且传达的含义与原始句子不同。 因此，上下文“自 1999 年以来爱丁堡一直是……”似乎是引用不透明的（与引用透明相反）。 它显然比该术语所指的内容更关心一些事情。 它是什么？

诸如“苏格兰首都”之类的词被称为定语，长期以来，它们一直让逻辑学家和哲学家头疼不已。 罗素和蒯因对它们进行了整理，称它们实际上并不是“指称的”，即认为上述例子是用来指称实体的，这是错误的。 理解“爱丁堡自 1999 年以来一直是苏格兰首都”的正确方法是：

苏格兰自 1999 年起就有首都，首都是爱丁堡。

这句话不能转化为一句废话。 问题解决了！ 奎因的观点是，自然语言是混乱的，或者至少是复杂的，因为它是为了方便实际使用而设计的，但哲学家和逻辑学家应该通过以正确的方式理解它们来带来清晰度。 引用透明度是一种用于带来这种意义清晰度的工具。

这一切与编程有什么关系？ 事实上，并不多。 正如我们所说，参照透明度是一种用于理解语言的工具，即分配含义。 Christopher Strachey 是编程语言语义领域的创始人，他在意义研究中使用了它。 他的基础论文“编程语言的基本概念”可在网络上找到。 这是一篇漂亮的论文，每个人都可以阅读和理解它。 所以，请这样做。 你将会得到很大的启发。 他在本段中引入了“参照透明度”一词：

表达式最有用的属性之一是由 Quine 引用调用的属性
透明度。 本质上，这意味着如果我们希望找到一个表达式的值，
包含子表达式，关于子表达式我们唯一需要知道的是它的
价值。 子表达式的任何其他特征，例如其内部结构、数量
及其成分的性质、评估顺序或油墨的颜色
它们的写入位置与主表达式的值无关。

“本质上”的使用表明斯特雷奇正在解释它，以便用简单的术语解释它。 函数式程序员似乎以自己的方式理解这一段话。 论文中还出现了 9 次“引用透明度”，但他们似乎并不关心其他任何一个。 事实上，Strachey 的整篇论文都致力于解释命令式编程语言的含义。 但是，今天，函数式程序员声称命令式编程语言不是引用透明的。 斯特雷奇将会在坟墓里翻身。

我们可以挽救局势。 我们说自然语言是“混乱的，或者至少是复杂的”，因为它是为了方便实际使用而设计的。 编程语言也是同样的道理。 它们是“混乱的，或者至少是复杂的”，因为它们是为了方便实际使用而设计的。 这并不意味着他们需要让我们感到困惑。 只需使用引用透明的元语言以正确的方式理解它们，以便我们具有清晰的含义。 在我引用的论文中，斯特雷奇正是这么做的。 他通过将命令式编程语言分解为基本概念来解释它们的含义，从不丢失任何地方的清晰度。 他的分析的一个重要部分是指出编程语言中的表达式有两种“值”，称为左值和右值。 在斯特雷奇发表论文之前，这一点还没有被理解，而且混乱不堪。 如今，C 的定义经常提到它，并且每个 C 程序员都理解其中的区别。 （很难说其他语言的程序员是否同样能理解它。）

Quine 和 Strachey 都关心涉及某种形式的上下文依赖的语言结构的含义。 例如，我们的示例“爱丁堡自 1999 年以来一直是苏格兰的首都”表示“苏格兰首都”取决于考虑它的时间。 这种上下文依赖性在自然语言和编程语言中都是现实的。 即使在函数式编程中，自由变量和绑定变量也应根据它们出现的上下文进行解释。任何类型的上下文依赖都会以某种方式阻止引用透明度。 如果您试图理解术语的含义而不考虑它们所依赖的上下文，您将再次陷入混乱。 蒯因关心模态逻辑的含义。 他认为模态逻辑是指称不透明的，应该通过将其翻译为参考透明的框架（例如，将必要性视为可证明性）。 他基本上输掉了这场辩论。 逻辑学家和哲学家都认为克里普克的可能世界语义是完全足够的。 命令式编程也存在类似的情况。 Strachey 解释的状态依赖和 Reynolds 解释的存储依赖（以类似于 Kripke 的可能世界语义的方式）是完全足够的。 函数式程序员对这项研究了解不多。 他们关于引用透明性的想法需要持保留态度。

[附加说明：上面的例子表明，诸如“苏格兰首都”之类的简单短语具有多个层次的含义。 在某种程度上，我们现在可能正在谈论首都。 在另一个层面上，我们可能会谈论苏格兰在一段时间内可能拥有的所有可能的首都。 在正常实践中，我们可以很容易地“放大”特定上下文并“缩小”以跨越所有上下文。 自然语言的效率利用了我们这样做的能力。 命令式编程语言的高效性与此非常相似。 我们可以在赋值的右侧使用变量x（r-value）来讨论其在特定状态下的值。 或者，我们可能会谈论它跨越所有状态的l-value。 人们很少会对这些事情感到困惑。 然而，它们可能能够也可能不能精确地解释语言结构中固有的所有层次的含义。 所有这些层次的含义不一定是“显而易见的”，正确研究它们是一个科学问题。 然而，普通人对这种分层含义的解释不清晰并不意味着他们对此感到困惑。]

下面的一个单独的“后记”将这个讨论与函数式和命令式编程的关注点联系起来。。

Answer 9

引用透明度是函数式编程中常用的术语，意味着给定一个函数和一个输入值，您将始终收到相同的输出。 也就是说函数中没有使用外部状态。

以下是引用透明函数的示例：

int plusOne(int x)
{
  return x+1;
}

使用引用透明函数，给定输入和函数，您可以用值替换它，而不是调用函数。 因此，我们可以将其替换为 6，而不是使用参数 5 来调用 plusOne。

另一个很好的例子是一般数学。 在数学中，给定一个函数和一个输入值，它将始终映射到相同的输出值。 f(x) = x + 1。因此数学中的函数是引用透明的。

这个概念对研究人员来说很重要，因为它意味着当您拥有引用透明的函数时，它可以轻松实现自动并行化和缓存。

引用透明性总是在像 Haskell 这样的函数式语言中使用。

——

相反，有参照不透明的概念。 这意味着相反。 调用该函数可能并不总是产生相同的输出。

//global G
int G = 10;

int plusG(int x)
{//G can be modified externally returning different values.
  return x + G;
}

另一个例子是面向对象编程语言中的成员函数。 成员函数通常对其成员变量进行操作，因此是引用不透明的。 当然，成员函数可以是引用透明的。

另一个示例是从文本文件读取并打印输出的函数。 该外部文本文件可能随时更改，因此该函数将是引用不透明的。

Answer 10

引用透明函数是一种仅依赖于其输入的函数。

Answer 11

[这是我 3 月 25 日回答的后记，旨在让讨论更接近函数式/命令式编程的关注点。]

函数式程序员的引用透明性想法似乎在三个方面与标准概念不同：

• < p>哲学家/逻辑学家使用“指称”、“表示”、“designatum”和“bedeutung”（弗雷格的德语术语）等术语，而函数式程序员则使用术语“值”。 （这并不完全是他们做的。我注意到 Landin、Strachey 和他们的后代也使用“value”这个术语来谈论所指/外延。这可能只是 Landin 和 Strachey 引入的术语简化，但它似乎使以天真的方式使用时会有很大差异。）

• 函数式程序员似乎相信这些“值”存在于编程语言内部，而不是外部。 在这样做时，他们与哲学家和编程语言语义学家都不同。

• 他们似乎相信这些“值”应该是通过评估获得的。

例如，维基百科关于引用透明度的文章今天早上说：

如果一个表达式可以用它的值替换而不改变程序的行为（换句话说，在相同的输入上产生具有相同效果和输出的程序），则该表达式被认为是引用透明的。

这与哲学家/逻辑学家的说法完全不一致。 他们说，如果上下文中的表达式可以被引用相同事物的另一个表达式替换（核心引用表达式），则上下文是引用的或引用透明的。 这些哲学家/逻辑学家是谁？ 它们包括Frege、罗素，怀特黑德，Carnap，Quine、Church 以及无数其他人。 他们每一个都是一个高耸的人物。 这些逻辑学家的综合智力至少可以说是惊天动地的。 他们一致认为所指/指称存在于形式语言之外，而语言中的表达只能谈论它们。 因此，人们在语言中所能做的就是用引用同一实体的另一个表达式替换一个表达式。 所指/指代本身不存在于语言中。 为什么函数式程序员会背离这个既定的传统呢？

人们可能会认为编程语言语义学家可能误导了他们。 但是，他们没有。

登陆：

(a) 每个表达式都有一个
嵌套子表达式结构，(b) 每个子表达式
表示某物（通常是数字、真值或
数值函数），(c) 表达式表示的事物，
即，它的“价值”，仅取决于其子的值
表达式，而不是它们的其他属性。 [增加强调]

故事：

表达式唯一重要的是它的值，任何子表达式都可以是
替换为任何其他同等价值 [添加强调]。 此外，在一定范围内，表达式的值无论何时出现都是相同的。

鸟和瓦德勒：

表达式的值仅取决于其组成部分的值
表达式（如果有）和这些子表达式可以自由替换为其他
具有相同的值 [增加强调]。

因此，回想起来，兰丁和斯特雷奇通过用“价值”取代“所指”/“外延”来简化术语的努力可能是不明智的。 人们一听到“价值”，就会忍不住想到一个导致它的评估过程。 同样很容易将评估产生的任何内容视为“值”，即使很明显这不是外延。 这就是我认为在函数式程序员眼中“引用透明度”概念所发生的情况。 但是早期语义学家所说的“值”并不是评估的结果或函数的输出或任何类似的东西。 这是该术语的外延。

一旦我们将表达式的所谓“值”（古典哲学家话语中的“所指”或“外延”）理解为一个复杂的数学/概念对象，各种可能性就会出现。

• Strachey 将命令式编程语言中的变量解释为 L 值，正如我在 3 月 25 日的回答中提到的，这是一个复杂的概念对象，在编程语言的语法中没有直接表示。
• 他还将这种语言中的命令解释为状态到状态函数，这是复杂数学对象的另一个实例，它不是语法中的“值”。
• 即使 C 中的副作用函数调用也有一个明确定义的“值”作为状态转换器，将状态映射到状态和值对（函数式程序员术语中所谓的“monad”）。

函数式程序员不愿意称这种语言为“引用透明”，仅仅意味着他们不愿意承认这种复杂的数学/概念对象作为“值”。 另一方面，当状态转换器被放入他们自己喜欢的语法并用“monad”这样的流行词装饰时，他们似乎非常愿意将状态转换器称为“值”。 我不得不说，即使我们承认他们的“引用透明度”想法具有一定的一致性，他们也是完全不一致的。

回顾一下历史或许可以让我们了解这些混乱是如何产生的。 1962 年至 1967 年对于 Christopher Strachey 来说是非常紧张的时期。 1962 年至 65 年间，他在莫里斯·威尔克斯 (Maurice Wilkes) 那里兼职担任研究助理，设计并实现了后来被称为 CPL 的编程语言。 这是一种命令式编程语言，但也具有强大的函数式编程语言功能。 Landin 是 Strachey 咨询公司的员工，他对 Strachey 对编程语言的看法产生了巨大影响。 在 1965 年具有里程碑意义的论文“Next 700 种编程语言”中，Landin 毫不掩饰地推广函数式编程语言（称它们是外延语言），并将命令式编程语言描述为它们的“对立面”。 在随后的讨论中，我们发现斯特雷奇对兰丁的强势地位提出了质疑。

... DL 表格
所有语言的子集。 它们是一个有趣的子集，但其中一个
除非你习惯了，否则使用起来很不方便。 我们需要
他们因为目前我们不知道如何构建
使用包括祈使句和跳转的语言进行证明。 [增加强调]

1965 年，斯特雷奇担任牛津大学讲师，似乎基本上全职致力于发展命令式和跳跃理论。 到 1967 年，他已经准备好一种理论，并在“Martin Campbell-Kelly< /a>）

获取斯特雷奇著作的困难可能导致人们依赖二手资料和道听途说而产生混乱，但是，现在“基本概念"在网上很容易找到，没有必要依靠猜测，我们应该阅读它并自己编写。请注意 Strachey 的含义：

• 在第 3.2 节中，他讨论了“R 值引用透明度”，在
• 第 3.3 节中讨论了“命令”，其中谈到了“L 值引用透明度”。 ”。
• 在第 3.4.5 节中，他谈到了“函数和例程”，并声明“R 值上下文中 R 值引用透明度的任何偏离都应该
  要么通过将表达式分解为多个命令来消除，并且更简单
  表达式，或者，如果这变得困难，则成为注释的主题。”

如果不理解 L 值、R 值和填充命令式程序员概念宇宙的其他复杂对象之间的区别，任何关于“引用透明度”的讨论都是从根本上来说是错误的。

Answer 12

如果表达式可以用其值替换，而不更改算法，从而产生对相同输入具有相同效果和输出的算法，则该表达式是引用透明的。

Answer 13

引用透明函数是一种行为类似于数学函数的函数； 给定相同的输入，它将始终产生相同的输出。 这意味着传入的状态未被修改，并且该函数没有自己的状态。

Answer 14

对于那些需要简明解释的人，我将冒险进行解释（但请阅读下面的披露）。

编程语言中的引用透明度促进了等式推理——引用透明度越高，进行等式推理就越容易。 例如，使用（伪）函数定义，

fx = x + x，

您可以轻松（安全地）在此定义范围内用 foo + foo 替换 f(foo)，而无需对执行位置有太多限制这种减少很好地表明了您的编程语言具有多少引用透明度。

例如，如果 foo 在 C 编程意义上是 x++，那么您就无法安全地执行此缩减（也就是说，如果您要执行此缩减，您最终不会得到与开始时相同的程序）。

在实际的编程语言中，你不会看到完美的引用透明度，但函数式程序员比大多数人更关心它（参见 Haskell，它是一个核心目标）。

（全面披露：我是一名函数式程序员，因此根据最佳答案，您应该对这个解释持保留态度。）

Answer 15

如果您对词源感兴趣（即为什么这个概念有这个特定的名称），请查看我的 关于该主题的博客文章。 该术语来自哲学家/逻辑学家奎因。

Answer 16

1. 指称语义基于建模语言，通过构建构成可表示值的域来实现。
2. 函数式程序员使用术语值来描述基于语言重写规则的计算的收敛性，即。 它的操作语义。

在 1 中，所讨论的两种语言是明确的：

• 被建模的语言、对象语言
• 、建模语言、元语言

在 2 中，由于对象和元语言的接近性，它们可能会被混淆。

作为一名语言实现者，我发现我需要不断记住这种区别。

雷迪教授，我可以这样解释你吗:-)

在函数式编程和语义的上下文中，术语“引用”
透明度并不是参照透明。