Java дженериков: Как определить точный метод подписи

Question

У меня есть класс с различными конструкторами:

public class SomeClass { 

    public SomeClass(Object obj) { 
     Log.d("x", "SomeClass(Object)"); 
    } 

    public SomeClass(Integer num) { 
     Log.d("x", "SomeClass(Integer)"); 
    } 

    public SomeClass(String str) { 
     Log.d("x", "SomeClass(String)"); 
    } 

    public <K, V> SomeClass(Map<K, V> map) { 
     Log.d("x", "SomeClass(List)"); 
     for (K key : map.keySet()) { 
      new SomeClass(key); 
      new SomeClass(map.get(key)); 
     } 
    } 
} 

... и некоторый код, который использует его следующим образом:

HashMap<String, Integer> map = new HashMap<>(); 
map.put("key", 100); 
new SomeClass(map); 

В результате у меня есть такой вывод:

"SomeClass(List)" 
"SomeClass(Object)" 
"SomeClass(Object)" 

вместо необходимости

"SomeClass(List)" 
"SomeClass(String)" 
"SomeClass(Integer)" 

Я полагаю, что из-за Java Type Erasure вложенные вызовы конструкторов SomeClass попадают в самый общий.

Вопрос: любые идеи, как преодолеть это поведение Java и заставить его вызвать конструктор с требуемым типом параметра? (Статические обертки и шаблон ткани здесь не принимаются)

Answer 1

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

Рассмотрим код:

Object value = "value"; 
SomeClass something = new SomeClass(value); 

Затем используется перегрузка SomeClass(Object).

Вы можете использовать instanceof, но это, как правило, хороший признак того, что в дизайне что-то не так. Почти наверняка вы хотите, чтобы у Map был соответствующий тип. На данный момент вы могли бы написать последний конструктор, как: (. Кстати, общие конструкторы действительно неясными)

public SomeClass(Map<?, ?> map) {