lambda - Kotlin HTML Builder如何在引擎盖下精确工作？

这是一个片段，解释了htmlx构建器的某些部分(来自文档):

protected fun <T : Element> initTag(tag: T, init: T.() -> Unit): T {
    tag.init()
    children.add(tag)
    return tag
}

要点是children.add(tag)，因此我们可以声明:

html {
    head {}
    body {}
}

因为head和body是html的成员函数。
但是 DIV 标签呢？我可以在任何地方声明div，此外，我可以这样写:

someEnclosingTag { (1..3).forEach { div {+"MyCustomDivFromEverywhere"}  }}

封闭的lambda如何知道可以在各处声明的“子” lambda(以及分别在整个html中添加“child”标签)？

如果我在某处错了，请纠正我。

更新

基于答案，我以下面的脏代码结尾，该代码显示了函数作用域(闭包的某些方面)和隐式接收者遗漏(希望它可以以某种方式帮助某人):

fun main(args: Array<String>) {
    Child().childFun {
        /*childFun lambda receiver implements parent1Fun lambda receiver, so the receiver can be omitted*/
        parent1Fun {
            /*call from Child.() -> Unit receiver*/
            someIntrestingFun()
        }
        /*same as with parent1Fun*/
        parent2Fun {
            /*call from Child.() -> Unit receiver*/
            someIntrestingFun()
        }
    }
}

fun Child.childFun(lambda: Child.() -> Unit): Child = genericFun(Child(), lambda)

fun ParentInt1.parent1Fun(lambda: ParentInt1.() -> Unit): ParentInt1 = genericFun(Child(), lambda)

fun ParentInt2.parent2Fun(lambda: ParentInt2.() -> Unit): ParentInt2 = genericFun(Child(), lambda)

fun <T> genericFun(instance:T, lambda:T.() -> Unit): T {
    instance.lambda()
    return instance
}

interface ParentInt1
interface ParentInt2

class Child : ParentInt1, ParentInt2 {
    fun someIntrestingFun() { println(this) }
}

最佳答案

您可以在语言参考中找到有关构建此类DSL的技术的更多信息，请参见:Type-Safe Builders，该页面提供了示例HTML构建器(尽管kotlinx.html更为复杂)。



这就是函数解析的工作方式:当嵌套的lambda与接收器(或不带接收器)一起嵌套时，可以在内部的(*)接收器上调用成员/扩展函数，这是一个非常综合的示例:

with(arrayListOf<String>()) {
    with(hashMapOf<Int, String>()) {
        // You can call both functions of `ArrayList` and `HashMap`:
        add("foo")
        put(1, "bar")

        // Even in the nested lambdas with no receiver:
        baz.forEach { put(it, "it = $it") }
    }
}

(*):在高级DSL中，可以使用 @DslMarker 限制作用域，以避免意外地从外部作用域调用接收器上的函数。