Абстрактный тип данных - История изменений

Patarakin в 16:03, 9 января 2023

2023-01-09T16:03:36Z

← Предыдущая версия		Версия от 19:03, 9 января 2023
Строка 1:		Строка 1:
			{{Понятие
			\|Description=Абстра́ктный тип да́нных (АТД) — это математическая модель для типов данных, где тип данных определяется поведением (семантикой) с точки зрения пользователя данных, а именно в терминах возможных значений, возможных операций над данными этого типа и поведения этих операций.
			\|Field_of_knowledge=Информатика
			\|similar_concepts=Структура данных
			}}
	'''Абстра́ктный тип да́нных''' '''(АТД)''' — это [[математическая модель]] для [[Тип данных\|типов данных]], где тип данных определяется поведением ([[Семантика (программирование)\|семантикой]]) с точки зрения ''пользователя'' данных, а именно в терминах возможных значений, возможных операций над данными этого типа и поведения этих операций.		'''Абстра́ктный тип да́нных''' '''(АТД)''' — это [[математическая модель]] для [[Тип данных\|типов данных]], где тип данных определяется поведением ([[Семантика (программирование)\|семантикой]]) с точки зрения ''пользователя'' данных, а именно в терминах возможных значений, возможных операций над данными этого типа и поведения этих операций.

	Формально АТД может быть определён как [[множество]] объектов, определяемое списком компонентов (операций, применимых к этим объектам, и их свойств). Вся внутренняя структура такого типа спрятана от разработчика [[программное обеспечение\|программного обеспечения]] — в этом и заключается суть [[Абстракция ~~данных~~\|абстракции]]. Абстрактный тип данных определяет набор [[Функция (программирование)\|функций]], независимых от конкретной реализации типа, для оперирования его значениями. Конкретные реализации АТД называются [[Структура данных\|структурами данных]].		Формально АТД может быть определён как [[множество]] объектов, определяемое списком компонентов (операций, применимых к этим объектам, и их свойств). Вся внутренняя структура такого типа спрятана от разработчика [[программное обеспечение\|программного обеспечения]] — в этом и заключается суть [[Абстракция\|абстракции]]. Абстрактный тип данных определяет набор [[Функция (программирование)\|функций]], независимых от конкретной реализации типа, для оперирования его значениями. Конкретные реализации АТД называются [[Структура данных\|структурами данных]].

	В [[программирование\|программировании]] абстрактные типы данных обычно представляются в виде [[Программный интерфейс\|интерфейсов]], которые скрывают соответствующие реализации типов. Программисты работают с абстрактными типами данных исключительно через их интерфейсы, поскольку реализация может в будущем измениться. Такой подход соответствует принципу [[Инкапсуляция ~~(программирование)~~\|инкапсуляции]] в [[объектно-ориентированное программирование\|объектно-ориентированном программировании]]. Сильной стороной этой методики является именно сокрытие реализации. Раз вовне опубликован только интерфейс, то пока структура данных поддерживает этот интерфейс, все программы, работающие с заданной структурой абстрактным типом данных, будут продолжать работать. Разработчики структур данных стараются, не меняя внешнего интерфейса и [[Семантика ~~(программирование)~~\|семантики]] функций, постепенно дорабатывать реализации, улучшая [[алгоритм]]ы по скорости, надёжности и используемой памяти.		В [[программирование\|программировании]] абстрактные типы данных обычно представляются в виде [[Программный интерфейс\|интерфейсов]], которые скрывают соответствующие реализации типов. Программисты работают с абстрактными типами данных исключительно через их интерфейсы, поскольку реализация может в будущем измениться. Такой подход соответствует принципу [[Инкапсуляция\|инкапсуляции]] в [[объектно-ориентированное программирование\|объектно-ориентированном программировании]]. Сильной стороной этой методики является именно сокрытие реализации. Раз вовне опубликован только интерфейс, то пока структура данных поддерживает этот интерфейс, все программы, работающие с заданной структурой абстрактным типом данных, будут продолжать работать. Разработчики структур данных стараются, не меняя внешнего интерфейса и [[Семантика\|семантики]] функций, постепенно дорабатывать реализации, улучшая [[алгоритм]]ы по скорости, надёжности и используемой памяти.

	Различие между абстрактными типами данных и [[Структура данных\|структурами данных]], которые реализуют абстрактные типы, можно пояснить на следующем примере. Абстрактный тип данных «[[~~список (информатика)\|~~список]]» может быть реализован при помощи [[массив ~~(программирование)\|массива~~]] или линейного списка с использованием различных методов [[Динамическое распределение памяти\|динамического выделения памяти]]. Однако каждая реализация определяет один и тот же набор функций, который должен работать одинаково (по результату, а не по скорости) для всех реализаций.		Различие между абстрактными типами данных и [[Структура данных\|структурами данных]], которые реализуют абстрактные типы, можно пояснить на следующем примере. Абстрактный тип данных «[[список]]» может быть реализован при помощи [[массив]]а или линейного списка с использованием различных методов [[Динамическое распределение памяти\|динамического выделения памяти]]. Однако каждая реализация определяет один и тот же набор функций, который должен работать одинаково (по результату, а не по скорости) для всех реализаций.

	Абстрактные типы данных позволяют достичь [[Модульность (программирование)\|модульности]] программных продуктов и иметь несколько альтернативных взаимозаменяемых реализаций отдельного модуля.		Абстрактные типы данных позволяют достичь [[Модульность (программирование)\|модульности]] программных продуктов и иметь несколько альтернативных взаимозаменяемых реализаций отдельного модуля.

