Использование суперкласса в качестве параметра типа в общем подтипе

Question

Почему эта часть кода дает несовместимую ошибку типа?

public class Sample<T extends Number> { 
    T doSomething() { 
     return new Integer(0); 
    } 
} 

Answer 1

Это дает ошибку компиляции, потому что компилятор, T может быть все, что расширяет String, поэтому String не будет соответствовать T, если T не действительно String, что он не может и не предполагать. Для этой цели компилятор игнорирует тот факт, что String является классом final.

В этом случае использование параметра типового типа T бесполезно. Это яснее, и оно скомпилируется.

public class Sample { 
    String doSomething() { 
     return "test"; 
    } 
}