WildcardType 到 ParameterizedType

Question

我有类型为 List<? extends Number> 的 bean 属性和候选实现列表类及其构造函数。我递归地寻找构造函数参数的候选者。

候选构造函数之一是ArrayList(Collection<? extends E>)

我正在尝试使用 Guava 解析类型参数和构造函数参数，但是当存在通配符类型链时，我会得到如下内容：? extends capture#3-of ? extends capture#2-of ? extends capture#1-of ? extends ...

public static <T extends Object> void main(String[] args) throws Exception {
    TypeToken<?> propTt = new TypeToken<List<? extends Number>>() {
    };

    TypeToken<?> candidate = propTt.getSubtype(ArrayList.class);

    TypeToken<?> constructorResult;

    Constructor<?> cons = ArrayList.class.getConstructor(Collection.class);

    // java.util.ArrayList<? extends java.lang.Number>
    constructorResult = candidate.constructor(cons).getReturnType();
    System.out.println(constructorResult);


    // java.util.Collection<? extends E>
    Type param = cons.getGenericParameterTypes()[0];
    System.out.println(param);

    // java.util.Collection<? extends capture#1-of ? extends class java.lang.Number>
    TypeToken<?> resolvedParam = constructorResult.resolveType(param);
    System.out.println(resolvedParam);
}

尽管我们不能将通配符用作 new 的类型参数，但还是会发生这种情况。以下是非法的：

List<?> x = new ArrayList<?>();
List<? extends Number> y = new ArrayList<? extends Number>();

我们写成：

List<?> x = new ArrayList<Object>();
List<? extends Number> y = new ArrayList<Number>();

或使用菱形运算符使后者自动化。

所需的 resolvedParam 类型是 java.util.Collection<? extends java.lang.Number>。

com.google.common.reflect.Types 有 newParameterizedType() 方法，我可以在其中传递以前的通配符手动解析为参数化类型或类，但此方法是包私有的。我不确定我的解决方法：

package com.google.common.reflect;

import java.lang.reflect.Constructor;
import java.lang.reflect.ParameterizedType;
import java.lang.reflect.Type;
import java.lang.reflect.TypeVariable;
import java.lang.reflect.WildcardType;
import java.util.ArrayList;
import java.util.Collection;
import java.util.List;

import org.checkerframework.checker.nullness.qual.Nullable;

@SuppressWarnings("serial")
public class TestWildcard {
    public static <T extends Object> void main(String[] args) throws Exception {
        TypeToken<?> propTt = new TypeToken<List<? extends Number>>() {
        };

        TypeToken<?> candidate = propTt.getSubtype(ArrayList.class);

        TypeToken<?> constructorResult;

        Constructor<?> cons = ArrayList.class.getConstructor(Collection.class);

        // new java.util.ArrayList<java.lang.Number>();
        constructorResult = resolveConstructorResult(candidate);
        System.out.println(constructorResult);

        // java.util.Collection<? extends E>
        Type param = cons.getGenericParameterTypes()[0];
        System.out.println(param);

        // java.util.Collection<? extends capture#1-of ? extends class java.lang.Number>
        TypeToken<?> resolvedParam = constructorResult.resolveType(param);
        System.out.println(resolvedParam);
    }

    static TypeToken<?> resolveConstructorResult(TypeToken<?> candidate) {
        Type ct = candidate.getType();
        if (ct instanceof ParameterizedType) {
            ParameterizedType pt = (ParameterizedType) ct;
            Class<?> ptClazz = ((Class<?>) pt.getRawType());
            TypeVariable<?>[] tvars = ptClazz.getTypeParameters();
            Type[] targs = pt.getActualTypeArguments();
            boolean doIt = false;
            for (int i = 0; i < targs.length; i++) {
                if (targs[i] instanceof WildcardType) {
                    WildcardType wt = (WildcardType) targs[i];
                    TypeToken<?> ubound1 = TypeToken.of(wt.getUpperBounds()[0]);
                    TypeToken<?> ubound2 = TypeToken.of(tvars[i].getBounds()[0]);
                    if (ubound1.isSubtypeOf(ubound2)) {
                        doIt = true;
                        targs[i] = ubound1.getType();
                    } else if (ubound2.isSubtypeOf(ubound1)) {
                        doIt = true;
                        targs[i] = ubound2.getType();
                    }
                }
            }
            if (doIt) {
                pt = GuavaReflectAccessHelper.newParameterizedTypeWithOwner(pt.getOwnerType(), ptClazz, targs);
                candidate = TypeToken.of(pt);
            }
        }
        return candidate;
    }

    private static class GuavaReflectAccessHelper {

        public static ParameterizedType newParameterizedTypeWithOwner(@Nullable Type ownerType, Class<?> rawType,
                Type... arguments) {
            return Types.newParameterizedTypeWithOwner(ownerType, rawType, arguments);
        }
    }
}

Answer 1

将通配符类型转换为 ParameterizedType 在这里听起来不太好，但您可以自己实现该接口。

或者使用其他一些支持更动态创建的库： https://commons.apache.org/proper/commons-lang/apidocs/org/apache/commons/lang3/reflect/TypeUtils.html
可能还有许多其他图书馆。

在番石榴中你只能做这样的事情：

static <K, V> TypeToken<Map<K, V>> mapToken(TypeToken<K> keyToken, TypeToken<V> valueToken) {
  return new TypeToken<Map<K, V>>() {}
    .where(new TypeParameter<K>() {}, keyToken)
    .where(new TypeParameter<V>() {}, valueToken);
}
...
TypeToken<Map<String, BigInteger>> mapToken = mapToken(
   TypeToken.of(String.class),
   TypeToken.of(BigInteger.class));
TypeToken<Map<Integer, Queue<String>>> complexToken = mapToken(
   TypeToken.of(Integer.class),
   new TypeToken<Queue<String>>() {});

对你来说可能就够了。

Answer 2

自定义 newParameterizedType 可以用 TypeResolver.where() 实现（不要与 TypeToken.where() 混淆）。我的问题resolveConstructorResult()中的相关部分可以改成这样：

        if (doIt) {
            pt = (ParameterizedType)newParameterizedType(ptClazz, targs);
            candidate = TypeToken.of(pt);
        }
    }
    return candidate;
}

public static Type newParameterizedType(Class<?> cls, Type... args) {
    TypeResolver resolver = new TypeResolver();
    TypeVariable<?>[] tvars = cls.getTypeParameters();
    for (int i = 0; i < args.length; i++) {
        resolver = resolver.where(tvars[i], args[i]);
    }
    return resolver.resolveType(dumbToGenericType(cls).getType());
}

@SuppressWarnings("unchecked")
public static <T> TypeToken<? extends T> dumbToGenericType(Class<T> cls) {
    return (TypeToken<T>)TypeToken.of(Object.class).getSubtype(cls);
}

WildcardType 到 ParameterizedType

WildcardType to ParameterizedType

java

generics

reflection

guava