1-2-3 (Решённые задачи прошлых лет)

Перечислимые типы даных

Есть в : Модула-2. Паскаль, Ада, С, С++(внутренне представление - int), C# (можно указать тип), Delphi.

Нет: Оберон, Java,

Неявный импорт имён:

Есть:

Нет: Оберон, модула-2 , Delphi.

Диапазоны:

Есть: Паскаль, Ада(подтип), Модула-2,

Нет: Оберон, Java, C#,

Указатели:

Есть:

1) Строгие языки - понятие указателя используется только для объектов из динамической памяти: Паскаль, Оберон, Модула-2 и Ада83, .

2) Нестрогие – понятие указателя используется НЕ только для объектов из динамической памяти: все производные от Си, (Delphi, многие версии Паскаля(прежде всего Турбо Паскаль), Ада95 – фактически ссылки)

Нет: Java, C# (кроме неуправляемой части кода)

Динамическая сборка мусора:

Оберон, Ада(если нет дин. сборки мусора, то есть UNCHECKED_DEALLOCATION (p) в ст. библиотеке),

Ссылочный тип:

Это указатель, операции над которым ограничены только присваиванием, выделением динамической памяти (ну и естественно передача как параметр, что эквивалентно присваиванию) и всё.

Есть: Delphi, Java и C#, Ада, С++(как тождественное имя переменной)

Перекрытие имён и функций:

Есть: Ада (в сигнатуру входит и возвращаемый тип), много где ещё

Нет: Оберон

Функциональный тип данных:

Значениями функционального типа данных служат процедуры и функции

Есть: Турбо Паскаль, Delphi, Модула 2, Оберон, Ада95,

Нет: Ада83(задачный тип, generic), Java(через наследование, анонимные классы), С#(есть делегаты).

Статическая параметризация(шаблоны):

Есть: Ада(generic segment), С++(шаблоны)

Нет: во всех остальных(в том числе и в Java(в первой))

Модуль(объединение структуры данных и набора операций):

1. Моудльные языки: Ада, Модула 2, Оберон и Оберон 2 – есть отдельно модуль и запись

Языки с классами: : C++, Java, C#.

1. С++ - само понятие записи может быть одновременно и модулем, и структурой данных

2. C# - есть class, есть struct(очень ограниченный класс)

1. Delphi – class(динамический), запись (статическая по умолчанию), object(для совместимости) – особняком(есть и модуль, и класс)

Объединения:

Есть: Паскаль(записи с вариантами); Ада(параметризованные типы записи); C++, Delphi(для совместимости), Модула-2

Нет: Java, C# и Оберон

Множества:

Есть: Паскаль, Модула-2(INCL, EXCL; BITSET),

Нет: Оберон(есть SET = BITSET из Модулы); Ада(есть упакованные массивы и перекрытие +, -, *); Java, C#, Delphi, C++(просто нет и всё)

Цикл for в Оберон отсутствует

Оператор перехода(goto):

Нет: Модула 2, Оберон и Java

Концепция параллелизма(сопрограммы):

Есть: Симула67, Модула-2(lдостаточно низкоуровневое), Ада, Java

Нет: C#, C++, Delphi

Передача параметров в процедуры/функции:

Очень много тонкостей, см. лекция 9

Переменный набор параметров процедур/функций:

Есть:

1. C, C++, C# (…)

2. Паскаль(псевдопроцедура write), Ада(статическое перекрытие операций)

Нет: Модула-2, Оберон, Оберон-2, Java

В Java нет неявного преобразования типов (только в обёртку и ещё преобразование от производного к базовому типу).

Свойства - спец. операции(на языковом уровне):

Поддерживаются: Delphi, C# и последних версиях Basic

Атом защиты:

1)Вся структура данных – Модула-2, Ада

2)Отдельные члены (более гибко) – Оберон, Delphi, Java, C#, C++

Явные терминаторы:

Есть: Модула-2, Оберон, Ада

Нет: Алгол-60, C/C++, Паскаль, Java, C#, Delphi

Вложенные модули:

В чистом виде только в Ада.

Исключительные ситуации:

Есть: Ада, С++, Java, C#, Delphi

Наследование:

Есть: Ада(вырожденный случай), Оберон, Delphi., C++

Множественное наследование:

Есть: C++(настоящее)

Ограничено(интерфейсы): C#, Java

В языке Java все методы по определению являются виртуальными,

Снятие виртуальности:

Есть: C++

Ограничено: Java(final), C#(sealed)

Замещение в языке C# идет не по сигнатурам (сигнатура – это прототип), а по именам.

Динамическое связывание:

Есть: Оберон-2, C++, Java, C#, Delphi, Ада95

Нет: Оберон

Мультиметоды:

Есть: как понятие только в Ада95

Абстрактные классы:

Есть: C++, C#, Java, Delphi

В Delphi не различаются маленькие и большие буквы.