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

2 个答案: