Java 类型推断何时产生无限类型？

Question

JLS 在类型推断算法（§15.12.2）中提到：

上面的过程有可能产生一个无限类型。这是允许的， Java 编译器必须识别这种情况并使用循环数据结构适当地表示它们。

但是，我找不到 javac 生成无限类型的实际示例。 我认为它应该在以下情况下产生一个：

<T> T pick(T a, T b) { ... }

pick("string", 3);

String 和 Integer 都是 Comparable，因此它们的共同超类型应该是 Comparable<? extends Comparable<? extends Comparable<? ...>>>（无限）。

我能做到：

Comparable<? extends Comparable<?>> x = pick("string", 3);

但后来我尝试了：

Comparable<? extends Comparable<? extends Comparable<?>>> x = pick("string", 3);

这不会编译。 似乎递归在 2 步后中止了。

你知道有什么情况可以让 Java 实际上产生一个无限类型吗？

--

编辑：上面似乎是一个编译器错误。阅读规范，让我们看看lub(String, Integer) 的计算结果如何：

ST(String) = { String, Comparable<String>, Serializable, CharSequence, Object }
ST(Integer) = { Integer, Comparable<Integer>, Serializable, Number, Object }
EC = { Comparable, Serializable, Object }
MEC = { Comparable, Serializable }
Inv(Comparable) = { Comparable<String>, Comparable<Integer> }
lcta(String, Integer) = ? extends lub(String, Integer)
lci(Inv(Comparable)) = Comparable<? extends lub(String, Integer)>
lub(String, Integer) = Serializable & Comparable<? extends lub(String, Integer)>

所以lub(String, Integer) 应该是一个无限类型。 Javac 在这里似乎是错误的。也许它毕竟没有实现无限类型？

Answer 1

以下代码将 javac 发送到无限循环。据推测，它试图构建一个无限类型，但没有设法将其表示为有限循环数据结构。

interface I<T> {}
interface A<T> extends I<A<A<T>>>{}
abstract class X {
    abstract <T> T foo(T x, T y);

    void bar(A<Integer> x, A<String> y){
        foo(x, y);
    }
}

Answer 2

R.Grigore(2016) 在他的论文中回答了这个问题Java Generics are Turing Complete

他的建议以下面的Java代码为例：

//an empty interface
interface Z {}

//4 generic interfaces, one argument each
interface N<X> {}
interface L<X> {}
interface Qlr<X> {}
interface Qrl<X> {}

//one complex generic, inheriting from instantiations of two other
interface E<X> extends
    Qlr<N<? super Qr<? super E<? super E<? super X>>>>>,
    Qrl<N<?super Ql<? super E<? super E<? super X>>>>>
    {}

//main class with a single function
class Main{
    //heavily nested return type
    L<? super N<? super L<? super N<? super L<? super N<? super E<? super E<? super Z>>>>>>>>
    f(Qr<? super E<? super E<? super Z>>> v) {return v;}
}

Answer 3

无限类型的可能性可能是（例如，地图内部地图的地图对象等......

Map<? extends Serializable, Map<? extends Serializable, Map<? extends Serializable, Map<? extends Serializable, Map<? extends Serializable, Map>>>>> objectMap;

（为了可读性，这样做到深度 5...但是您可以在无限深的地图中添加地图。

我不知道这是否是你要找的......