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

Java类型推断（Type Inference）是Java 8引入的一项新特性，它可以根据上下文自动推断出变量的类型，从而简化代码编写过程。在大多数情况下，Java类型推断可以减少冗余代码，提高代码的可读性和可维护性。

然而，Java类型推断也可能在某些情况下产生无限类型（Infinite Types）。这种情况通常发生在使用递归类型的时候，即类型依赖于自身的定义。当编译器无法确定递归类型的边界条件时，就会导致类型推断无限循环，最终导致编译错误。

例如，考虑以下代码片段：

class MyClass<T> {
    T value;
}

MyClass<?> myClass = new MyClass<>();

在这个例子中，我们定义了一个泛型类MyClass，并创建了一个未指定具体类型的实例myClass。由于未指定具体类型，编译器会尝试通过类型推断来确定myClass的类型。然而，由于MyClass的类型参数T没有明确的边界条件，编译器无法确定T的类型，从而导致类型推断无限循环，最终产生编译错误。

为了避免Java类型推断产生无限类型的问题，可以通过显式指定类型参数或添加边界条件来解决。例如，我们可以修改上述代码如下：

MyClass<String> myClass = new MyClass<>();

在这个修改后的代码中，我们显式指定了myClass的类型参数为String，从而消除了类型推断无限循环的问题。

总结起来，Java类型推断可能在使用递归类型且缺乏明确边界条件时产生无限类型。为了避免这个问题，可以通过显式指定类型参数或添加边界条件来解决。