Так как операция всегда производит заранее известный тип, типы всех элементов в стеке и локальных переменных в любой момент будущего могут быть определены по исходному состоянию. Совокупность всей информации о типах в любой конкретный момент называется состоянием типов стека; именно его Java анализирует перед запуском приложения. Java ничего не знает о фактических значениях, хранящихся в стеке и в переменных; известны только их типы. Однако этой информации достаточно для соблюдения правил безопасности
Программируем на Java
·
Дэн Лук
