У некоторых авторов книг по C++ встречал такую мысль, что "абстрактный тип данных" - это любой производный (т.е. не базовый) тип, определённый программистом.

Т.е. получается, к примеру:


что тип P - это "абстрактный тип данных"?

Или как?

Скорее всего под "абстрактным типом данных" имеются в виду шаблоны.

это значит определенный пользователем тип данных

А что абстрактного в типах данных, определённых пользователем?

можно допустим так написать


вот TString и  NewType будет новым типом пользовательских данных

Да - новый. Но ничего абстрактного там нет.

Я у некоторых авторов книг по C++ и на форумах встречал такую мысль, что, де, "абстрактный тип данных" - это любой производный (т.е. не базовый) тип, определённый программистом.

Вторые пишут, что в C++ "абстрактный тип" - это только классы.

Третии пишут, "абстрактные типы" - это списки, очереди, деревья и т.п.

Четвёртые пишут, что "абстрактный тип" - это вообще может быть любым образом
(хоть с помощью макросов) описанный тип, посредством которого реализуется концепция
"абстракции данных"

Мне ближе всего 4-я точка зрения.

Ну, как мы недавно убедились, книги могут быть разные.

Я как-то писал про это дело.

Я читал, что люди, понимающие под "абстрактным типом" вообще любой 
производный тип,апеллируют к тому, что компилятор изначально ничего про них 
не знает (т.е. они как бы не существуют реально), а пользователь всё равно их может 
использовать в программе (естественно после описания) так же как и базовые типы.
Вообщем, как-то так  

Добавлено @ 16:50

А как пишут в "правильных" книгах , которые написаны реальными/правильными, живущими по "понятиям" пацанами?  
Т.е. какая из приведённых мной выше 4-х точек зрения правильная?

Добавлено @ 16:55

А что "абстрактного" во "встроенных абстрактных типах"? (т.е. типах НЕ определяемых пользователем).
Как я выяснил, существуют языки в которые есть встроенные (т.е. базовые) АТД 

Добавлено @ 16:56

Но тогда встаёт вопрос, что же такое "абстракция данных"?
Тут тоже есть весьма многочисленные разночтения

Это сообщение отредактировал(а) ДокторТуамОсес - 3.1.2011, 16:59

В том и дело что ничего.
Среди возможностей самого языка С++, связанных с абстрагированием, я вижу лишь шаблоны - с ними осуществляется работа вне зависимости от того какими конкретно данными (типами) они являются. Обычно в таком случае нужно лишь знать размер данных.

Добавлено через 2 минуты и 41 секунду
Абстракция данных - Бьерн Страуструп
Судя заданному жаргону - это написал "реальный пацан".

Или ещё к тому, что некоторые типы вообще не "привязаны" ни к какой переменной.

Например коде



не существует переменных типа P и тип P используется
только для построения на его основе других типов.

typedef существует лишь для удобства печатания, чтобы каждый раз при объявлении переменной не писать сложные конструкции типа "unsigned long long int", а просто:

И, вообще, это равносильно следующему:

но во втором случае нужно быть осторожным с контекстом.

АТД - это не термин C++.. читайте более обобщенные книги  


нет, не получается.. 


нет.. 


одна из реализаций АТД - это абстрактные классы.. 



нет, не так поняли..  при реализации списков, очередей, деревьев, лучше применять "АТД-подход".. 



да может.. 


ну так .. АТД, это тип реализующий концепцию "абстракции данных" - а вот что это подробно написано в книжках.. только надо выбрать правильные.. 
;)

Добавлено через 1 минуту и 3 секунды

при чем тут переменные , если речь о типе ?!   

Но это Вы зря.
В с++ много средств, поддерживающих абстракцию: макросы, функции, классы, перегрузка операций,
шаблоны, ....
Ведь абстракция в программировании по сути есть отделение "интерфейса" от "реализации".
Т.е. когда можно использовать ту или иную сущность зная только её интерфейс,
и изменять/выбирать реализацию этой сущности без необходимости менять код, использующий 
эту сущность.

Т.е. абстракция это (ИМХО), если "объяснять на пальцах"(с),
 когда "мухи отдельно, а котлеты отдельно"(с)  

Добавлено через 1 минуту и 10 секунд
"Что касается абстракции, то она состоит в отделении ощутимых свойств тел либо от
других их свойств, либо от самих тел, которые ими обладают."©