Cтраница 1
Абстрактные типы данных расширяют базовый язык программирования. [1]
Абстрактные типы данных предлагают естественный способ разбиения программы на модули, спецификации и верификации модулей. С помощью абстракции данных можно упрощать программирование, уменьшая количество ошибок, и создавать более читаемые и легко модифицируемые программы, в которых можно менять структуры данных, не внося больших изменений в программы. [2]
Абстрактный тип данных stack определяет стек, элементами которого являются значения типа integer, но такое определение практически полностью применимо и для любого другого типа элементов. [3]
Абстрактные типы данных на самом деле охватывают два понятия, а именно, представление данных и операции, которые разрешены над этими данными. Например, запись int определяет в C операции сложения, вычитания, умножения, деления и модуля, но деление на нуль не определено; эти разрешенные операции выполняются способом, чувствительным к параметрам машины, таким, как размер фиксированного слова используемой компьютерной системы. Другим примером является запись отрицательных целых чисел, для которых операции и представление данных ясны, но операция вычисления квадратного корня из отрицательного числа не определена. В C программист для реализации абстрактных типов данных использует классы. [4]
Абстрактные типы данных расширяют базу языка программирования. [5]
Абстрактный тип данных предоставим. IP MMEI осуществляет доступ к элементам даннык только за счет обращений к программам поддержки очереден по приоритетам, передавая эти дескрипторы ь гкзрлмс фах, Во кторохя случае ( например. [6]
Абстрактный тип данных будет по настоящему независим от представления, если конкретные его реализации будут изоморфны друг другу. Это приводит к естественному желанию рассматривать в качестве моделей абстрактного типа классы изоморфных алгебр. Такими классами могут быть, например, инициальные и терминальные алгебры. [7]
Абстрактный тип данных Т - 2, Е состоит из сигнатуры 2 и множества Е замкнутых 2-формул, называемых аксиомами. Как видим, определение абстрактного типа данных здесь полностью совпадает с данным выше определением теории. [8]
Абстрактные типы данных не вытесняют структурного программирования. Скорее они создают дополнительный уровень формализации, способствующий дальнейшему усовершенствованию процесса разработки программного обеспечения. [9]
Абстрактный тип данных на самом деле охватывает два понятия, а именно представление данных и операции, которые допустимы над этими данными. Например, понятие int в языке C определяет операции сложения, вычитания, умножения, деления и взятия по модулю, однако деление на нуль не определено; и выполнению этих разрешенных операций небезразличны параметры компьютера, такие как фиксированный размер слова базовой компьютерной системы. В C для реализации абстрактных типов данных программист использует классы. [10]
Абстрактные типы данных предоставляют в наше распоряжение постоянно расширяющийся набор инструментальных средств, позволяющий приниматься за решение все новых и новых задач. [11]
Новые абстрактные типы данных, созданные в средах разработки C, могут быть собственностью отдельных программистов, небольших групп или компаний. Абстрактные типы данных могут также помещаться в стандартные библиотеки классов, предназначенные для широкого распространения. Это не обязательно способствует распространению стандартов, хотя de facto делает появление стандартов вполне вероятным. В полной мере значение языка C будет осознано только тогда, когда станут широко доступными большие стандартизованные библиотеки классов. Должен быть инициирован формальный процесс, способствующий разработке стандартизованных библиотек. В Соединенных Штатах такая стандартизация часто происходит благодаря ANSI, Американскому национальному институту стандартов. Независимо от того, каким образом, в конечном счете, появятся эти библиотеки, читатель, изучающий C и объектно-ориентированное программирование, будет готов воспользоваться преимуществами новых видов ускоренной, ориентированной на компоненты разработки программного обеспечения, которую делают возможной библиотеки абстрактных типов данных. [12]
Использование абстрактных типов данных в языках программирования как функциональных, так и императивных стало обычным явлением, поскольку обеспечивает программиста более мощными выразительными средствами, разрешая описывать объекты, с которыми работает программа, наиболее естественным для решаемой задачи способом. Эти преимущества хорошо известны, и, в частности, в первой части книги были разъяснены достоинства сильно типизированного функционального языка. Здесь мы не повторяем этих аргументов. К сожалению, присущие абстрактным типам структуры редко соотносятся с обычно очень ограниченной структурой областей хранения в памяти ма-шины, поэтому реализация их неэффективна как по объему памяти, необходимому для объектов этих типов, так и по времени выборки элементов из таких объектов. Неоптимизированное представление составных объектов данных в памяти просто связывает ячейки памяти в точном соответствии со структурой типа объекта с использованием указателей и кучи, как обсуждалось в гл. Однако в некоторых структурах данных имеется определенное упорядочение объектов и доступ к структурам осуществляется в соответствии с этим упорядочением - самым очевидным примером являются списки. В таких случаях, очевидно, было бы наиболее эффективным применение естественного порядка элементов памяти путем занесения последовательных абстрактных объектов в смежные блоки памяти, что ускоряет и операцию запоминания, обычно реализуемую машинной операцией MOVE, и операцию выборки элемента, использующей индексацию. Конечно, не для всех компьютеров смежное размещение элементов хранения является обязательно оптимальным. Для машин с параллельной архитектурой, например, более подходящей структурой для динамических объектов может быть бинарное, дерево, с которым стал бы возможен независимый, одновременный доступ к его компонентам со стороны нескольких процессоров. Для структурированных данных с компонентами, которые можно обрабатывать в любом порядке, такое решение было бы действительно оптимальным, и поэтому можно было бы список представить подобным деревом. [13]
Концепция абстрактных типов данных вызвала появление новых языков программирования ( CLU [1], Alphard [2] и др.), которые, однако, пока не доступны для широкого использования. Поэтому представляет интерес исследование возможностей абстракции данных в существующих, широко распространенных языках программирования. [14]
В абстрактном типе данных назначение интерфейса состоит в том, чтобы служить в качестве соглашения между программой-клиентом и реализацией. Объявления функций обеспечивают соответствие между вызовами в клиентской программе и определениями функций в реализации. Но с другой стороны, интерфейс не содержит никакой информации о том, как должны быть реализованы функции, или хотя бы как они должны функционировать. [15]