Позволит ли Java назначить этот объект этому универсальному полю? - PullRequest
Новая
       11

Позволит ли Java назначить этот объект этому универсальному полю?

0 голосов
/ 25 августа 2018

В моем редакторе POJO мне нужно проверить, можно ли создать экземпляр класса, предоставленный пользователем, и назначить его универсальному свойству. Отражение гуавы обеспечивает почти все, что мне нужно: я разрешаю типы и затем вызываю proptype.isSupertypeOf(implClazz), но это не работает, как ожидалось.

Например, у меня есть токен типа: java.util.Collection<java.sql.Timestamp>, и я хочу, чтобы моя проверка принимала ArrayList, а классы, которые расширяют raw ArrayList или ArrayList<Timestamp>, либо сами параметризованы, но не принимают класс, который расширяет ArrayList<Integer>.

Однако isSupertypeOf() хорошо работает только с полностью разрешенными типами, тогда как неполные и необработанные классы не рассматриваются как подтипы. 

    package com.common.jsp.beans;

    import java.lang.reflect.Field;
    import java.lang.reflect.Type;
    import java.sql.Timestamp;
    import java.util.ArrayList;
    import java.util.Collection;

    import com.google.common.reflect.TypeToken;

    public class TestTypeInf
    {
        public static class MyCollection1 extends ArrayList<Integer> {
        }
        public static class MyCollection2 extends ArrayList<Timestamp> {
        }
        public static class MyCollection3<T> extends ArrayList<T> {
        }
        public static class MyCollection4 extends ArrayList {
        }

        public static Collection<Timestamp> fld;

        public static void main( String[] args )
                        throws Exception
        {
            // bad: fld = new MyCollection1();
            fld = new MyCollection2();
            fld = new MyCollection3(); // just a warning
            fld = new MyCollection4(); // just a warning

            Field getter = TestTypeInf.class.getField( "fld" );
            Type memberType = getter.getGenericType();

            TypeToken<?> resolved = TypeToken.of( TestTypeInf.class ).resolveType( memberType );
            System.out.println( "type of fld: " + resolved );

            checkAssignable(resolved, MyCollection1.class);
            checkAssignable(resolved, MyCollection2.class);
            checkAssignable(resolved, MyCollection3.class); // This should be totally valid
            checkAssignable(resolved, MyCollection4.class); // why no?
        }

        private static void checkAssignable(TypeToken<?> resolved, Class<?> implClass) {
            System.out.println( "fld = new " + implClass.getSimpleName() + "()" );
            System.out.println( resolved.isSupertypeOf( implClass ) ? "yes" : "no" );
        }
    }

_ 

type of fld: java.util.Collection<java.sql.Timestamp>
fld = new MyCollection1()
no
fld = new MyCollection2()
yes
fld = new MyCollection3()
no
fld = new MyCollection4()
no
fld = new ArrayList()
no

1 Ответ

0 голосов
/ 26 августа 2018

Это довольно глупо, но поскольку то, что вы пытаетесь сделать, также довольно глупо (т.е. пытается рефлексивно определить назначения, которые вызывают непроверенные предупреждения в компиляторе), я думаю, что это оправдано: 

private static boolean isAssignable(TypeToken<?> resolved, Class<?> implClass) {
    return resolved.isSupertypeOf(implClass) || isAnySupertypeAssignable(resolved, implClass);
}

private static boolean isAnySupertypeAssignable(TypeToken<?> resolved, Class<?> implClass) {
    return TypeToken.of(implClass).getTypes().stream()
            .anyMatch(supertype -> isUncheckedSupertype(resolved, supertype));
}

private static boolean isUncheckedSupertype(TypeToken<?> resolved, TypeToken<?> implTypeToken) {
    if (implTypeToken.getType() instanceof ParameterizedType) {
        return false; // this prevents assignments of Collection<Integer> to Collection<Timestamp>
    }
    try {
        resolved.getSubtype(implTypeToken.getRawType());
        return true;
    } catch (IllegalArgumentException ex) {
        return false;
    }
}

Я проверил это на ваших примерах, и он возвращает: 

fld = new MyCollection1() -> no
fld = new MyCollection2() -> yes
fld = new MyCollection3() -> yes
fld = new MyCollection4() -> yes
fld = new ArrayList() -> yes
...