当我们说一个程序的一个方面可以完全独立地完全改变 时,我们说的是彼此正交。
我正在寻找相反一词。例如,在C ++中,如果复制分配运算符具有与复制构造函数相同的调用签名,并且它们具有相同的效果(或足够接近而不在乎),则是个好主意。因此,人们可能会说或写:“在C ++中,好的类设计是使复制构造函数和赋值运算符_______相互之间。”
[EDIT]我要询问与以下语句相关的计算机语言概念:“这两个函数具有相同的标识但角色相似,因此应具有相同的参数类型,相同的返回类型(如果可能) ,并且具有相同(或高度相似)的副作用或行为。”
这个问题与C ++无关,也与面向对象无关。 我正在这里寻找更通用的计算机科学或数学概念。
答案 0 :(得分:1)
您是说这样的两个功能吗?
f:T-> R g:T-> R
对于T中的所有x,f(x)== g(x)
并接受相同的副作用(数学上没有函数的副作用)
g和f只是等效函数。