java - 为什么 Kotlins 类型推断会失败，而 Javas 却不会？

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 类与此处的数据类相同 - 两个不可变对象(immutable对象)类)。我尝试使用 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 似乎期望接口(interface)方法引用使用泛型类型参数，但这在 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()