为什么 Kotlin 类型推断失败，而 Java 没有？

Question

鉴于以下代码（使用虚拟返回但显示了问题）：

import com.github.roookeee.datus.api.Datus
import com.github.roookeee.datus.api.Mapper
import com.github.roookeee.datus.immutable.ConstructorParameter

data class EntryDto(val id: Long?, val title: String, val content: String)
data class EntryEntity(val id: Long? = null, val title: String, val content: String) {
    fun toDto(): EntryDto {
        val mapper: Mapper<EntryEntity, EntryDto> = Datus.forTypes(this.javaClass, EntryDto::class.java)
                .immutable(::EntryDto)
                .from(EntryEntity::id).to(ConstructorParameter::bind)
                .from(EntryEntity::title).to(ConstructorParameter::bind)
                .from(EntryEntity::content).to(ConstructorParameter::bind)
                .build()
        return EntryDto(null, "", "")
    }
}

Kotlin 无法推断出正确的泛型类型，而 Java >= 8 则可以（假设两个 Java 类与此处的数据类相同 - 两个不可变对象类）。我尝试使用 Kotlin 1.3.0 和 -XXLanguage:+NewInference 的默认值，但后者甚至无法推断为 .immutable 选择正确的重载。

这是使上述代码编译的数据依赖信息（没有库我无法减少这个问题，它的通用用法太复杂了）：

<dependency>
    <groupId>com.github.roookeee</groupId>
    <artifactId>datus</artifactId>
    <version>1.3.0</version>
</dependency>

我错过了什么吗？我很想让我的库与 kotlin 更兼容，但不知道如何从这里开始，或者推理错误的确切名称是什么。

您可以找到数据源here。

这是对应的java代码：

import com.github.roookeee.datus.api.Datus;
import com.github.roookeee.datus.api.Mapper;
import com.github.roookeee.datus.immutable.ConstructorParameter;

class Java8Code {
    static class EntryDto {
        private final Long id;
        private final String title;
        private final String content;

        EntryDto(Long id, String title, String content) {
            this.id = id;
            this.title = title;
            this.content = content;
        }

        public Long getId() {
            return id;
        }

        public String getTitle() {
            return title;
        }

        public String getContent() {
            return content;
        }
    }

    static class EntryEntity {
        private final Long id;
        private final String title;
        private final String content;

        EntryEntity(Long id, String title, String content) {
            this.id = id;
            this.title = title;
            this.content = content;
        }

        public Long getId() {
            return id;
        }

        public String getTitle() {
            return title;
        }

        public String getContent() {
            return content;
        }

        public EntryDto toDto() {
            Mapper<EntryEntity, EntryDto> mapper = Datus.forTypes(EntryEntity.class, EntryDto.class)
                    .immutable(EntryDto::new)
                    .from(EntryEntity::getId).to(ConstructorParameter::bind)
                    .from(EntryEntity::getTitle).to(ConstructorParameter::bind)
                    .from(EntryEntity::getContent).to(ConstructorParameter::bind)
                    .build();
            return mapper.convert(this);
        }
    }

}

编辑 2：错误消息的图像 + 下面的一些注释

3 type arguments expected for interface ConstructorParameter<In : Any!, GetterReturnType : Any!, Result : Any!> - Kotlin 似乎期望接口方法引用的泛型类型参数，但这在 Kotlin 中是不可能的，在 Java 中也不需要。

Answer 1

to 扩展功能不是问题。它只是弹出，因为编译器没有看到成员方法的正确参数。

Kotlin 不喜欢的是没有附加类型参数的泛型类型。在您指定类型参数之前，ConstructorParameter 不是类型。所以当它看到ConstructorParameter::bind时会报错，::的左边应该是一个类型。

如果你写.to { x, y -> x.bind(y) }，Kotlin 可以很好地推断类型。 但是你不能指望你的用户多次编写这个“相同”的 lambda。

扩展功能来救援！

fun <In, CurrentType, Next> ConstructorParameterBinding<In, CurrentType, out ConstructorParameter<In, CurrentType, Next>>.bind(): Next =
    this.to { x, y -> x.bind(y) }

val mapper: Mapper<EntryEntity, EntryDto> = Datus.forTypes(this.javaClass, EntryDto::class.java)
    .immutable(::EntryDto)
    .from(EntryEntity::id).bind()
    .from(EntryEntity::title).bind()
    .from(EntryEntity::content).bind()
    .build()