Civet项目中`do*`语法在顶层函数与方法中的差异分析

问题概述

在Civet语言中，do*语法块用于创建生成器函数(generator function)，但在实际使用中发现其在顶层函数定义和类方法定义中存在不一致的行为表现。这种不一致性可能导致开发者在使用时产生困惑，甚至引发潜在的运行时错误。

行为差异的具体表现

顶层函数中的do*

当在顶层函数中使用do*时，Civet会正确地将其编译为一个立即执行的生成器函数：

->
  do*
   yield foo
   yield bar

编译结果为：

function () {
  return (function* () {
    {
      yield foo;
      yield bar;
    }
  })();
}

这种转换是正确的，它创建了一个立即调用的生成器函数(IIGE)，能够按预期产生值序列。

类方法中的do*

然而，当在类方法中使用do*时，编译结果却存在问题：

{
  f()
    do*
     yield foo
     yield bar
}

编译结果为：

{
  *f() {
    (function* () {
      {
        yield foo;
        yield bar;
      }
    })();
  }
}

这里的问题在于，虽然外层函数被正确地标记为生成器函数(通过*f语法)，但内部创建的生成器函数只是被调用而没有返回或yield其结果，导致该方法实际上不会产生任何值。

问题的影响范围

这个bug不仅影响普通的类方法，还会影响getter方法。当尝试在getter中使用do*时，会导致编译错误"Getters and setters cannot be generators"，因为当前的实现方式不正确。

技术背景

生成器函数是JavaScript中一种特殊的函数，它可以通过yield关键字暂停和恢复执行。在ES6中，生成器函数通过在函数声明前添加*来标识。Civet的do*语法旨在简化生成器函数的创建和使用。

正确的实现方式

对于类方法中的do*，正确的编译结果应该类似于：

{
  *f() {
    yield* (function* () {
      {
        yield foo;
        yield bar;
      }
    })();
  }
}

这里的关键区别是使用了yield*表达式，它会委托(delegate)给另一个生成器函数，确保内部生成器的值能够被正确传播到外部。

解决方案建议

要解决这个问题，Civet的编译器需要：

1. 识别do*在方法定义中的使用场景
2. 在这种情况下生成yield*表达式而不是简单地调用生成器函数
3. 确保getter和setter方法不会被错误地标记为生成器函数
4. 保持顶层函数中do*的现有正确行为

总结

Civet语言中的do*语法在顶层函数和方法定义中存在不一致的行为，这可能导致开发者在使用时遇到难以察觉的错误。理解这种差异对于正确使用生成器函数非常重要。修复这个bug需要编译器对不同的上下文进行区分处理，确保在所有情况下都能生成正确的生成器函数实现。