generator 生成器类型

[muzea]

指定一个表达式来生成一个数据

这个类型引入了本地变量的概念，ref、prev、index，在这里会成为局部的保留字

语法

constraint g generator initValue expression

• initValue 初始值 第一次取值的时候仍然会用 expression 去求一次值，也就是说，initValue 是 ref[0]，第一次输出的值是 ref[1]
• expression 一个合法的、不换行的 js_Expression 它需要返回一个值

例如

constraint g generator 0 prev+index

什么是局部的保留字

显然这个类型我们需要引用一些特殊的信息，比如当前处在 列表 的第几个，之前的值是什么样子的，所以需要在里面占用掉一些变量的名字。

但是这几个变量只有在这个约束求值的时候才会存在，所以叫做局部的保留字。

你仍然可以使用 index 作为一个约束的变量名，这不会冲突，只是在 generator 约束的求值中无法访问这个变量。