java - 在 Java 泛型类中，在构造函数级别添加额外的泛型约束？

Question

我有一个名为 Bar 的接口(interface)和一个泛型类 Foo 参数化的类型是一个 Bar :

class Foo<B extends Bar> { }

我的类有一个通用构造函数，它接受一个 Class 和一个 Stream:

class Foo<B extends Bar> {
    B[] bs;
    Foo(Class<B> clazz, Stream<B> stream) { // General ctor
        bs = someFunctionOf(clazz, stream);
    }
}

我正在尝试添加一个专门的构造函数，它要求它的实际方法参数 both 是一个 Bar 和 一个 enum 类，以便我可以从特殊构造函数调用我的通用构造函数:

class Foo<B extends Bar> {
    B[] bs;
    Foo(Class<B> clazz, Stream<B> stream) { // General ctor
        bs = someFunctionOf(clazz, stream);
    }
    // FIX THIS ----+
    //              |
    //              ˅
    Foo(Class<Something> clazz) { // Special ctor
        // Can we make this work so Something is a Bar and an enum
        // and we can call the other constructor like this?
        this(clazz, Arrays.stream(clazz.getEnumConstants());
    }
}

Answer 1

一般来说，您可以编写泛型构造函数。我们最近有 a question about them, and how they might be useful .通过这种方式，您可以提供一个构造函数，该构造函数将表示一个类的类作为参数，该类既扩展了一些特定的其他类又实现了接口(interface) Bar:

class Foo<B extends Bar> {
    B[] bs;
    Foo(Class<B> clazz, Stream<B> stream) { // General ctor
        bs = someFunctionOf(clazz, stream);
    }

    private B[] someFunctionOf(Class<B> clazz, Stream<B> stream) {
        return null;
    }

    <T extends SomeClass & Bar> Foo(Class<T> clazz) {
        // ...
    }
}

但这并不能完全让您到达想要的位置，因为构造函数的类型参数 T 的边界需要是显式类型。类的类型参数 B 等类型变量不提供服务，并且没有将 T 连接到 B 的方法，特殊的泛型构造函数无法调用通用构造函数。

但是您可以使用工厂方法而不是特殊的构造函数来做到这一点:

class Foo<B extends Bar> {
    B[] bs;
    Foo(Class<B> clazz, Stream<B> stream) { // General ctor
        bs = someFunctionOf(clazz, stream);
    }

    private B[] someFunctionOf(Class<B> clazz, Stream<B> stream) {
        return null;
    }

    static <T extends Enum<T> & Bar> Foo<T> createEnumFoo(Class<T> clazz) {
        return new Foo<>(clazz, Arrays.stream(clazz.getEnumConstants()));
    }
}