如何使用带有泛型的密封类？

Question

我有一个父抽象类和采用泛型的子类。

public abstract sealed class Parent<T> permits ChildA, ChildB {}

public non-sealed class ChildA<T extends FileTypeA> extends Parent{}

public non-sealed class ChildB<T extends FileTypeB> extends Parent{}

在父类中，我收到警告：

ChildA is a raw type. References to generic type ChildA<T> 
       should be parameterized

ChildB is a raw type. References to generic type ChildB<T> 
       should be parameterized

在子类中，我收到警告：

Parent is a raw type. References to generic type Parent<T> 
       should be parameterized

让它们像这样参数化：

public abstract sealed class Parent<T> 
    permits ChildA<T extends FileTypeA>, ChildB<T extends FileTypeB> {}

甚至

public abstract sealed class Parent<T> 
    permits ChildA<T>, ChildB<T> {}

给出错误：

Bound mismatch: The type T is not a valid substitute for the 
    bounded parameter <T extends FileTypeA> of the type ChildA<T>

如何消除这些警告和错误？

Answer 1

警告“Parent is a raw type”与密封类完全无关，因为当 Parent<T> 是泛型类时使用 extends Parent 会导致这样的警告，因为泛型存在。 p>

你很可能想要使用

public non-sealed class ChildA<T extends FileTypeA> extends Parent<T> {}

public non-sealed class ChildB<T extends FileTypeB> extends Parent<T> {}

另一个问题似乎是 Eclipse 错误，因为我只能在那里重现警告。当我将声明更改为 permits ChildA<?>, ChildB<?> 时，警告会消失，但您应该不要这样做。

Java Language Specification 将permits 子句定义为

ClassPermits:
    permits TypeName {, TypeName}

而TypeName is linked to

TypeName:
    TypeIdentifier
    PackageOrTypeName . TypeIdentifier

PackageOrTypeName:
    Identifier
    PackageOrTypeName . Identifier

这显然会导致一系列点分隔标识符没有任何类型参数。始终如一地，javac 拒绝像 permits ChildA<?>, ChildB<?> 这样的构造。

换句话说，Eclipse 不应在此处生成警告，更重要的是，不应在 permit 子句中接受参数化类型。您最好的选择是等待 Eclipse 的 Java 17 支持修复。您可以在整个 Parent 类中添加 @SuppressWarnings("rawtypes") 以使警告消失，但由于这会影响整个类，我不建议这样做。