如何在Jetpack Compose中对可组合函数参数进行类型限制？

在Jetpack Compose里，直接通过函数类型约束强制参数只能是Button做不到——因为Button本质是符合@Composable () -> Unit签名的函数，而Kotlin的函数类型只校验签名，不区分具体是哪个函数。不过可以通过以下方案实现类似限制：

方案一：密封类+专属创建函数（最可靠） #

通过密封类封装Button内容，同时只对外暴露一个创建实例的函数，强制只能传入Button相关实现：

// 密封类，仅允许指定子类实现
sealed class ButtonContent {
    @Composable
    abstract fun Render()
}

// 内部子类，包装Button逻辑
private class WrappedButton(private val button: @Composable () -> Unit) : ButtonContent() {
    @Composable
    override fun Render() {
        button()
    }
}

// 对外唯一创建入口，仅生成Button实例
@Composable
fun buttonContent(
    onClick: () -> Unit,
    modifier: Modifier = Modifier,
    content: @Composable () -> Unit = {}
): ButtonContent {
    return WrappedButton {
        Button(onClick = onClick, modifier = modifier) {
            content()
        }
    }
}

// 修改目标函数，接收ButtonContent类型参数
@Composable
fun MyComposable(
    myParameter: ButtonContent
) {
    myParameter.Render()
}

使用时必须通过buttonContent()传入Button，无法直接传入其他可组合函数：

// 合法调用
MyComposable(
    myParameter = buttonContent(onClick = { /* 点击逻辑 */ }) {
        Text("确认")
    }
)

// 非法调用，无法通过编译
// MyComposable(myParameter = { Text("无效内容") })

方案二：通过函数签名缩小范围（弱限制） #

如果Button有固定必填参数（比如onClick），可以把参数的函数类型调整为匹配Button的签名，以此缩小可传入的函数范围：

@Composable
fun MyComposable(
    // 匹配Button核心签名：需要onClick和modifier参数
    myParameter: @Composable (onClick: () -> Unit, modifier: Modifier) -> Unit
) {
    // 使用时传入必要参数
    myParameter(
        onClick = { /* 处理点击 */ },
        modifier = Modifier.padding(16.dp)
    )
}

这种方式只能限制函数签名和Button一致，无法完全阻止其他符合签名的自定义可组合函数传入，适合不需要严格限制的场景。

不推荐方案：反射检查 #

虽然可以通过反射在运行时检查lambda内部是否调用了Button，但Compose编译时会对可组合函数做大量优化，反射逻辑容易失效，还会影响性能，因此不建议使用。

内容的提问来源于stack exchange，提问作者Anchith Acharya