| Программирование на языке Java |
| Ненадежное приведение типов |
| Приведение типов в С и C —мощный механизм, который позволяет произвольным образом изменять тип указателей. Такой техникой надо пользоваться с крайней осторожностью, поскольку в С и С не предусмотрено средств, позволяющих обнаруживать неправильное использование приведения типов. Поскольку объекты в C —это просто указатели на адреса памяти, в этом языке во время исполнения программы нет способа обнаруживать случаи приведения к несовместимым типам. Дескрипторы объектов в Java включают в себя полную информацию о классе, представителем которого является объект, так что Java может выполнять проверку совместимости типов на фазе исполнения кода, возбуждая исключение в случае ошибки. |