Вопрос по types, type-erasure, generics, java – Проблема стирания типа Java

2

Я сделал пример, чтобы продемонстрировать свою проблему:

Metrical.java

public interface Metrical<T>
{
    double distance(T other);
}

Widget.java

public class Widget implements Metrical<Widget>
{
    private final double value;

    public Widget(double value) { this.value = value; }

    public double getValue() { return value; }

    public double distance(Widget other) { return Math.abs(getValue() - other.getValue()); }
}

Pair.java

public class Pair<T>
{
    private final double value;
    private final T object1, object2;

    public Pair(T object1, T object2, double value)
    {
        this.object1 = object1;
        this.object2 = object2;
        this.value = value;
    }

    public T getObject1() { return object1; }

    public T getObject2() { return object2; }

    public double getValue() { return value; }
}

Algorithm.java

import java.util.Set;

public class Algorithm<T extends Metrical<T>>
{
    public void compute(Set<T> objects)
    {

    }

    public void compute(Set<Pair<T>> pairs)
    {

    }
}

Итак, вAlgorithm.java, Set< Pair< T >> рассматривается какSet< T > и, таким образом, у меня возникают проблемы со стиранием типов. Тем не менее, есть ли способ, которым я могу избежать такого, не называя методы по-другому? Оба варианта алгоритма предназначены для работы наT's, но мне нужно учесть другие аргументы. Они вычисляют одно и то же, поэтому, чтобы избежать путаницы, я бы не стал называть их по-другому. Есть ли способ приспособиться к этому?

Технически это не проблема стирания. Перегрузка выполняется во время компиляции. Добавление дополнительной информации о типе среды выполнения не поможет. Tom Hawtin - tackline

Ваш Ответ

5   ответов
3

К сожалению, это основная область, где Java Generics рушится ... просто не существует хорошего решения.

Я обычно прибегал к созданию нового класса с интерфейсомSet<Pair<T>>, но это обертыванияSet<Pair<T>>  (без его расширения, что привело бы к той же проблеме).

3

Извините, плохая новость в том, что вы не можете сделать это:

public class Algorithm<T extends Metrical<T>> {
    public void compute(Set<T> objects) {
    }

    public void compute(Set<Pair<T>> pairs) {
    }
}

Из-за стирания оба будут стерты с одинаковой подписью. Нет никакого способа обойти одно из перечисленных методов.

В любом случае переименование одного из методов не может быть плохой идеей, поскольку они оба будут (немного) делать разные вещи (я полагаю).
0

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

Смотрите также:Использование TypeTokens для получения общих параметров

Я надеюсь, что это помогает.

0

public class Widget<K, P> implements Metrical<K extends Widget<P>>.

public double distance(Widget other) {} становитсяpublic double distance(Widget<P> other) {}

4

Нет, это не так.

Вы должны помнить, что кто-то может вызвать ваш метод просто с помощью ванильного набора, и в каком случае какой из них будет вызван?

Вот почему вы не можете этого сделать. Точно так же, как вы не можете:

interface A {
  void blah(Set set);
  void blah(Set<T> set);
}

Та же проблема.

Информация о типе недоступна во время выполнения (т. Е. Стирание типа).

что может быть возможным обойти эту проблему?

Похожие вопросы