将元素添加到不可变列表时出错

Question

以下代码段无法编译（给出错误消息，报告不兼容的类型）：

private static List<IGrupoSituacoesPermitidas> grupoSituacoesPermitidas = ImmutableList.of(new GrupoSituacoesPermitidasDI());

但是，如果我将更多元素添加到列表中，例如下面的代码

private static List<IGrupoSituacoesPermitidas> grupoSituacoesPermitidas = ImmutableList.of(new GrupoSituacoesPermitidasDI(), new GrupoSituacoesPermitidasDV());

它编译没有问题。

谁能告诉我为什么会这样，以及如何在不进行强制转换的情况下解决？

Answer 1

当您传递单个参数new GrupoSituacoesPermitidasDI() ，通用方法的类型参数E被推断为GrupoSituacoesPermitidasDI ，因此它将返回List<GrupoSituacoesPermitidasDI> ，它不是List<IGrupoSituacoesPermitidas>的子类型，因此编译器错误。

现在，如果您查看重载方法的签名，它将使用2个类型为E参数。 因此，您的参数应为相同类型。 如果不是，则编译器将类型推断为您传递的参数的普通超类型。

因此，由于您传递了两个不同的差异参数，因此将类型参数推断为这些类型的通用超级类型，我猜是IGrupoSituacoesPermitidas ，因此列表返回为List<IGrupoSituacoesPermitidas> ，这很好。

这是一个简单的示例，它再现了该问题：

class Vehicle { }
class Car extends Vehicle { }
class Bike extends Vehicle { }


public static <T> List<T> of(T obj) {
    List<T> list = new ArrayList<T>();
    list.add(obj);
    return list;
}

public static <T> List<T> of(T obj1, T obj2) {
    List<T> list = new ArrayList<T>();
    list.add(obj1);
    list.add(obj2);
    return list;
}

public static void main(String... args) {
    List<Vehicle> vehicles = of(new Car());       // Doesn't work
    List<Vehicle> vehicles1 = of(new Vehicle());  // Works
    List<Vehicle> vehicles2 = of(new Car(), new Bike());
}

这就是类型推断的工作方式。 如果这两种类型不相同，则可以推断出公共的超级类型。 同样，从@Marko的注释中，如果假设您的类也实现了Serializable ，则可以将type参数推断为：

Vehicle & Serializable

然后再次失败，因为List<Vehicle>不是List<T2>超类型，其中T2具有两个以上的界限。

您可以通过提供显式类型参数来解决此类问题：

private static List<IGrupoSituacoesPermitidas> grupoSituacoesPermitidas = 
   ImmutableList.<IGrupoSituacoesPermitidas>of(new GrupoSituacoesPermitidasDI());

Answer 2

不可变是指对象一旦实例化就无法修改。 您的第二个代码段是在构建过程中向列表中添加了一个合法的额外项目。

您可能想看一看不可变对象的教程。