Может ли язык быть «полным» без явного литья типов?

Question

Может ли язык программирования быть «полным» без существования явное литье? В сущности, есть что-нибудь мы не можем сделать, используя язык, который не имеет явного типа литья?

Например, the post below демонстрирует, что Java требует явного ввода типов для записи настраиваемых классов универсального типа.

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

Answer 1

Конечно, возьмите метод equals, например, он должен получить параметр Object. (и читать this great chapter of Effective Java относительно равных и друзей)

Answer 2

Я часто использую кастинг при работе с библиотеками, которые не построены с учетом дженериков, или когда мне нужно сбрасывать некоторые объекты для доступа к функциям, которые, как мне известно, реализуются подкласс, но не классом, который я использую в других случаях. Вероятно, разумно проверить с помощью предложения if (foo instanceof Bar) , прежде чем делать это.

Answer 3

Вот некоторые

Чтобы отменить автоматический примитивный уширение:

byte blammy = (byte)(schmarr & 0xF7); 

Наследие Код:

public void oldSchoolMethod(List oldSchoolListOfStrings) 
{ 
    String firstValue = (String)oldSchoolListOfStrings.get(0); 
} 

HTTP код:

public String getSchmarr(HttpServletRequest request) 
{ 
    HttpSession session = request.getSession(); 
    return (String)session.getAttribute("Schmarr"); 
} 

Edit: "типа увеличивается" correcte d к «первообразному расширению».

Answer 4

Когда мы десериализируем объект (например, из строки), нам необходимо вставить объект в класс, чтобы мы могли использовать его методы.

Answer 5

В Java нет способа объявить массив общего типа T. Например, он является недействительным объявить массив с помощью new T[10]:

public class List<T> { 
    T[] backing_array = new T[10]; // this line is invalid, 


    public T Item(int index) { 
     return backing_array[index]; // and therefore this line is invalid as well. 
    } 

    //etc... 

Лучшее альтернативное решение мы имеем это:

public class List<T> { 
    Object[] backing_array = new Object[10]; 

    public T Item(int index) { 
     return (T) backing_array[index]; // notice that a cast is needed here if we want the return type of this function to be T 
    } 

    //etc... 

Если отливка явного типа не существует в Java, было бы невозможно для создания общих списков массивов, поскольку объявление массива общего типа T не допускается.