Как я могу исправить эту ошибку универсального шаблона Java? - PullRequest
Новая
       21

Как я могу исправить эту ошибку универсального шаблона Java?

3 голосов
/ 07 марта 2009

В этом вопросе у TofuBeer возникли проблемы с созданием обобщенного IterableEnumeration.

Ответ пришел от jcrossley3, указывающего на эту ссылку http://www.javaspecialists.eu/archive/Issue107.html, которая в значительной степени решила проблему.

Есть еще одна вещь, которую я не понимаю. Настоящая проблема, как эффективно указал Эриксон, заключалась в том, что:

Нельзя указывать подстановочный знак при построении параметризованного типа

Но удаление шаблона в объявлении также не сработало: 

final IterableEnumeration<ZipEntry> iteratable 
                  = new IterableEnumeration<ZipEntry>(zipFile.entries());

Приводит к следующей ошибке: 

Main.java:19: cannot find symbol
symbol  : constructor IterableEnumeration(java.util.Enumeration<capture#469 of ? extends java.util.zip.ZipEntry>)
location: class IterableEnumeration<java.util.zip.ZipEntry>
        final IterableEnumeration<ZipEntry> iteratable = new IterableEnumeration<ZipEntry>(  zipFile.entries());
                                                         ^
1 error

Но примеры в JavaSpecialist работают: 

  IterableEnumeration<String> ie =
              new IterableEnumeration<String>(sv.elements());

Единственное отличие, которое я могу заметить, заключается в том, что в блоге JavaSpecialists Enumeration исходит от Vector, чья подпись: 

public Enumeration<E> elements()

в то время как тот, который терпит неудачу, происходит от ZipFile, чья подпись: 

public Enumeration<? extends ZipEntry> entries()

Наконец, все это поглощается конструкцией for-each и статическим методом make, предложенным в ссылке 

for(final ZipEntry entry : IterableEnumeration.make( zipFile.entries() ))  {
    if(!(entry.isDirectory())) {
        names.add(entry.getName());
    }
}

Но !! смысл в этом бюллетене не в том, чтобы решить эту проблему, а во избежание необходимости указывать универсальный тип только потому, что синтаксис выглядит ужасно !!

Итак .. мои вопросы:

Что происходит?

Почему создание экземпляра IterableEnumeration не работает, если параметром является Enumeration, тип которого <? extends SomeClass>? И почему конструкция make for-each поглощает проблему? !!!

Почему это работает: 

for(final ZipEntry entry : IterableEnumeration.make( zipFile.entries() ))  {

а это не работает? 

final IterableEnumeration<ZipEntry> iteratable
                     = IterableEnumeration.make( zipFile.entries() );

Ниже (слегка) измененная версия исходного кода TofuBeer: 

import java.util.Enumeration;
import java.util.HashSet;
import java.util.Iterator;
import java.util.Set;
import java.util.zip.ZipEntry;
import java.util.zip.ZipFile;
import java.util.Vector;

public class Main {
    private ZipFile zipFile;

    public Set<String> entries() {

        final Vector<ZipEntry>    vector = new Vector<ZipEntry>();
        // why this works.
        //final IterableEnumeration<ZipEntry> iteratable = new IterableEnumeration<ZipEntry>( vector.elements() );

        // but this do not.
        //final IterableEnumeration<ZipEntry> iteratable = new IterableEnumeration<ZipEntry>( zipFile.entries() );

        // nor this 
        final IterableEnumeration<ZipEntry> iteratable = IterableEnumeration.make( zipFile.entries() );

        // And what's with the for-each that doesn't care about the type?    
        final Set<String>   names = new HashSet<String>();

        for(final ZipEntry entry : IterableEnumeration.make( zipFile.entries() ))  {
            if(!(entry.isDirectory())) {
                names.add(entry.getName());
            }
        }

        return (names);
    }
}

class IterableEnumeration<T> implements Iterable<T> {
    private final Enumeration<T> enumeration;

    public IterableEnumeration(final Enumeration<T> e) {
        enumeration = e;
    }

    public Iterator<T> iterator() {
        return new Iterator<T>() { 
             public boolean hasNext() {
                return (enumeration.hasMoreElements());
            }

            public T next() {
                return (enumeration.nextElement());
            }

            public void remove() {
                throw new UnsupportedOperationException("Cannot remove via an Enumeration");
            }
        };
    }
    // As suggested by http://www.javaspecialists.eu/archive/Issue107.html
    // but doesn't help with: final IterableEnumeration<ZipEntry> iteratable = IterableEnumeration.make( zipFile.entries() );
    public static <T> Iterable<T> make(Enumeration<T> en) {
        return new IterableEnumeration<T>(en);
    }
}

Я хочу это понять !!

Ответы [ 2 ]

3 голосов
/ 07 марта 2009

Я не уверен, что происходит с циклом foreach, но вам нужно добавить подстановочный знак в ваше объявление IterableEnumeration, чтобы принять неопределенный тип, возвращаемый из ZipFile.entries ().

Заменить 

    private final Enumeration<T> enumeration;

    public IterableEnumeration(final Enumeration<T> e) {
        enumeration = e;
    }

    public static <T> Iterable<T> make(Enumeration<T> en) {
        return new IterableEnumeration<T>(en);
    }

С 

    private final Enumeration<? extends T> enumeration;

    public IterableEnumeration(final Enumeration<? extends T> e) {
        enumeration = e;
    }

    public static <T> Iterable<T> make(Enumeration<? extends T> en) {
        return new IterableEnumeration<T>(en);
    }
0 голосов
/ 04 августа 2009

Основная проблема здесь заключается в том, что когда ZipFile был изменен для поддержки обобщенных типов, сопровождающий решил сделать тип возврата entries() методов Enumeration<? extends ZipEntry> (предположительно, чтобы метод в подклассе JarFile может вернуть Enumeration<JarEntry>). Это вызывает проблему, которую вы видите.

Поскольку Enumeration<T> используется ковариантно (как и всегда - он только возвращает значения), вы всегда должны заставлять аргументы метода принимать Enumeration<? extends T>.

...