Java почему перегрузка метода из общего типа не может быть определена во время компиляции

Question

Мне было интересно, почему следующий код не может использовать информацию типа обобщенного типа для правильного поиска наиболее специфичной перегрузки метода, вместо этого он всегда использует применимый метод ко всем потенциальным общим параметрам. Нет ли способа включить общий тип параметра во время компиляции, чтобы избежать неприятного отражения во время выполнения?

import org.junit.Assert; 
import org.junit.Test; 

import java.util.ArrayList; 
import java.util.List; 

public class Temp { 
    class A<T> { 
     T x; 
     A(T x) { 
      this.x = x; 
     } 
     String bar = foo(x); 

     private String foo(Integer i) { 
      return "Int"; 
     } 
     private String foo(String i) { 
      return "String"; 
     } 
     private <T> String foo(List<T> l) { 
      return "List"; 
     } 
     private <T> String foo(T v) { 
      return "Value"; 
     } 
    } 

    @Test 
    public void IntTest() { 
     Assert.assertEquals(new A<Integer>(1).bar, "Int"); 
    } 
    @Test 
    public void StringTest() { 
     Assert.assertEquals(new A<String>("A").bar, "String"); 
    } 
    @Test 
    public void ListTest() { 
     Assert.assertEquals(new A<List<String>>(new ArrayList<String>()).bar, "List"); 
    } 
    @Test 
    public void LongTest() { 
     Assert.assertEquals(new A<Long>(1L).bar, "Value"); 
    } 
} 

Answer 1

Это потому, что компилятор должен создать другой класс A для каждого типа, который используется для T (потому что инициализатор A.bar должен был бы вызов другого метода). Было принято решение создать только один класс. Это отличается от, например, C++, где компилятор генерирует новый тип для всех используемых параметров типа.

Иными словами, скомпилированный код для типа A<String> будет отличаться от типа A<Integer>, но после компиляции есть только тип A.

Answer 2

Это побочные дженерики удаляются во время компиляции. Существует концепция стирания, которая удаляет весь код генериков во время компиляции, заменяет его типом. Таким образом, java не будет знать методы дженериков во время выполнения.

EDIT:

Проверить эту ссылку также: http://docs.oracle.com/javase/tutorial/java/generics/restrictions.html#cannotOverload