1

我正在编写一个用于反应式评估的小型 DSL，需要在 Groovy 中进行元编程方面的帮助。

示例 DSL 代码：

Signal<Integer> a = var(1)
Signal<Integer> b = var(2)
Signal<Integer> c = signal { a(it) + b(it) }

'var' 函数创建新Signal实例。

该signal函数需要Signal闭包内的实例列表（引用a和b示例）。

工作实施：

interface Signal<T> {
    T now()
}

Signal.metaClass.call = { dependencies ->
    dependencies?.add(delegate)
    delegate.now()
}

def signal = { Closure<?> body ->
    def dependencies = new HashSet<>()
    body.call(dependencies)
    createSignal(dependencies, body)
}

有什么方法可以等待传递it变量，所以示例看起来像

Signal<Integer> a = var(1)
Signal<Integer> b = var(2)
Signal<Integer> c = signal { a() + b() }

编辑：用于测试的 存根Signal实现：

class SignalStub<T> implements Signal<T> {
    T value
    Collection<Signal<?>> dependencies

    static def var(value) { new SignalStub<>(value: value, dependencies: [])}
    static def createSignal(deps, body) { new SignalStub<Object>(value: body.call(), dependencies: deps) }

    @Override
    T now() {
        return value
    }
}

DSL的测试用例：

def a = var(1)
def b = var(2)

def c = signal { a() + b() }

assert c.now() == 3
assert c.dependencies.contains(a)
assert c.dependencies.contains(b)
4

1 回答 1

1

问题是：“有没有办法避免传递 it 变量？” 由于 a 和 b 是局部变量，并且局部变量不参与 MOP，因此使用运行时元编程应该是不可能的。

使用转换是可能的，但我不知道你是否想在这里走那么远

于 2012-05-23T10:05:53.430 回答