Kotlin如何重写父接口中带同类型接收者lambda参数的invoke方法

问题根因 #

你遇到的签名冲突是因为Kotlin中带接收者的函数类型的接收者类型属于方法签名的组成部分：

• 父接口invoke方法的参数类型是WebhookEventInterface<T>.() -> Unit
• 子接口尝试重写的方法参数类型是PushPullRequestFeatures<T>.() -> Unit
  二者签名并不匹配，因此编译器不认为是合法重写；同时泛型擦除后两个方法的JVM签名一致，因此会报冲突错误。

方案1：使用CRTP模式改造父接口（推荐，可修改父接口时使用） #

通过给父接口新增「代表实现类本身」的协变泛型参数，从定义层面保证接收者类型和实现类一致：

// 改造父接口，新增Self泛型参数约束为当前接口的子类型
interface WebhookEventInterface<T, out Self : WebhookEventInterface<T, Self>> {
    operator fun invoke(block: Self.() -> Unit) {
        // 原有实现逻辑，这里可以安全强转this为Self，因为泛型约束保证了实现类就是Self
        block(this as Self)
    }
}

// 子接口继承时传入自身作为Self泛型的实参
interface PushPullRequestFeatures<T> : WebhookEventInterface<T, PushPullRequestFeatures<T>> {
    // 此时重写的方法参数自动就是子接口类型的接收者，无需手动修改
    override operator fun invoke(block: PushPullRequestFeatures<T>.() -> Unit) {
        // 你的子接口自定义实现逻辑
        block(this)
    }
}

这个方案没有多余的方法重载，全程类型安全，是最优解。

方案2：父接口不可修改时，用重载+@JvmName桥接 #

如果不能修改父接口的定义，可以通过重载方法加注解规避JVM签名冲突：

interface PushPullRequestFeatures<T> : WebhookEventInterface<T> {
    // 先合法重写父接口的原有方法
    override operator fun invoke(block: WebhookEventInterface<T>.() -> Unit) {
        // 转发到子接口的重载实现
        block(this)
    }

    // 新增子类型接收者的重载，加@JvmName避免JVM层面签名冲突
    @JvmName("invokeWithFeatureReceiver")
    operator fun invoke(block: PushPullRequestFeatures<T>.() -> Unit) {
        // 你的子接口自定义实现逻辑
        block(this)
    }
}

Kotlin编译器会自动根据你传入的lambda接收者类型匹配对应的方法，对调用方完全透明，只有JVM层面会区分两个方法的名称。

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