Java实现Kotlin接口返回类型不兼容问题及非可变集合方案咨询

问题场景 #

Kotlin定义了带协变集合属性的接口：

interface KInterface {
    val items: Collection<ItemInterface>
}

interface ItemInterface {
// 空接口
}

尝试用Java实现该接口时，返回List<? extends ItemInterface>出现编译错误：

class JavaItemImpl implements ItemInterface {
// 实现类
}

class JavaImpl implements KInterface {
    private List<JavaItemImpl> items;
    
    @Override
    public List<? extends ItemInterface> getItems() {
        return items;
    }
}

错误信息：

'getItems()' in 'JavaImpl' clashes with 'getItems()' in 'KInterface'; attempting to use incompatible return type

虽然Kotlin的Collection<out E>是协变的，但Java泛型的协变规则与Kotlin存在差异，导致直接返回List<? extends ItemInterface>无法匹配Kotlin生成的getter签名。

无需修改Kotlin接口的解决方案 #

方案1：调整成员变量类型为List<ItemInterface> #

直接将Java类中的成员变量声明为List<ItemInterface>，由于JavaItemImpl是ItemInterface的实现类，完全可以存入该集合中，此时getter直接返回即可匹配接口要求：

class JavaImpl implements KInterface {
    private List<ItemInterface> items;
    
    // 可以正常添加JavaItemImpl实例，比如：items.add(new JavaItemImpl());
    
    @Override
    public Collection<ItemInterface> getItems() {
        return items;
    }
}

方案2：通过安全包装/转型保留原成员变量类型 #

如果需要保留List<JavaItemImpl>的成员变量类型，可以利用Java的不可变集合工具类，将其包装为符合Collection<ItemInterface>类型的视图：

import java.util.Collections;

class JavaImpl implements KInterface {
    private List<JavaItemImpl> items;
    
    @Override
    public Collection<ItemInterface> getItems() {
        // unmodifiableList会返回List<ItemInterface>，符合Collection<ItemInterface>的子类型要求
        return Collections.unmodifiableList(items);
    }
}

这种方式的安全性在于：Kotlin的Collection本身是只读接口，返回不可变集合也符合其设计意图，不会出现类型安全问题。

也可以通过安全的泛型转型实现（不推荐，但可行）：

class JavaImpl implements KInterface {
    private List<JavaItemImpl> items;
    
    @Override
    public Collection<ItemInterface> getItems() {
        // 双重转型保证安全，因为我们不会通过该Collection修改元素
        return (Collection<ItemInterface>) (Collection<?>) items;
    }
}

原因解析 #

Kotlin的val items: Collection<ItemInterface>在Java中会生成签名为Collection<ItemInterface> getItems()的getter方法。Java的方法重写要求返回类型必须是原方法返回类型的协变子类型：

• List<? extends ItemInterface>是Collection<? extends ItemInterface>的子类型，但不是Collection<ItemInterface>的子类型
• 而List<ItemInterface>或经过包装后的Collection<ItemInterface>才是合法的协变返回类型，因此可以正常匹配接口要求。

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