一元函数


类别: 函子	组件类型: 概念

描述

一元函数是一种函数对象: 一个被称为普通 C++ 函数的对象。一元函数使用单个参数进行调用。

细化

关联类型

参数类型	一元函数参数的类型。
结果类型	一元函数被调用后返回的类型。

符号

`F`	一元函数模型的类型
`X`	的参数类型`F`
`结果`	的结果类型`F`
`f`	的类型对象`F`
`x`	的类型对象`X`

定义

一元函数的域是其参数的所有允许值的集合。

一元函数的范围是它可能返回的所有可能值的集合。

有效表达式

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

表达式语义

名称	表达式	前置条件	语义	后置条件
函数调用	`f(x)`	`x`在`f`的域中	按需调用`f`作为参数，然后返回`x`类型的数值`结果` [1]	返回值在`f`的范围中

复杂性保证

不变性

模型

Result (*)(X)

注释

[1]的两个不同调用f即使f始终使用相同参数进行调用，也可能返回不同的结果。一元函数可能指本地状态，执行 I/O 等。f(x)允许表达式f更改

状态。

另请参见

函数对象概览, 生成器, 二元函数自适应一元函数版权所有 © 1999 Silicon Graphics, Inc. 保留所有权利。