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。

这里是datus依赖项信息，可用来编译以上代码（没有该库，我无法减少这个问题，因为它的通用用法太复杂了）：

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

我想念什么吗？我希望使我的库与kotlin更加兼容，但是不知道如何从这里开始或推理错误的确切名称是什么。

您可以找到datus来源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()

当Java不是Java时，为什么Kotlins类型推断失败？

1 个答案: