Java泛型：使用这种类型作为返回类型？

Question

我正在尝试使 API 尽可能用户友好。

让我们来：

class B extends A {}

class A {
    A setX(){ ...; return this; }
}

现在这个

B b = new B().setX();

无效，必须强制转换：

B b = (B) new B().setX();

有没有办法在A 中使用泛型来让编译器知道“this”类型并接受第一种方式——不进行强制转换，也不在使用的地方传递类型参数？ （即不是new B<B>().setX()，那太丑了。）

我知道为什么在这种情况下 Java 需要重新输入。请不要回答解释 setX() 返回 A。我知道。 我在问泛型是否可以解决这个问题。

对于那些仍然想告诉我“这就是静态类型的工作原理”和“即使是泛型也无济于事”的人，请考虑以下有效的 Java 代码：

Map<String, String> map = new HashMap(){{ put( "foo", new RuntimeException() );
String foo = map.get("foo");  // ClassCastException!!

因此您可以看到，泛型确实允许您在代码中不出现实际类型转换的情况下获得 CCE。
这就是为什么我希望泛型允许摆脱显式类型转换的原因。

另外，IIRC C++ allows that.

Answer 1

我在这里复制了answer to another question 的一部分，解释了对所谓“自我类型”的渴望以及Java 中的解决方法。

方法链

而不是写

foo.doA();
foo.doB();

很多人更愿意写作

foo.doA().doB();

不幸的是，该语言并不直接支持方法链接，尽管它正在成为一个越来越受欢迎的功能。解决方法是让doA() 返回foo。它有点脏但可以接受。

但是，如果 foo 位于类型层次结构中，则解决方法会被破坏

class Bar
    Bar doA()

class Foo extends Bar
    Foo doB();

foo.doA().doB(); // doesn't compile, since doA() returns Bar

所以有些人呼吁一种特殊的“自我类型”来解决这个问题。假设有一个关键字This 代表“自我类型”

class Bar
    This doA()

foo.doA().doB(); // works, doA() returns the type of foo, which is Foo

看来方法链是“self type”的唯一用例，所以语言可能永远不会引入它（最好直接支持方法链）

人们发现泛型可以解决这个问题

class Bar<This>
    This doA()

class Foo extends Bar<Foo>

Foo has a method "Foo doA()", inherited from Bar<Foo>

这是A extends B<A> 模式最流行的用例。这是一个孤立的解决方法/技巧。它没有在 A 和 B 之间的关系中添加语义。

约束Thislike也是一种流行的做法

class Bar<This extends Bar<This>>

它又丑又没用，我强烈建议不要这样做。只需使用“This”作为约定来表明它的用途。

Answer 2

在 A 类试试这个：

public <T extends A> T setX() {
    return (T) this;
}

你可以这样使用它

B b = new B().setX();

Answer 3

如果你真的不喜欢演员表，你可以让B 覆盖该方法

@Override
public B setX() {
    super.setX();
    return this;
}

Answer 4

问题是setX() 方法返回A 类的对象，而您正试图将其写入B 类的对象。反之亦然，无需强制转换 (A a = new B();)，但这样你必须强制转换它，因为声明 B b = new B().setX(); 类似于无法完成的 B b = new A();。