二元函数


类别: 函数对象	组件类型: 概念

二元函数是一种函数对象：一个像普通 C++ 函数一样被调用的对象。二元函数被调用时需要两个参数。

二元函数的定义域是所有有序对的集合(x, y)这些是其参数的允许值。

二元函数的值域是它可能返回的所有可能值的集合。

名称	表达式	类型要求	返回类型
函数调用	`f(x,y)`		`结果`

名称	表达式	前提条件	语义	后置条件
函数调用	`f(x,y)`	有序对`(x,y)`在`f`的定义域中	调用`f`使用`x`和`y`作为参数，并返回类型为的值`结果` [1]	返回值在`f`的值域中

[1] 的不同调用f可能会返回不同的结果，即使f被多次调用时使用相同的参数。二元函数可能引用局部状态、执行 I/O 等。表达式f(x,y)被允许修改f的状态。