Java泛型类型参数推断问题及解决方案：编译器无法推断ArchiveStreamHolder类型参数如何解决？

2024-03-23 01:23:51

Java 中类型参数推断问题与解决方案

简介

Java 中的泛型是一个强大的工具，允许你创建可用于不同类型数据的代码。但是，有时编译器无法推断泛型类型参数，这可能会令人沮丧。在这篇文章中，我们将探讨编译器无法推断 ArchiveStreamHolder<> 类型参数的原因，并提供一个解决该问题的解决方案。

问题：编译器无法推断类型参数

ArchiveStreamHolder 是一个泛型类，它持有 ArchiveOutputStream 实例。它使用两个类型参数：T 和 E。T 必须扩展 ArchiveOutputStream<E>，而 E 必须扩展 ArchiveEntry。

of() 方法是用于创建 ArchiveStreamHolder 实例的工厂方法。它接受一个 OutputStream 和一个布尔值 zip 作为参数。如果 zip 为真，则方法将创建一个 ZipArchiveOutputStream 实例，否则将创建一个 TarArchiveOutputStream 实例。

问题在于，编译器无法推断 ArchiveStreamHolder<> 的类型参数。这是因为 of() 方法使用了两个不同的类型参数，并且编译器无法确定哪个类型参数适用于哪个泛型类型。

解决方案：显式类型参数

为了解决这个问题，我们可以使用显式类型参数。这将告诉编译器确切的类型参数，它应该使用：

public static <T extends ArchiveOutputStream<E>, E extends ArchiveEntry> ArchiveStreamHolder<T,E> of(OutputStream os, Class<T> type) {
    if (type == ZipArchiveOutputStream.class) {
        return new ArchiveStreamHolder<>(new ZipArchiveOutputStream(os));
    }
    else if (type == TarArchiveOutputStream.class) {
        return new ArchiveStreamHolder<>(new TarArchiveOutputStream(os));
    }
    else {
        throw new IllegalArgumentException("Unsupported archive type: " + type);
    }
}