Patarakin в 10:53, 19 октября 2022

2022-10-19T10:53:29Z

← Предыдущая версия		Версия от 13:53, 19 октября 2022
Строка 10:		Строка 10:

	[[Категория:Структуры данных]]		[[Категория:Структуры данных]]
			[[Категория:Понятие]]

Patarakin в 07:34, 19 октября 2022

2022-10-19T07:34:50Z

← Предыдущая версия		Версия от 10:34, 19 октября 2022
Строка 9:		Строка 9:
	Абстрактные типы данных позволяют достичь [[Модульность (программирование)\|модульности]] программных продуктов и иметь несколько альтернативных взаимозаменяемых реализаций отдельного модуля.		Абстрактные типы данных позволяют достичь [[Модульность (программирование)\|модульности]] программных продуктов и иметь несколько альтернативных взаимозаменяемых реализаций отдельного модуля.

	~~== Примеры АТД ==~~
	* [[Список (информатика)\|Список]]
	* [[Стек]]
	* [[Очередь (программирование)\|Очередь]]
	* [[Ассоциативный массив]]
	* [[Очередь с приоритетом (программирование)\|Очередь с приоритетом]]

	~~== См. также ==~~
	* [[Интерфейс программирования приложений]]
	* [[Объектно-ориентированное программирование]]

	~~== Ссылки ==~~
	* [http://www.rsdn.ru/article/alg/adt/adt.xml Лапшин В. А. Абстрактные типы данных в программировании]

	~~{{Типы данных}}~~
	~~{{rq\|sources\|refless\|stub\|topic=ИТ}}~~

	~~[[Категория:Типы данных]]~~
	[[Категория:Структуры данных]]		[[Категория:Структуры данных]]
	~~[[Категория:Теория типов]]~~

Patarakin: 1 версия импортирована

2022-10-19T07:30:42Z

1 версия импортирована

← Предыдущая версия	Версия от 10:30, 19 октября 2022
(нет различий)

ru_wikipedia>Fobemipa: /* Преамбула */ пунктуация

2022-06-17T05:55:46Z

Преамбула: пунктуация

Новая страница

'''Абстра́ктный тип да́нных''' '''(АТД)''' — это [[математическая модель]] для [[Тип данных|типов данных]], где тип данных определяется поведением ([[Семантика (программирование)|семантикой]]) с точки зрения ''пользователя'' данных, а именно в терминах возможных значений, возможных операций над данными этого типа и поведения этих операций.

Формально АТД может быть определён как [[множество]] объектов, определяемое списком компонентов (операций, применимых к этим объектам, и их свойств). Вся внутренняя структура такого типа спрятана от разработчика [[программное обеспечение|программного обеспечения]] — в этом и заключается суть [[Абстракция данных|абстракции]]. Абстрактный тип данных определяет набор [[Функция (программирование)|функций]], независимых от конкретной реализации типа, для оперирования его значениями. Конкретные реализации АТД называются [[Структура данных|структурами данных]].

В [[программирование|программировании]] абстрактные типы данных обычно представляются в виде [[Программный интерфейс|интерфейсов]], которые скрывают соответствующие реализации типов. Программисты работают с абстрактными типами данных исключительно через их интерфейсы, поскольку реализация может в будущем измениться. Такой подход соответствует принципу [[Инкапсуляция (программирование)|инкапсуляции]] в [[объектно-ориентированное программирование|объектно-ориентированном программировании]]. Сильной стороной этой методики является именно сокрытие реализации. Раз вовне опубликован только интерфейс, то пока структура данных поддерживает этот интерфейс, все программы, работающие с заданной структурой абстрактным типом данных, будут продолжать работать. Разработчики структур данных стараются, не меняя внешнего интерфейса и [[Семантика (программирование)|семантики]] функций, постепенно дорабатывать реализации, улучшая [[алгоритм]]ы по скорости, надёжности и используемой памяти.

Различие между абстрактными типами данных и [[Структура данных|структурами данных]], которые реализуют абстрактные типы, можно пояснить на следующем примере. Абстрактный тип данных «[[список (информатика)|список]]» может быть реализован при помощи [[массив (программирование)|массива]] или линейного списка с использованием различных методов [[Динамическое распределение памяти|динамического выделения памяти]]. Однако каждая реализация определяет один и тот же набор функций, который должен работать одинаково (по результату, а не по скорости) для всех реализаций.

Абстрактные типы данных позволяют достичь [[Модульность (программирование)|модульности]] программных продуктов и иметь несколько альтернативных взаимозаменяемых реализаций отдельного модуля.

== Примеры АТД ==
* [[Список (информатика)|Список]]
* [[Стек]]
* [[Очередь (программирование)|Очередь]]
* [[Ассоциативный массив]]
* [[Очередь с приоритетом (программирование)|Очередь с приоритетом]]

== См. также ==
* [[Интерфейс программирования приложений]]
* [[Объектно-ориентированное программирование]]

== Ссылки ==
* [http://www.rsdn.ru/article/alg/adt/adt.xml Лапшин В. А. Абстрактные типы данных в программировании]

{{Типы данных}}
{{rq|sources|refless|stub|topic=ИТ}}

[[Категория:Типы данных]]
[[Категория:Структуры данных]]
[[Категория:Теория типов]]