其结果仅取决于其参数的函数的名称是什么？

Question

我正在编写一个玩具编译器，如果结果仅取决于参数的值，它可以优化函数调用。因此，像 xor 和 concatenate 这样的函数仅依赖于它们的输入，使用相同的输入调用它们总是会给出相同的输出。但是像 time 和 rand 这样的函数依赖于“隐藏”的程序状态，并且使用相同的输入调用它们可能会给出不同的输出。我只是想弄清楚区分这两种类型的函数的形容词是什么，比如“同构”或“可重入”之类的。有人可以告诉我我要找的词吗？

Answer 1

您要查找的术语是Pure

• http://en.wikipedia.org/维基/Pure_function

Answer 2

我认为它被称为纯函数：

在计算机编程中，如果有关函数的以下两个陈述都成立，则可以将函数描述为纯函数：

• 给定相同的参数值，该函数始终计算相同的结果值。函数结果值不能依赖于任何隐藏信息或状态，这些信息或状态可能会随着程序执行的进行或程序的不同执行之间发生变化，也不能依赖于来自 I/O 设备的任何外部输入。
• 结果的评估不会导致任何语义上可观察到的副作用或输出，例如可变对象的突变或输出到 I/O 设备。

结果值不需要依赖于所有（或任何）参数值。但是，它必须只依赖于参数值。

Answer 3

我想如果你用“纯函数”的话，你可以说这个形容词是“纯”。

我总是了解到，当参数始终相同时输出始终相同的函数称为“确定性”。就我个人而言，我认为这是一个更具描述性的术语。我猜想“纯函数”根据定义是确定性的，并且似乎纯函数也需要没有任何副作用。我认为并非所有确定性函数都是如此（只要相同参数的返回值始终相同）。

维基百科链接：http://en.wikipedia.org/wiki/Deterministic_algorithm

引用：

给定特定的输入，它将始终产生相同的输出，并且底层机器将始终经历相同的状态序列。