С++ предлагает стандартную библиотеку шаблонов STL, в которой есть тип Мар. Любая библиотека классов в любой реализации С++ обязательно предлагает свой набор таблиц. Множества и таблицы не встраиваются в базис языка, а моделируются с помощью стандартных библиотек.

Исключением служит язык Perl. В нем есть понятие ассоциативного массива. Это разновидность таблиц.

@names = {"igor", "sergey", "anton",…}

names["anton"] = 1;

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

X = @names["anton"];

Perl – язык скриптовый. Его цель не создание огромных системных библиотек, а быстрый способ написания программ, которые могут манипулировать с какого-либо рода данными. С этой точки зрения раздутие базиса ассоциативным массивом недостатком не является. Но когда идет речь о языке общего назначения, добавление подобного рода конструкций в базис выглядит весьма непривлекательно. Вместо этого есть понятие стандартной библиотеки. В Java – это просто набор пакетов в Языке Java. В С# это .NET Framework. Это набор классов и ТД, которые едины для всей системы .NET, и для всех языков, которые включены в эту систему.

Файлы.

В стандартном Паскале

write(…);

- это не процедура. На языке Паскаль нельзя написать процедуру, которая имеет переменное число параметров разных типов. Это псевдопроцедура. Встраивание в язык подобного рода процедур не очень хорошо. Начиная с языка С ввод/вывод не является частью языка. Вместо этого есть стандартные пакеты и стандартные библиотеки, которые обслуживают потребности ввода/вывода.

Глава 3: Управление последовательностью действий.

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

Самый главный оператор в традиционных ЯП – это оператор присваивания.

v:= e

В компиляторе он самый сложный с точки зрения реализации. Все остальные операторы сводятся к выполнению операторов присваивания в определенном порядке.

Операторы, управляющие последовательностью действий:

• оператор ветвления

• циклы

• переходы

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

Ситуация изменилась в 1968, когда появилась знаменитая статья Дейкстры о вредности оператора goto. Впервые было высказано соображение что, если программист отказывается от каких-то приемов, то производительность его труда может возрасти.

Структурированное программирование – течение, появившееся в конце 60-ых г.г., основанное на идеях Дейкстры, Вирта и многих других программистов. Его идея – программирование в терминах некоторых абстракций. Сначала программа представляется как какая-то абстракция, потом эта абстракция реализовывается с помощью абстракций более нижнего уровня, и так до тех пор, пока мы не дойдем до абстракций, представленных конструкциями ЯП. В соответствии с этим подходом с точки зрения передачи управления любая конструкция должна иметь один вход и один выход.

нельзя

Обычные переходы в эту схему не вписываются.

Раз это распространяется на все абстракции, это должно выполняться и для примитивных абстракций.

Оказалось, что такой подход способствует написанию более надежных, более читабельных и лучше модифицируемых программ. Писать программы стало значительно быстрей. В 60-ых г.г. был доказан такой факт, что любую программу можно свести программе, которая использует только операцию ветвления и цикл типа while. Появились программы, которые автоматически переводили неструктурированные программы в структурированные.

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

Условный оператор

B?

S1 S2

Оператор S2 может отсутствовать.

Оператор цикла "пока".

да

B?

нет

S

Оператор цикла "до"

S

да

B?

нет

В 1974 г. Дональд Кнутт – известный программист – опубликовал статью, которая называлась "Структурное программирование с оператором goto". В ней Кнутт обратил внимание, что основная идея структурного программирования – это не программирование без goto. Основная идея структурного программирования, чтобы структура программы отражала структуру алгоритма. Оказывается ветвлений и операторов цикла для этого не хватает. Многие программы имеют такую структуру

Подготовить данные

Обработать

да

Готовы?

нет

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

Подготовить

да

Готово? Обработать Подготовить

нет

Внешне она выглядит структурно. Однако ее структура хуже, чем была до этого. То же самое произойдет, если мы будем использовать цикл "до". Поэтому ограниченные формы оператора перехода есть во всех современных ЯП. Они моделируют выход из середины цикла.