通用接口：特定事物的列表

Question

我想定义一个接口 MyList，它是一个接口 MyThing 的列表。 MyList 的部分语义是它的操作对没有实现 MyThing 接口的对象没有任何意义。

这是正确的声明吗？

interface MyList<E extends MyThing> extends List<E> { ... }

编辑：（第 2 部分）现在我有了另一个接口，它返回 MyList 作为其方法之一。

// I'm defining this interface
// it looks like it needs a wildcard or template parameter
interface MyPlace {
    MyList getThings();
}

// A sample implementation of this interface
class SpecificPlace<E extends MyThing> implements MyPlace {
    MyList<E> getThings();
}

// maybe someone else wants to do the following
// it's a class that is specific to a MyNeatThing which is
// a subclass of MyThing
class SuperNeatoPlace<E extends MyNeatThing> implements MyPlace {
    MyList<E> getThings();
    // problem?
    // this E makes the getThings() signature different, doesn't it?
}

Answer 1

是的，至少EnumSet 是这样做的。

public abstract class EnumSet<E extends Enum<E>>
extends AbstractSet<E>

---

修改第 2 部分的答案：

我不确定为什么接口中getThings() 的返回类型不会抱怨原始类型。我怀疑由于类型擦除，接口中的警告即使存在也是无用的（如果将返回类型更改为List，也没有警告）。

对于第二个问题，由于MyNeatThing 扩展了MyThing，E 在其范围内。这就是在泛型参数中使用extends 绑定的意义所在，不是吗？

Answer 2

对于第 1 部分，是的，看起来不错。

对于您的第 2 部分，我建议如下内容。该方法返回一个 MyList 的东西，你不知道它是什么（显然不同的实现是不同的），但你知道它是 MyThing 的子类型。

interface MyPlace {
    MyList<? extends MyThing> getThings();
}

Answer 3

请记住，正确实现 java.util.List 之类的接口很难；所以问问自己所有这些问题：

• 我可以“按原样”使用 java.util.List 吗？ 我需要添加/删除功能吗？
• 有没有更简单的我可以实现的东西，比如 Iterable？
• 我可以使用合成吗？ （相对于继承）
• 我能找到 新需要的功能 现有的库，如 Google 收藏？
• 如果我需要 添加/删除功能，值得吗 增加的复杂性？

也就是说，您可能只使用 java.util.List 作为示例：

interface MyPlace<T extends MyThing> {
   List<T> getThings();
}

class SpecificPlace implements MyPlace<MyThing> {
   public List<MyThing> getThings() { return null; }
}

class SuperNeatoPlace implements MyPlace<MyNeatThing> {
   public List<MyNeatThing> getThings() { return null; }
}