WOLFRAM

Wolfram 语言与系统参考资料中心

"IncrementalFunction" （编译类型）

"IncrementalFunction"::[next,send]

表示一个类型，可保存增量函数的状态，该函数可以产生类型 next 并接收类型 send.

更多信息

  • "IncrementalFunction" 可用来引用通过 IncrementalFunction 创建的函数的运行实例.

函数构造

  • 通过编译用 IncrementalFunction 标记的函数来创建 "IncrementalFunction" 的实例.

操作

  • 对于类型为 "IncrementalFunction" 的实例，可进行下操作：
  • obj["Close"]终止增量函数的执行，使其无法恢复运行
    obj["Next"]恢复增量函数的运行，继续执行，直到下一个挂起点或结束
    obj["Send",val]恢复增量函数发送 val 值，并让执行继续到下一个挂起点或结束

属性

  • 对于类型为 "IncrementalFunction"::[yield,receive] 的 obj，Information[obj,"YieldType"] 给出 "TypeSpecifier"::[yield].
  • 对于类型为 "IncrementalFunction"::[yield,receive] 的 obj，Information[obj,"ReceiveType"] 给出 "TypeSpecifier"::[receive].

转换

    表达式

  • 将 "IncrementalFunction" 对象转换为表达式需要在表达式中嵌入对增量函数的引用. 这种方式快速且允许调用操作. 当表达式被释放时，对增量函数的引用也会被移除，这可能导致函数被永久终止并释放所有资源.

范例

基本范例  (1)

编译一个返回增量函数对象的程序：

增量函数的一个实例：

编译一个程序，该程序接受增量函数对象作为参数并调用 "Next"：

在编译函数中调用 "Next"：

再次调用 "Next"：

从求值器调用 "Next"：

再次调用 "Next" 会返回一个失败，因为增量函数已经完成运行：