Динамическая типизация
Динами́ческая типиза́ция — приём, используемый в
Динамическая типизация упрощает написание программ для работы с меняющимся окружением, при работе с данными переменных типов; при этом отсутствие информации о типе на этапе
Также, динамическая типизация вредит производительности программ, так как отсутствие информации о типе не позволяет компилятору эффективно
Производительность снижается и из-за необходимости проверять тип переменных во время операций, даже при обычном математическом сложении требуется проверить, что обе переменные хранят значение подходящего типа, затем получить само значение переменной через указатель на неё[1] и только потом производить необходимую операцию.
В некоторых языках со
==
», «!=
» и «===
», «!==
», где вторая пара операций сравнивает и значения, и типы переменных. Операция «===» даёт результат true только при полном совпадении, в отличие от «==», который считает верным такое выражение: (1=="1"
). Однако эта проблема не динамической типизации в целом, а конкретных языков программирования.
Является ключевым средством для реализации динамических языков программирования. Противоположный приём — статическая типизация.
Примечания
- ↑ Хотя сам метод получения значения переменной может отличаться в разных языках программирования
Ссылки
Для улучшения этой статьи желательно:
|