4

我正在尝试使用一个容器创建库，该容器根据传递的描述符释放其包含的对象的实例。我想让描述符确定返回对象的类型，但描述符可以指定有界类型。我该如何实施？例如，我能得到的最接近的是：

/*Block 1 - First Attempt.  Compiles, but forces user to cast*/
interface ItemDescriptor<I> {
    Class<? extends I> getType();
}

interface ArchiveContainer<I, D extends ItemDescriptor<? extends I>> {
    Iterable<? extends D> getDescriptors();
    I getItem(D descriptor);
}

//Implementations
class ChannelItemDescriptor<I extends ByteChannel> implements ItemDescriptor<I>
{
    final Class<? extends I>  type;

    ChannelItemDescriptor(Class<I> type) {
        this.type = type;
    }

    @Override Class<? extends I> getType() {return type;}
}

class ChannelArchive implements ArchiveContainer<ByteChannel, ChannelItemDescriptor<? extends ByteChannel>> {
    @Override ByteChannel getItem(ChannelItemDescriptor<? extends ByteChannel> descriptor) {...}
}

上面的代码可以编译，但问题是ChannelArchive'sgetItem也可以返回SeekableByteChannels。这个库的用户在编译时就知道这一点（因为他们知道描述符的类型参数），所以我试图避免添加一个类型的方法参数Class来强制用户在必要时显式地转换返回的值SeekableByteChannel。我不知道如何在不强制用户强制转换的情况下getItem返回特定的子类型。ByteChannel我想做这个：

/*Block 2 - Test code*/
ChannelArchive archive = ...;
ChannelItemDescriptor<SeekableByteChannel> desc = ...;
ChannelItemDescriptor<ByteChannel> otherDesc = ...;
SeekableByteChannel sbc = archive.getItem(desc);
SeekableByteChannel sbc = archive.getItem(otherDesc); //Should fail to compile, or compile with warning
ByteChannel bc = archive.getItem(otherDesc);

我可以为每个方法添加一个Class<? extends I>参数，但是该方法的代码将完全忽略Class方法参数！它的唯一目的是帮助编译器推断类型。我认为它只是混淆了代码，以至于让用户使用instanceof检查和强制转换会更容易。

我试过这个：

/*Block 3 - Failed attempt.*/
class ChannelArchive implements ArchiveContainer<ByteChannel, ChannelItemDescriptor<? extends ByteChannel>> {
    //Won't compile, getItem doesn't override
    @Override <II extends ByteChannel> II getItem(ChannelItemDescriptor<II> descriptor) {...}
}

但这不起作用： ChannelArchive is not abstract and does not override abstract method getItem(ChannelItemDescriptor<? extends ByteChannel>) in ArchiveContainer。我认为这是因为第二个类型参数<II extends ByteChannel>的类型擦除与<? extends ByteChannel>?

我也试过这个，它编译：

/*Block 4 - Almost specific enough*/
interface ArchiveContainer<I, D extends ItemDescriptor<? extends I>> {
    Iterable<? extends D> getDescriptors();
    <II extends I, DD extends ItemDescriptor<II>> II getItem(DD descriptor);
}

class ChannelArchive implements ArchiveContainer<ByteChannel, ChannelItemDescriptor<? extends ByteChannel>> {
    @Override <II extends ByteChannel, DD extends ItemDescriptor<II>> II getItem(DD descriptor) {...}
}

即使它可以编译，它也不会真正起作用，因为我需要ChannelItemDescriptor在该方法内部，并且生成的强制转换会破坏使用泛型的附加类型安全的目的。

我不明白为什么我不能这样做，因为在编译时就知道正确的类型。我在该ArchiveContainer接口上真正需要的是参数化类型参数，例如：<II extends I, DD extends D<II>>. 我究竟做错了什么？

注意：我实际上并没有使用ByteChanneland SeekableByteChannel，但我使用的是非常相似的。

这就是 ruakh，我确定了第 4 块中的代码。在我的情况下，用户极不可能在对ItemDescriptora 的调用中发送错误的子类getItem，尤其是因为描述符都是ArchiveContainer通过自身返回的getDescriptors！

4

2 回答 2

1

我认为这段代码（几乎？）与您的第三次尝试相同，与您将获得的一样好：

// in ArchiveContainer:
<II extends I, DD extends ItemDescriptor<II>> II getItem(DD descriptor);

// in ChannelArchive:
public <II extends ByteChannel, DD extends ItemDescriptor<II>>
    II getItem(DD descriptor)
    { ... }

泛型确实提供了一种声明具有两个单独上限的类型变量的方法：

public <T extends Foo & Bar> Foo fooBar(T t) { ... }

但显然，当上限之一是类型参数而不是类或接口时，这是不允许的：

类型变量有一个可选的界限，T & I 1 ... I n。边界由一个类型变量，或者一个类或接口类型T可能后跟进一步的接口类型I 1 , ..., I n组成。[…] 如果任何类型I 1 ... I n是类类型或类型变量，则会出现编译时错误。[链接]

（强调我的）。我不知道这是为什么。

But I don't think this should be a big problem. Note that, even after Map was genericized to Map<K,V>, its get method still took type Object. Naturally that method will always return null if you pass in a reference to an object that's not of type K (since such an object should never have been inserted into the map), but this doesn't harm type-safety.

于 2012-02-22T02:35:35.883 回答
0

我知道这可能不是您想听到的，但是尽管 Java 泛型在语法上看起来像 C++ 模板，但它们的工作方式却有很大不同。

java type erasure在您最喜欢的搜索引擎中查找。不幸的是，仅仅因为一个类型在编译时已知并不意味着该类型在运行时或什至在以后的编译阶段是可恢复的。

于 2012-02-22T01:10:42.240 回答