一个表达式是引用透明的，如果它可以用它的值替换，而不改变算法，产生的算法在相同的输入上具有相同的效果和输出。

一个表达式是引用透明的，如果它可以用它的值替换，而不改变算法，产生的算法在相同的输入上具有相同的效果和输出。

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

在编程上下文中出现的一个相关问题可能是多态性。

也许我们应该为特殊情况下的多态(或者甚至是强制转换)取一个名字，其中不同的多态情况在语义上是等价的(而不是完全相似)。例如，数字1——可以用整数类型、复杂类型或任何其他类型表示——可以用多态方式处理)。

引用透明性可以简单地表述为:

一个表达式在任何上下文中总是求相同的结果[1]， 一个函数，如果给定相同的参数两次，必须产生相同的结果两次。

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

编程中的引用透明性指的是，当一个函数提供了一个输入时，它总是会为给定的输入返回相同的值。以下面的示例函数为例。

Int plusFive(int x){

return x+5

}

对于给定的输入整数x，该函数总是返回相同的值。上述函数的输出可以被其返回值所替代，并且代码的操作应该相同。例如，如果x=10，那么代码可以写成:

Int输出= + 5 (10)

OR

Int输出= 15

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

下面是一个引用透明函数的例子:

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

对于引用透明函数，给定一个输入和一个函数，您可以用一个值替换它，而不是调用函数。所以我们不用参数5来调用+ one，我们可以用6来代替它。

另一个很好的例子是一般的数学。在数学中，给定一个函数和一个输入值，它总是映射到相同的输出值。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;
}

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

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