Редактирование: Сравнение Языков Программирования

Материал из eSyr's wiki.

Версия от 19:38, 12 января 2013; 95.221.158.176 (Обсуждение)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)

ПРЕДУПРЕЖДЕНИЕ: Вы редактируете устаревшую версию данной страницы. После сохранения страницы будут потеряны изменения, сделанные в последующих версиях.

Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.

На этой страничке собираются материалы, которые могут помочь при подготовке к экзамену по языкам программирования.

ЯП из курса: C, C++, Java, C#, Pascal, Delphi, Оберон-2, Модула-2, Ада (83 и 95 стандарты)

Полезные ссылки:

[http://ru.wikipedia.org/wiki/%D1%F0%E0%E2%ED%E5%ED%E8%E5_%FF%E7%FB%EA%EE%E2_%EF%F0%EE%E3%F0%E0%EC%EC%E8%F0%EE%E2%E0%ED%E8%FF Сравнение ЯП в википедии]

[http://progopedia.ru/ Энциклопедия языков программирования]

[http://home.perm.ru/strannik/st_txt_prog_02.html/ Немножно рекламное сравнения большинства языков]

План (краткий, взят из методички Головина, подробный см. в самой [http://cmcmsu.no-ip.info/download/pl.exam.variants.pdf методичке]):

== Базисные типы данных в языках программирования: простые и составные типы данных, операции над ними ==
=== ADA ===
; Integer: Размер не фиксирован.
; Character : Как я понял, существует несколько разновидностей (зависит от размера) и является особым перечислимым типом (Enumeration)
; String: Массив '''Character''' фиксированной длины. Так же есть стандартные пакеты, реализующие строки квазистатической и динамической длины.
; Floating point: Эти типы обычно определяются вручную в виде конструкции, где Num_Digits указывает минимальную погрешность:

'''digits''' Num_Digits

; Fixed Point:  Эти типы также обычно определяются вручную в виде конструкции, где Delta означает погрешность:

'''delta''' Delta '''range''' Low .. High

=== Массивы. Длина массива - статический или динамический атрибут. ===
=== Управление памятью (ручное или сборщик мусора, выделение памяти для объектов) ===

=== Указатели ===
Ада, C, C++, C#, Delphi, Оберон

Указатели языка Ада 83 ссылаются только на объекты из
динамической памяти. Указатель языка Си++ может ссылаться на любой
объект данных (динамический, локальный, статический), что может
приводить к труднообнаружимым ошибкам.

Также в языке Ада отсутствует адресная арифметика (арифметические
операции над указателями), что также уменьшает вероятность появления
ошибки работы с памятью.

В языке Оберон указатель может быть объявлен только на массив или запись.

В Java явных указателей нет.

== Операторный базис языков программирования. Управление последовательностью вычислений ==

== Процедурные абстракции ==

=== Перегрузка операций ===
Ада 83, Ада 95, Си++, Java, Delphi, C#

Понятие «перегрузка» означает, что одному имени в одной области
видимости может соответствовать несколько определений. В современных
языках программирования перегружаться могут только имена подпрограмм,
но не типов, переменных, модулей.
Пример на языке Си++:
    class X {
    public:
        void f();
        void f (int)
    };
                
    X a;
    a.f(); // первая функция
    a.f(0); // вторая функция

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

== Определение новых типов данных. Логические модули. Классы ==

=== ADA ===

В Аде вообще типы принято определять вручную, пользуясь конструкциями '''type''' и '''subtype'''. Например:

'''type''' Short '''is''' '''range''' -128 .. +128 
 '''type''' Index '''is''' '''range''' 0 .. 256 
 '''type''' My_String '''is''' '''array''' ( Index '''range''' <> ) '''of''' Character ''-- My_String - это массив, индексируемый типом Index в неизвестных пока границах, состоящий из Character''
 '''subtype''' String_10 '''is''' My_String ( 0 .. 10 ); ''-- Подтип типа My_String, состоящий из 11 элементов.''
 '''type''' Money '''is''' '''delta''' 1/100 '''range''' 0.0 ... 10000.0

== Инкапсуляция и абстрактные типы данных ==

== Модульность и раздельная трансляция ==

=== Раздельная трансляция ===
C, C++

Раздельная трансляция означает то, что программа разбивается на
части — физические модули или единицы компиляции. Каждая единица
может или обязана транслироваться отдельно от остальных.
Независимая раздельная трансляция означает то, что транслятор не
обладает информацией об уже оттранслированных единицах и поэтому не
может проверить корректность межмодульных связей.

== Исключительные ситуации и обработка ошибок ==

=== Исключения и блоки try {} catch {} finally {}. Семантика возобновления и семантика завершения. ===

'''Семантика возобновления''': после обработки исключения
управление может вернуться непосредственно в точку, где возникло
исключение (варианты: на следующий оператор или на любой оператор из
того же блока).
Пример языка c семантикой возобновления: Visual Basic.

'''Семантика завершения''': после возникновения исключения блок, в
котором оно возникло, обязательно завершается. Обработка исключения
происходит в блоках, вызвавших блок с исключением.
Пример языка с семантикой завершения: Си++.

== Наследование типов и классов ==

== Динамический полиморфизм ==

== Абстрактные классы и интерфейсы ==

Абстрактный тип данных (АТД) — это тип с полностью
инкапсулированной структурой. Использовать объекты АТД возможно
только при помощи явно определенных в интерфейсе типа операций.
Абстрактный класс (АК) — это класс, содержащий хотя бы один
абстрактный метод.

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

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

== Динамическая идентификация типа ==

== Понятие о родовых объектах. Обобщенное программирование ==
=== ADA ===
Note to C++ programmers: generic units are similar to C++ templates. [http://www.example.com Ada Programming]

Объявляем шаблон:

'''generic'''
  '''type''' Element_T '''is''' '''private''';  ''-- Generic formal type parameter''
 '''procedure''' Swap (X, Y : '''in out''' Element_T);

Для его использования необходимо создать объект нужного типа:

'''procedure''' Swap_Integers '''is new''' Swap (Integer);

Возможна перегрузка:
 
 '''procedure''' Instance_Swap '''is''' '''new''' Swap (Float);
 '''procedure''' Instance_Swap '''is''' '''new''' Swap (Day_T);

== Итоговая таблица ==
Если в таблице указан знак вопроса, то либо этого языка не было в списке языков в задании, либо информация отсутствует.

{| border="1"
 !
 !C
 !C++
 !C#
 !Java
 !Pascal
 !Delphi
 !Оберон
 !Оберон-2
 !Modula-2
 !Ada83
 !Ada95
 |-
 !есть оператор перехода «goto метка»
 |есть
 |есть
 |есть
 |нет
 |есть
 |есть
 |нет
 |нет
 |нет
 |есть
 |есть
 |-
 !есть try-finally
 |нет
 |нет
 |есть
 |нет???
 |?
 |есть
 |нет
 |нет
 |нет
 |есть
 |есть
 |-
 !есть понятие динамического связывания подпрограмм (методов класса)
 |?
 |есть
 |есть
 |есть
 |?
 |есть
 |нет
 |есть
 |нет
 |нет
 |есть
 |}

Пожалуйста, обратите внимание, что все ваши добавления могут быть отредактированы или удалены другими участниками. Если вы не хотите, чтобы кто-либо изменял ваши тексты, не помещайте их сюда.
Вы также подтверждаете, что являетесь автором вносимых дополнений, или скопировали их из источника, допускающего свободное распространение и изменение своего содержимого (см. eSyr's_wiki:Авторское право).
НЕ РАЗМЕЩАЙТЕ БЕЗ РАЗРЕШЕНИЯ ОХРАНЯЕМЫЕ АВТОРСКИМ ПРАВОМ МАТЕРИАЛЫ!

Описание изменений:

Отменить | Справка по редактированию (в новом окне)

Шаблоны, использованные на этой странице: