Когда общее возвращаемое значение функции, отлитой после стирания стирания?

Ответ 1

Если вы не можете найти его в спецификации, это означает, что он не указан, и до реализации компилятора решать, куда вставлять роли или нет, если стертый код соответствует правилам безопасности типа non -генерированный код.

В этом случае код стираемого компилятора выглядит следующим образом:

public static Object identity(Object x) {
    return x;
}
public static void main(String args[]) {
    String a = (String)identity("foo");
    System.out.println(a.getClass().getName());

    Object b = identity("foo");
    System.out.println(b.getClass().getName());
}

В первом случае приведение требуется в стираемом коде, потому что, если вы его удалили, стертый код не будет компилироваться. Это связано с тем, что Java гарантирует, что то, что удерживается во время выполнения в ссылочной переменной возвращаемого типа, должно быть instanceOf, которое может быть повторно идентифицируемым, поэтому здесь требуется проверка времени выполнения.

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

Ответ 2

Версия 1 предпочтительнее, поскольку она терпит неудачу в compiletime.

Тип безопасного кода версии 1:

class Erasure {
public static <T> T unsafeIdentity(T x) {
    //no cast necessary, type checked in the parameters at compile time
    return x;
}

public static void main(String args[]) {
    // This will fail at compile time and you should use Integer c = ... in real code
    Object c = Erasure.<Integer>unsafeIdentity("foo");
    System.out.println(c.getClass().getName());
   }
}

Устаревший код типа safeafe версии 2 (Ошибка типа времени выполнения [...] В автоматически созданный бросок, введенный для обеспечения действительности операции на невосстанавливаемый тип и ссылка для ссылочного типа):

class Erasure {
public static <T> T unsafeIdentity(Object x) {
    return (T) x;
    //Compiled version: return (Object) x; 
    //optimised version: return x;
}

public static void main(String args[]) {
    // This will fail on return, as the returned Object is type Object and Subtype Integer is expected, this results in an automatic cast and a ClassCastException:
    Integer c = Erasure.<Integer>unsafeIdentity("foo");
    //Compiled version: Integer c = (Integer)Erasure.unsafeIdentity("foo");
    System.out.println(c.getClass().getName());
   }
}

Устаревший код TypeSafe версии 3, методы, в которых вы каждый раз знаете супертип (JLS Стирание переменной типа (§4.4) - это стирание ее левой части.):

class Erasure {
public static <T extends Integer> T unsafeIdentity(Object x) {
    // This will fail due to Type erasure and incompatible types:
    return (T) x;
    // Compiled version: return (Integer) x;
}

public static void main(String args[]) {
    //You should use Integer c = ...
    Object c = Erasure.<Integer>unsafeIdentity("foo");
    System.out.println(c.getClass().getName());
   }
}

Объект использовался только для иллюстрации того, что Object является допустимым целевым назначением в версиях 1 и 3, но при необходимости вы должны использовать реальный тип или общий тип.

Если вы используете другую версию java, вы должны посмотреть на конкретные страницы спецификации, я не ожидаю никаких изменений.

Ответ 3

Я не могу объяснить это очень хорошо, но комментарий не может добавить код так же, как я хочу, поэтому я добавляю этот ответ. Просто надеюсь, что этот ответ может помочь вашему пониманию. Комментарий не может добавить код, а также я хочу.

В вашем коде:

public class Erasure {
    public static <T> T unsafeIdentity(Object x) {
        return (T) x;
    }

    public static void main(String args[]) {
        // I would expect it to fail:
        Object c = Erasure.<Integer>unsafeIdentity("foo");
        System.out.println(c.getClass().getName());
        // but Prints 'java.lang.String'
    }
}

Он уничтожит Generics после компиляции. Во время компиляции у Erasure.unsafeIdentity нет ошибок. Дженерики jvm erasure зависят от параметров Generics, которые вы даете (Integer). После этого функция выглядит так:

public static Integer unsafeIdentity(Object x) {
    return x;
}

Фактически, ковариантные возвращения добавят Bridge Methods:

public static Object unsafeIdentity(Object x) {
    return x;
}

Если функция похожа на последнюю, вы считаете, что код в вашем основном методе будет скомпилирован? У него нет ошибок. Генераторы Erasure не добавят приведение в эту функцию, а возвращаемые параметры не являются отступом java-функции.

Мои объяснения немного надуманны, но надежда может помочь вам понять.

Edit:

После google об этой теме, я думаю, ваши проблемы - это ковариантные типы возврата с использованием мостовых методов. BridgeMethods