具有相同签名和相同行为但名称不同的两个功能的技术术语是什么?

时间:2018-11-05 22:13:22

标签: computer-science terminology language-design

当我们说一个程序的一个方面可以完全独立地完全改变 时,我们说的是彼此正交。

我正在寻找相反一词。例如,在C ++中,如果复制分配运算符具有与复制构造函数相同的调用签名,并且它们具有相同的效果(或足够接近而不在乎),则是个好主意。因此,人们可能会说或写:“在C ++中,好的类设计是使复制构造函数和赋值运算符_______相互之间。”

[EDIT]我要询问与以下语句相关的计算机语言概念:“这两个函数具有相同的标识但角色相似,因此应具有相同的参数类型,相同的返回类型(如果可能) ,并且具有相同(或高度相似)的副作用或行为。”

这个问题与C ++无关,也与面向对象无关。 我正在这里寻找更通用的计算机科学或数学概念。

1 个答案:

答案 0 :(得分:1)

您是说这样的两个功能吗?

f:T-> R g:T-> R

对于T中的所有x,f(x)== g(x)

并接受相同的副作用(数学上没有函数的副作用)

g和f只是等效函数。