Сравнение языков программирования (esyr) (Сравнение языков программирования), страница 4

Первая форма полностью соответствует оператору for языка Си++:for (e1; e2; e3) SВторая форма появилась в J2SE 5.0 (вместе с generic'ами) и используется для поэлементного просмотра коллекций (цикл for-each). Она имеет вид;for (T v: Coll) SЗдесь Coll — коллекция элементов (типа T или приводимых к типу T).

Переменная v на каждой итерации цикла принимает значение очередного элементаколлекции. Для того, чтобы объекты класса-коллекции могли появляться в цикле for-each, класс должен реализовать интерфейс Iterable.Для того, чтобы for можно было аналогичным образом использовать в C#, коллекция должна реализовывать интерфейс IEnumerable (конкретно методGetEnumerator)// метод класса, который мы хотим сделать итеративнымpublic System.Collections.IEnumerator GetEnumerator(){for (int i = 0; i < 10; i++){yield return i;}}Здесь yield преобразует int в объект класса IEnumerator. Кроме того, внутреннее состояние функции запоминается и в следующ ий раз выполнение функции будетпродолжено с того состояния и места, где функция вышла в прошлый раз. yield может вызываться только в теле for.Процедурные абстракции[править]Передача параметров в подпрограммы[править]Для каждой подпрограммы указывается набор формальных параметров. Можно рассматривать формальные параметры как локальные переменные телаподпрограммы.

При вызове подпрограммы указывается список фактических параметров. Соответствие между фактическими и формальными параметрамивыполняется по позиции в списке: первый фактический параметр соответствует первому формальному параметру и т. д. Такой способ называется позиционным.Язык С#, начиная с версии 4, предусматривает альтернативный — ключевой способ отождествления, в котором используются имена формальных параметров, ноopen in browser PRO versionAre you a developer? Try out the HTML to PDF APIpdfcrowd.comмы не будем его рассматривать. Сущ ествует три вида формальных параметров:входные параметры (параметры, от которых требуется только значение). Мы используем только значения фактических параметров, которые не меняются привыходе из тела функции;выходные параметры (эти параметры не обязаны иметь начальное значение, но могут быть изменены в теле функции);изменяемые параметры (требуется и исходное значение, и возможность его изменения).С входным параметром может связываться произвольное выражение, а выходным или изменяемым — только объекты, которые могут стоять в левой частиоператора присваивания.

В большинстве языков программирования вместо указания вида параметра указывается способ (механизм) связывания параметра,называемый способом передачи параметра.Сущ ествует два основных способа передачи параметров: по значению и по ссылке.Передача параметров по значению[править]Формальный параметр есть некоторая локальная переменная. Место для локальных переменных отводится в стеке.

При вызове подпрограммы значениефактического параметра копируется в соответствующ ий формальный параметр. Все изменения формального параметра связаны с изменением локальнойпеременной и не сказываются на фактическом параметре. Перед копированием может потребоваться приведение типа, если типы фактического и формальногопараметров не совпадают.Передача параметров по ссылке[править]Фактически этот способ есть передача ссылки по значению.

Формальный параметр — это ссылка на объект. (Сущ ествует мнение, что данное «определение» нетолько не отражает сути явления, но и неверно в корне. В дискуссии вокруг передачи аргументов в Java Dale King дал следующ ее определение. Передача поссылке — это когда lvalue формального параметра устанавливается в lvalue фактического параметра.) В момент вызова происходит инициализация ссылкифактическим параметром. Преобразования типов в этот момент не происходит: типы формального и фактического параметров должны совпадать.

Посколькуссылка после инициализации отождествляется с объектом, то любые изменения формального параметра подразумевают изменения фактического параметра.Очевидно, что способ передачи по значению соответствует семантике входных формальных параметров. По ссылке можно передавать выходные и изменяемыепараметры.Аргументы в C/C++ всегда передаются по значению[править]В C++ есть ссылочный тип. Переменная ссылочного типа может ссылаться на значение любого типа, должна быть инициализирована и не может менять значения.С помощ ью передачи переменной ссылочного типа можно имитировать все возможности контрукции var из Pascal. Но можно действовать в стиле C —передавать указатель.

В свою очередь, чтобы менять указатель, можно передавать в функцию/метод указатель или ссылку на него.Аргументы в Java всегда передаются по значению[править]Сущ ествует распространённое заблуждение о том, что «объекты передаются по ссылке, а примитивные типы — по значению». На самом деле ситуация иная:1. Аргументы любого типа передаются по значению. Объекты, однако, не передаются вообщ е.2.

Значения переменных всегда примитивы или ссылки (или null), но никак не объекты.Подробнее см. http://www.yoda.arachsys.com/java/passing.html.В соответствии с изложенным выше, метод может изменить объект через аргумент-ссылку. С примитивным типом это не пройдёт, так как в Java нет ссылок назначения примитивных типов. Чтобы иметь возможность изменить из метода значение некоторой внешней переменной примитивного типа, нужно чтобы этапеременная была полем некоторого объекта.В связи с этим для примитивных типов были введены классы-обёртки.

Объект такого класса содержит в себе значение примитивного типа, которое можно какпрочитать, так и поменять. См. также Упаковка и распаковкаopen in browser PRO versionAre you a developer? Try out the HTML to PDF APIpdfcrowd.comПерегрузка операций[править]Ада 83, Ада 95, Си++, Java, Delphi, C#Понятие «перегрузка» (англ. overloading) означает, что одному имени в одной области видимости может соответствовать несколько определений. В современныхязыках программирования перегружаться могут только имена подпрограмм, но не типов, переменных, модулей.Пример на языке C++:class X {public:void f();void f(int)};X a;a.f(); // первая функцияa.f(0); // вторая функцияОтличие перегрузки от замещ ения (скрытие, англ.

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

Первые не возвращ ают значения, вторые - возвращ ают. Самое интересное здесь - это виды передачи параметров. В аде их 4.inФактический параметр не изменяется и передается как константа read-only (этот модификатор используется по умолчанию)outФактический параметр передается только на изменение. Внутри подпрограммы этот параметр не доступен на чтение.in outФактический параметр передается с read-write семантикой.accessФактический параметр является указателем.

Это не модификатор, а тип и может использоваться с 3-мя вышеперечисленными модификаторами.До 2012-го года функции в Аде могли принимать только in и access параметры.Имеются типы-указатели на подпрограмму, определяются в виде.type PFunction is access function (X : in Param_Type) return Return_Type;ОБЕРОН И ОБЕРОН-2[править]Имеются два вида процедур: собственно процедуры и процедуры- функции. Последние активизируются обозначением функции как часть выражения ивозвращ ают результат, который является операндом выражения.

Собственно процедуры активизируются вызовом процедуры. Процедура является процедуройфункцией, если ее формальные параметры задают тип результата. Тело процедуры-функции должно содержать оператор возврата, который определяет результат.PROCEDURE log2 (x: INTEGER): INTEGER;VAR y: INTEGER; (*предполагается x>0*)BEGINy := 0; WHILE x > 1 DO x := x DIV 2; INC(y) END;RETURN yopen in browser PRO versionAre you a developer? Try out the HTML to PDF APIpdfcrowd.comRETURN yEND log2Определение новых типов данных. Логические модули.

Классы[править]ADA[править]В Аде вообщ е типы принято определять вручную, пользуясь конструкциями type и subtype. Например:type Short is range -128 .. +128type Index is range 0 .. 256type My_String is array ( Index range <> ) of Character -- My_String - это массив, индексируемый типом Index в неизвестных пока границах, состоящий из Charactersubtype String_10 is My_String ( 0 .. 10 ); -- Подтип типа My_String, состоящий из 11 элементов.type Money is delta 1/100 range 0.0 ... 10000.0Ключевое слово Limited означает, что у новоявленного типа нет стандартных операций до тех пор, пока программист сам их не опишет.В языке Ada есть мощ ный механизм пакетов, и этим он, несмотря на то, что основан на Pascal, совсем на него не похож.

Пакеты заимствованы из других языков.Они похожи на классы тем, что являются средством абстракции, позволяющ ем инкапсулировать сложность внутри пакета, предоставив наружу только интерфейс.Ладно, к сути.Каждый пакет физически разделён на две части.-- Интерфейсpackage Points istype Point is recordx: Integer;y: Integer;end record;zero: constant Point := (0, 0);procedure setToZero(point: in out Point);function dotProduct(point1: in Point; point2: in Point) return Integer;end Points;-- Реализацияpackage body Points isprocedure setToZero(point: in out Point) isbeginpoint := zero;end setToZero;function dotProduct(point1: in Point; point2: in Point) return Integer isbeginreturn point1.x * point2.x + point1.y * point2.y;end setToZero;end Points;Ada имеет средства разграничения доступа. Всё, что следует за спецификатором private, не будет доступно при импорте пакета.-- Интерфейсpackage Points istype Point is private; -- Это ключевое слово как бы намекает.zero: constant Point; -- Тут тоже неявный private.procedure setToZero(point: in out Point);function dotProduct(point1: in Point; point2: in Point) return Integer;privatetype Point is recordx: Integer;y: Integer;end record;zero: constant Point := (0, 0);open in browser PRO versionAre you a developer? Try out the HTML to PDF APIpdfcrowd.comzero: constant Point := (0, 0);end Points;Вне пакета можно будет объявить переменные типа «Point», но все действия будут ограничены присваиваниями, сравнениями на равенство и проверкамипринадлежности (нужно описать подробнее).

Поэтому в пакет надо бы добавить «конструктор», если, конечно, предполагается возможная инициализация этихструктур вне пакета. Если стандартная реализация этих операций не устраивает, можно использовать limited private, который в остальном ничем от private неотличается, но этих операций не позволяет.Реализация может также иметь часть-инициализацию.