咨询Jetpack Compose中可组合项Modifier参数作用域的Kotlin实现特性

这是一个偏理论的技术问题：Jetpack Compose中可组合项的Modifier参数作用域是通过哪项Kotlin语言特性实现的？我理解Compose的content参数是通过**带接收者的字面量（literal with receiver）**机制实现作用域控制，但不清楚Modifier参数的作用域是如何实现的，只需给出方向指引即可。

补充说明（澄清错误认知） #

此前问题源于误解，附上示例代码说明：

Row(modifier = Modifier.weight(1f)) { // 曾误以为weight函数可在此处Row的modifier参数中使用
    Box(modifier = modifier.weight(1f)){} // 实际上weight函数仅能在此处Row的content作用域内调用
}

方向指引 #

• Modifier的作用域安全是通过Kotlin扩展函数 + 受限接收者类型实现的。像weight这类作用域限定的Modifier函数，并非定义为全局Modifier类的扩展，而是绑定到特定的作用域接口（比如RowScope）的扩展函数，这就限制了它只能在对应作用域内被调用。
• 核心逻辑是：这类作用域专属的Modifier函数是特定作用域接口的扩展，只有当当前上下文的接收者属于该接口类型时，才能访问这些函数。

内容的提问来源于stack exchange，提问作者Mihai Tudor