Java：通配符类型不匹配导致编译错误

Question

我在项目中创建了一个工厂类，从理论上讲，该类允许我为任何（受支持的）给定类型创建管理器。与管理器进行交互使我可以更改给定类型的某些属性。我面临的问题是，当我尝试为泛型类型创建管理器时，编译器粉碎了我的希望和梦想。

以下代码是我正在使用的简化版本。我尝试创建“
test3Manager”的行将不会编译，并且我试图了解为什么会这样。它下面的线显示了一种“解决方法”，我正试图避免这种情况。

    import java.util.List;

    public class GenTest {
        public static void main(String[] args) {
            String test1 = "";
            IRandomType<String> test2 = null;
            IAnotherRandomType<?> test3 = null;

            IManager<String> test1Manager = Factory.createManager(test1);
            IManager<IRandomType<String>> test2Manager = Factory.createManager(test2);
            IManager<IAnotherRandomType<?>> test3Manager = Factory.createManager(test3); // Doesn't compile. Why?

            // Work around?
            IManager<?> test3ManagerTmp = Factory.createManager(test3);
            IManager<IAnotherRandomType<?>> test3Manager2 = (IManager<IAnotherRandomType<?>>) test3ManagerTmp;
        }

        public interface IRandomType<T> {}
        public interface IAnotherRandomType<T> {}
        public interface IManager<T> {}

        public static class Factory {
            public static <T> IManager<T> createManager(T object) {
                return null;
            }
        }
    }

确切的编译错误消息是：

    Type mismatch: cannot convert from GenTest.IManager<GenTest.IAnotherRandomType<capture#1-of ?>> to GenTest.IManager<GenTest.IAnotherRandomType<?>>

之前已经问过类似的问题（见下文）；但是，我不知道这个问题是否被认为是它们的重复。我仅说明这一点，因为我无法从这些问题中得出答案。我希望有人可以澄清我对泛型的使用做错了什么。

Answer 1

使用以下内容：

IManager<IAnotherRandomType<?>> test3Manager =
        Factory.<IAnotherRandomType<?>>createManager(test3);

这只是编译器类型推断浮出水面的一种情况，因此有必要显式提供的类型参数T。

从技术上讲：

test3声明为具有类型IAnotherRandomType<?>，其中?是 通配符捕获 -一种表示 某种特定未知类型
的一次性类型参数。这就是编译器所说的capture#1-of ?。当您test3进入时createManager，T将推断为IAnotherRandomType<capture#1-of ?>。

同时，test3Manager声明有类型IManager<IAnotherRandomType<?>>，其中有一个 嵌套的通配符
-它并不像一个类型参数，而是代表 任何类型 。

由于泛型不是协变的，因此编译器无法将转换IManager<IAnotherRandomType<capture#1-of?>>为IManager<IAnotherRandomType<?>>。