Если вы создаете универсальный класс в Java (класс имеет параметры универсального типа), можете ли вы использовать универсальные методы (метод принимает параметры универсального типа)?

Рассмотрим следующий пример:

public class MyClass {
  public  K doSomething(K k){
    return k;
  }
}

public class MyGenericClass {
  public  K doSomething(K k){
    return k;
  }

  public  List makeSingletonList(K k){
    return Collections.singletonList(k);
  }
}

Как и следовало ожидать с универсальным методом, я могу вызватьdoSomething(K) в случаяхMyClass с любым объектом:

MyClass clazz = new MyClass();
String string = clazz.doSomething("String");
Integer integer = clazz.doSomething(1);

Однако, если я попытаюсь использовать экземплярыMyGenericClass без указав общий тип, я звонюdoSomething(K) возвращаетObjectнезависимо от того, чтоK было передано в:

MyGenericClass untyped = new MyGenericClass();
// this doesn't compile - "Incompatible types. Required: String, Found: Object"
String string = untyped.doSomething("String");

Как ни странно, он будет компилироваться, если тип возвращаемого значения является универсальным классом - например,List (На самом деле это можно объяснить - см. Ответ ниже):

MyGenericClass untyped = new MyGenericClass();
List list = untyped.makeSingletonList("String"); // this compiles

Кроме того, он будет компилироваться, если типовой класс набирается, даже если только с подстановочными знаками:

MyGenericClass wildcard = new MyGenericClass();
String string = wildcard.doSomething("String"); // this compiles

Есть ли веская причина, почему вызов универсального метода в нетипизированном универсальном классе не должент работаешь?

Есть ли какая-нибудь хитрая уловка, относящаяся к универсальным классам и универсальным методам, которые мне не хватает?

РЕДАКТИРОВАТЬ:

Чтобы уточнить, я бы ожидал, что нетипизированный или типизированный необработанный типовой класс не будет соблюдать универсальный класс ».Параметры типа s (потому что они нет) Тем не менее, это 'Мне не понятно, почему нетипизированный или необработанный типовой класс будет означать, что универсальные методы не соблюдаются.

Оказывается, этот вопрос уже поднимался на SO, ср.этот вопрос, Ответы на это объясняют, что когда класс не типизирован / находится в необработанном виде,все дженерики удаляются из класса, включая типизацию дженериков.

Тем не менее, нетЭто действительно объяснение, почему это так. Итак, позвольте мне уточнить мой вопрос:

Почему Java удаляет типовые методы, типизированные для нетипизированных или универсальных классов необработанного типа? Есть ли для этого веская причина или это был просто недосмотр?

РЕДАКТИРОВАТЬ - обсуждение JLS:

Было предложено (в ответ на предыдущий вопрос SO и на этот вопрос), что это рассматривается вJLS 4.8который гласит:

Тип конструктора (§8.8), метод экземпляра (§8.4, §9.4) или нестатическое поле (§8.3) M необработанного типа C, который не унаследован от его суперклассов или суперинтерфейсов, является необработанным типом, который соответствует стиранию его типа в обобщенном объявлении, соответствующем C.

Мне понятно, как это относится к нетипизированному классу - универсальные типы классов заменяются типами стирания. Если родовые классы связаны, то тип стирания соответствует этим границам. Если они не связаны, то тип стирания - Object, например

// unbound class types
public class MyGenericClass {
  public T doSomething(T t) { return t; }
}
MyGenericClass untyped = new MyGenericClass();
Object t = untyped.doSomething("String");

// bound class types
public class MyBoundedGenericClass {
  public T doSomething(T t) { return t; }
}
MyBoundedGenericClass bounded = new MyBoundedGenericClass();
Object t1 = bounded.doSomething("String"); // does not compile
Number t2 = bounded.doSomething(1); // does compile

Хотя универсальные методы являются методами экземпляра, мне не ясно, что JLS 4.8 применяется к универсальным методам. Универсальный метод »тип s ( в более раннем примере) не является нетипизированным, так какТип s определяется параметрами метода - только класс является нетипизированным / необработанным.