Непейвода Н.Н. Программирование. Раздел 4

Непейвода Н.Н. Программирование. Страница 391

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

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

Главная трудность обусловлена теоретическими ограничениями: абсо­лютно формальное описание абстрактного типа, зависящего от ранее по­строенных конкретных типов, недостижимо. Любой подход к описанию типа, претендующий на формальную строгость и полноту, должен исполь­зовать те понятия, которые использовались при построении представлений исходных типов, или понятия, которые описывают эти представления. Ины­ми словами, если новый тип пополняет сложившуюся систему типов про­граммы, то невозможно описать его поведение без привязки к какомулибо описанию представления существующих типов.

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

Внимание!

Средства конструирования абстрактных понятий сверху, путем конкрети­зации и композиций общих концепций, плохо совместимы со средствами построения новых понятий снизу., из базовых конкретных операций и кон­кретных данных. См. § 3.3.

Новости

  • 1
  • 2
Prev Next

Ракета "Ангара-А5В" в ближайшее десятилетие не полетит

24.01.2016

Ракета "Ангара-А5В" в ближайшее десятилетие не полетит

Роскосмос не планирует в течение ближайшего десятилетия осуществлять пуск тяжёлой ракеты-носителя А...

Ученые РФ опровергли выводы исследований о вреде ГМО

24.01.2016

Ученые РФ опровергли выводы исследований о вреде ГМО

Исследователи из Института проблем передачи информации (ИППИ РАН) проанализировали несколько самых п...

Летающие "Крокодилы"

24.01.2016

Летающие "Крокодилы"

20 удивительных фактов о боевом вертолете Ми-24.Этот вертолет стал таким же узнаваемым символом сове...

В Аргентине описали новый вид динозавра-гиганта

24.01.2016

О ранее неизвестном виде динозавра, относящемуся к инфраотряду зауроподов, рассказали аргентинские п...

Реклама