生成器


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

描述

生成器是一种函数对象：一个像普通 C++ 函数一样被调用的对象。生成器在没有参数的情况下被调用。

细化自

关联类型

结果类型	生成器被调用时返回的类型

符号

`F`	生成器模型的类型
`结果`	的返回值类型`F`
`f`	类型为的对象`F`

定义

生成器的范围是它可能返回的所有可能值的集合。

有效表达式

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

表达式语义

名称	表达式	前提条件	语义	后置条件
函数调用	`f()`		返回类型为的一些值`结果` [1]	返回值在`f`的范围内。

复杂度保证

不变式

模型

Result (*)()

备注

[1] 的不同调用f可能会返回不同的结果：生成器可能引用局部状态，执行 I/O 等。表达式f()允许更改f的状态；f例如，可能表示伪随机数生成器。

另请参阅

函数对象概述，一元函数，二元函数，可适配生成器

版权所有 © 1999 Silicon Graphics, Inc. 保留所有权利。商标信息