Статическая и динамическая типизация

Статическая и динамическая типизация

Хотя возможны и промежуточные варианты, здесь представлены два главных подхода:

[x]. Динамическая типизация: ждать момента выполнения каждого вызова и тогда принимать решение.

[x]. Статическая типизация: с учетом набора правил определить по исходному тексту, возможны ли нарушения типов при выполнении. Система выполняется, если правила гарантируют отсутствие ошибок.

Эти термины легко объяснимы: при динамической типизации проверка типов происходит во время работы системы (динамически), а при статической типизации проверка выполняется над текстом статически (до выполнения).

Термины типизированный и нетипизированный (typed/untyped) нередко используют вместо статически типизированный и динамически типизированный (statically/dynamically typed). Во избежание любых недоразумений мы будем придерживаться полных именований.

Статическая типизация предполагает автоматическую проверку, возлагаемую, как правило, на компилятор. В итоге имеем простое определение:

Определение: статически типизированный язык

ОО-язык статически типизирован, если он поставляется с набором согласованных правил, проверяемых компилятором, соблюдение которых гарантирует, что выполнение системы не приведет к нарушению типов.

В литературе встречается термин "сильная типизация" (strong). Он соответствует ультимативной природе определения, требующей полного отсутствия нарушения типов. Возможны и слабые (weak) формы статической типизации, при которых правила устраняют определенные нарушения, не ликвидируя их целиком. В этом смысле некоторые ОО-языки являются статически слабо типизированными. Мы будем бороться за наиболее сильную типизацию.

В динамически типизированных языках, известных как нетипизированные, отсутствуют объявления типов, а к сущностям в период выполнения могут присоединяться любые значения. Статическая проверка типов в них невозможна.

Поделитесь на страничке

Следующая глава >

Похожие главы из других книг

5.5.2 Статическая Память

Из книги C++ автора Хилл Мюррей

5.5.2 Статическая Память Рассмотрим следующее:table tbl1(100);void f() (* static table tbl2(200); *)main() (*f(); *)Здесь конструктор table::table(), определенный в #5.3.1, будет вызываться дважды: один раз для tbl1 и один раз для tbl2. Деструктор table::~table() также будет вызван дважды: для уничтожения tbl1 и tbl2 после выхода


Динамическая компоновка и С++

Из книги Сущность технологии СОМ. Библиотека программиста автора Бокс Дональд

Динамическая компоновка и С++ Один из путей решения этих проблем – упаковка класса FastString в динамически подключаемую библиотеку (Dynamic Link Library – DLL). Это может быть сделано несколькими способами. Простейший из них – использовать директиву компилятора, действующую на уровне


Пример: статическая Map

Из книги Базовые алгоритмы Qt4 (Qt 4`s Generic Algorithms) автора S?rvig Morten

Пример: статическая Map В этой секции, мы будем использовать бинарный поиск, для реализации "static const" map. Структура данных полностью хранится в памяти и состоит из пары "фамилия, имя", которые отсортированы по фамилии. По сравнению с использованием QMap или QHash, этот подход


ЛЕКЦИЯ № 7. Динамическая память

Из книги Информатика и информационные технологии: конспект лекций автора Цветкова А В

ЛЕКЦИЯ № 7. Динамическая память 1. Ссылочный тип данных. Динамическая память. Динамические переменные Статической переменной (статически размещенной) называется описанная явным образом в программе переменная, обращение к ней осуществляется по имени. Место в памяти для


2.2.1 . Динамическая масштабируемая архитектура

Из книги Руководство администратора баз данных Informix. автора Кустов Виктор

2.2.1 . Динамическая масштабируемая архитектура Архитектура сервера INFORMIX-OnLine DS получила название "динамическая масштабируемая архитектура" (DSA). Суть ее заключается в том, что одновременно выполняется относительно небольшое число серверных процессов (виртуальных


Статическая типизация (static typing)

Из книги Основы объектно-ориентированного программирования автора Мейер Бертран

Статическая типизация (static typing) Когда в системе происходит вызов некоторого компонента определенным объектом, как узнать, что объект способен обработать вызов? (В терминологии сообщений: как узнать, что объект может обработать сообщение?) Чтобы гарантировать корректное


Типизация при наследовании

Из книги Программирование на языке Ruby [Идеология языка, теория и практика применения] автора Фултон Хэл

Типизация при наследовании Замечательная гибкость, обеспечиваемая наследованием, не связана с потерей надежности, поскольку используется статическая проверка типов, гарантирующая во время компиляции отсутствие некорректных комбинаций типов во время


Типизация и повторное объявление

Из книги Linux: Полное руководство автора Колисниченко Денис Николаевич

Типизация и повторное объявление Повторное объявление компонентов не требует сохранения сигнатуры. Пока оно виделось нам как замена одного алгоритма другим или - для отложенного компонента - запись алгоритма, соответствующего ранее заданной спецификации.Но, воплощая


Лекция 17. Типизация

Из книги Access 2002: Самоучитель автора Дубнов Павел Юрьевич

Лекция 17. Типизация Эффективное применение объектной технологии требует четкого описания в тексте системы типов всех объектов, с которыми она работает на этапе выполнения. Это правило, известное как статическая типизация (static typing), делает наше ПО: более надежным,


Статическая типизация: как и почему

Из книги Программирование для Linux. Профессиональный подход автора Митчелл Марк

Статическая типизация: как и почему Хотя преимущества статической типизации очевидны, неплохо поговорить о них еще


Типизация: слагаемые успеха

Из книги автора

Типизация: слагаемые успеха Каковы механизмы реалистичной статической типизации? Все они введены в предыдущих лекциях, а потому нам остается лишь кратко о них напомнить. Их совместное перечисление показывает согласованность и мощь их объединения.Наша система типов


Типизация и связывание

Из книги автора

Типизация и связывание Хотя как читатель этой книги вы наверняка отличите статическую типизацию от статического связывания, есть люди, которым подобное не под силу. Отчасти это может быть связано с влиянием языка Smalltalk, отстаивающего динамический подход к обеим задачам


19.3.6. Динамическая маршрутизация

Из книги автора

19.3.6. Динамическая маршрутизация Команда ip route позволяет добавить динамический маршрут; шлюз будет выбираться в зависимости от текущей нагрузки на нега. Всегда будет выбираться шлюз с минимальной нагрузкой.Пусть у нас есть два устройства — ppp0 и ppp1. Маршрут по умолчанию —


Статическая копия отчета

Из книги автора

Статическая копия отчета По сути, это фотография отчета – файл с расширением. snp, который содержит копии каждой страницы отчета, сформированного в Access, двумерных графиков, чертежей и других элементов, включенных в отчет. Такой файл можно просматривать, печатать, посылать


2.3.6. Динамическая загрузка и выгрузка

Из книги автора

2.3.6. Динамическая загрузка и выгрузка Иногда на этапе выполнения программы требуется загрузить некоторый код без явной компоновки. Рассмотрим приложение, поддерживающее подключаемые модули: Web-броузер. Архитектура броузера позволяет сторонним разработчикам создавать