Материал из РУВИКИ — свободной энциклопедии

Delphi (язык программирования)

Delphi
Класс языка императивный, структурированный, объектно-ориентированный, компонентно-ориентированный, высокоуровневый
Появился в 1986; 38 лет назад (1986)
Автор Андерс Хейлсберг
Расширение файлов .pas, .dpr, .dpk, .pp, .dproj, .dfm, .fmx, .bpl
Выпуск 11.2 Alexandria[1] (7 сентября 2022; 2 года назад (2022-09-07))
Система типов статическая, сильная
Основные реализации Borland/Inprise/Codegear/Embarcadero Delphi; Borland Kylix; FreePascal
Испытал влияние Object Pascal, C++
Повлиял на C#, Java[1]
Сайт embarcadero.com/ru/produ…
Платформа x86, x64, ARM
ОС Windows, macOS, iOS, Android, Linux

Delphi (Де́лфи, произносится /ˈdɘlˌfi:/[2]) — императивный, структурированный, объектно-ориентированный, высокоуровневый язык программирования со строгой статической типизацией переменных. Основная область использования — написание прикладного программного обеспечения.

Этот язык программирования является диалектом языка Object Pascal. Изначально язык Object Pascal относился к несколько другому языку, который был разработан в фирме Apple в 1986 году группой Ларри Теслера[3]. Однако, начиная с Delphi 7[4], в официальных документах компании Borland название Delphi стало использоваться для обозначения языка, ранее известного как Object Pascal.

Целевая платформа[править | править код]

Изначально среда разработки Delphi была предназначена исключительно для разработки приложений Microsoft Windows, затем был реализован вариант для платформ Linux (под торговой маркой Kylix), однако после выпуска в 2002 году Kylix 3 его разработка была прекращена, и вскоре было объявлено о поддержке Microsoft .NET, которая, в свою очередь, была прекращена с выходом Delphi 2007.

В настоящее время, наряду с поддержкой разработки 32 и 64-разрядных программ для Windows, реализована возможность создавать приложения для Apple macOS (начиная с Embarcadero Delphi XE2), iOS (включая симулятор, начиная с XE4 посредством собственного компилятора), Google Android (начиная с Delphi XE5)[5], а также Linux Server x64 (начиная с версии 10.2 Tokyo).

Независимая, сторонняя реализация среды разработки проектом Lazarus (Free Pascal, в случае компиляции в режиме совместимости с Delphi) позволяет использовать его для создания приложений на Delphi для таких платформ, как Linux, macOS и Windows CE.

Также предпринимались попытки использования языка в проектах GNU (например, Notepad GNU) и написания компилятора для GCC (GNU Pascal).

Используется для написания интернет сервисов IIS.

Философия и отличия от популярных прикладных языков программирования[править | править код]

При создании языка (и здесь качественное отличие от языка C) не ставилось задачи обеспечить максимальную производительность исполняемого кода или лаконичность исходного кода для экономии оперативной памяти. Изначально язык ставил во главу угла стройность и высокую читаемость, поскольку был предназначен для обучения дисциплине программирования. Эта изначальная стройность в дальнейшем, как по мере роста аппаратных мощностей, так и в результате появления новых парадигм, упростила расширение языка новыми конструкциями.

Так, сложность объектного C++, по сравнению с C, выросла весьма существенно и затруднила его изучение в качестве первого языка программирования, чего нельзя сказать об Object Pascal относительно Pascal.

Ниже перечислены некоторые отличия синтаксических конструкций Delphi от семейства C-подобных языков (C/C++/Java/C#):

  • В Delphi формальное начало любой программы чётко отличается от других участков кода и должно располагаться в определённом, единственном в рамках проекта, исходном файле с расширением dpr (тогда как другие файлы исходных текстов программы имеют расширение pas).
program Project32;

{$APPTYPE CONSOLE}

{$R *.res}

uses
  System.SysUtils;

begin
  try
    { TODO -oUser -cConsole Main: Insert code here }
  except
    on E: Exception do
      Writeln(E.ClassName, ': ', E.Message);
  end;
end.
В С-подобных языках программирования в качестве входа обычно используется глобальная функция или статический метод с именем main и определённым списком параметров, причём такая функция может быть расположена в любом из файлов исходного текста проекта.
  • В Delphi идентификаторы типов, переменных, а равно и ключевые слова читаются независимо от регистра: например, идентификатор SomeVar полностью эквивалентен somevar. Регистро-зависимые идентификаторы в начале компьютерной эпохи ускоряли процесс компиляции, и кроме того, позволяли использовать очень короткие имена, порой отличающиеся лишь регистром.
И хотя к настоящему времени обе эти практики − использование нескольких идентификаторов, различающихся лишь регистром, равно как и чрезмерная их лаконичность, осуждены и не рекомендованы к применению, практически все унаследованные от С языки − C++, Java, C# − являются регистро-зависимыми, что, с одной стороны, требует достаточно большой внимательности к объявлению и использованию идентификаторов, а с другой — принуждает писать более строгий код, когда каждая переменная имеет чётко определённое имя (вариации регистра могут вызвать путаницу и ошибки).
  • В Delphi в исходных файлах .pas (которые, как правило, и содержат основное тело программы) на уровне языковых средств введено строгое разделение на интерфейсный раздел и раздел реализации. В интерфейсной части содержатся лишь объявления типов и методов, тогда как код реализации в интерфейсной части не допускается на уровне компиляции. Подобное разделение свойственно также языкам C/C++, где в рамках культуры и парадигмы программирования вводится разделение на заголовочные и собственно файлы реализации, но подобное разделение не обеспечивается на уровне языка или компилятора.
В C# и Java такое разделение утрачено вовсе − реализация метода, как правило, следует сразу же после его объявления. Инкапсуляция обеспечивается лишь принадлежностью метода к той или иной области видимости. Для просмотра одной только интерфейсной части модуля исходного кода используются специальные средства.
  • В Delphi метод или функция чётко определяются зарезервированными для этого ключевыми словами procedure или function, тогда как в C-подобных языках различие обуславливается ключевым словом, определяющим тип возвращаемого значения:
    //Delphi
    procedure DoSomething (aParam: Integer); //не возвращает значения
    function Calculate (aParam1, aParam2: Integer): Integer; //возвращает целочисленный результат
    
    //C#
    void DoSomething(int aParam); // не возвращает значения
    {
    // code
    }
    int Calculate(int aParam1, aParam2); // возвращает целочисленный результат
    {
    // code
    }
    
Тем сложнее в C#/C++ выглядят такие конструкции, как объявление типа «указатель на метод»:
//C++: объявление типа pCalc, указателя на функцию-член, принимающую два целочисленных параметра и возвращающую целочисленный результат
typedef int (TSomeClass::*pCalc)(int, int);
В вышеуказанном примере объявление типа отличается от объявления переменной ключевым словом typedef, имя типа, pCalc, указывается в середине выражения, в скобках.
//C#: объявление типа pCalc, указателя на функцию-член, принимающую два целочисленных параметра и возвращающую целочисленный результат
public delegate int pCalc(int aParam1, int aParam2);
В вышеуказанном примере объявление типа отличается от объявления переменной специальным ключевым словом delegate, имя типа указывается в середине выражения.
//Delphi
type pCalc = function(aParam1, aParam2: Integer): Integer of object;
В вышеуказанном примере объявление типа отличается от объявления переменной специальным ключевым словом type, применением знака равенства (в случае переменной используется двоеточие), имя типа идёт сразу после ключевого слова.
  • В Delphi начало и конец программного блока выделяются ключевыми словами begin и end, тогда как в C-подобных языках программирования для этих целей используются фигурные скобки: {}. Таким образом, возможно, в Delphi достигается лучшая читаемость кода для лиц с ослабленным зрением. С другой стороны, фигурные скобки могут быть более интуитивными при визуальном восприятии, выполняя функцию пиктограммы.
    //C#
    if (bVal) {
    //код, состоящий из нескольких инструкций
    }
    if (bVal2) /* код, состоящий из одной инструкции */;
    
В вышеуказанном примере фигурные скобки обозначают составную инструкцию, то есть блок инструкций. Поскольку в команде ветвления для одной инструкции допускается выражение без фигурных скобок, то для условного выражения круглые скобки обязательны. В сложных условных выражениях количество вложенных скобочных конструкций может быть велико.
//Delphi
if bVal then begin
// код, состоящий из нескольких инструкций
end;
if bVal2 then (* код, состоящий из одной инструкции *);
В Delphi условное выражение всегда отделяется от следующей инструкции ключевым словом then, что избавляет от необходимости заключать условие в круглые скобки.
  • В C-подобных языках в целях подобного отделения условное выражение цикла заключается в круглые скобки:
    while (condition) { // цикл с "предусловием"
    // тело цикла
    };
    do {
    // тело другого цикла
    } while (condition2); // конец цикла с "постусловием", тело выполняется хотя бы однажды
    
В Delphi циклы с предусловием и постусловием различаются сильнее: конец цикла с постусловием труднее принять за начало цикла с предусловием. Но порой такое различие может вызвать путаницу (необходимо помнить, что в цикле until указывается условие выхода).
while condition do begin//условием продолжения цикла является истинность выражения, следующего за словом while, как C/C#
//тело цикла
end;
repeat//начало цикла с постусловием
//тело цикла
until not condition2;//истинность выражения, следующего за словом until - это условие ВЫХОДА из цикла, в отличие от C/C#
  • В Delphi операция присвоения значения переменной обозначается при помощи двоеточия со знаком равенства, :=, что является заимствованием из математической нотации. Знак равенства без двоеточия — это оператор проверки равенства, возвращающий булево значение. Напротив, в C-подобных языках оператором присваивания является одинарный знак равенства, а оператором проверки равенства — двойной, ==. В силу того, что в этих языках программирования присваивание является лишь выражением, возвращающим значение переменной слева, не так уж редки следующие неочевидные для новичка ошибки:
    // C++
    int iVal = 12;
    while (iVal = 1) {
    // по замыслу программиста, данное тело цикла не должно выполняться, если на входе iVal имеет значение, отличное от единицы
    // однако, в результате ошибочной замены знака == на одиночный =, iVal будет присвоено значение 1, а цикл окажется бесконечным
    }
    
В Delphi подобная ошибка невозможна хотя бы уже потому, что присваивание в этом языке — операция, не возвращающая значения.
  • В Delphi объектное и объектно-ориентированное программирование хоть и поощряется, однако не является единственно возможным. Так, допустимо (в отличие от C#) объявление и использование глобальных или статических функций и переменных.
Язык C# принудительно объектен. Глобальные, без привязки к классу, функции запрещены. Value-типы, наподобие структур struct, унаследованы от общего типа C#, несмотря на то, что сами по себе они не могут быть унаследованы (то есть, наследование структур в C# запрещено). Вместе с тем, экземпляры классов C# являются неявно-ссылочными типами, как и в Delphi.
Поскольку системные вызовы в Windows (как, впрочем, и в POSIX-системах наподобие Linux, Mac OS) формально необъектны, взаимодействие C#-кода с ними затруднено даже без учёта разной парадигмы управления временем жизни переменных в памяти. Delphi не имеет подобных ограничений.
Несмотря на такую акцентированную на объектность парадигму, в C# отсутствует понятие виртуального конструктора, то есть создания экземпляра класса, точный тип которого на этапе компиляции неизвестен, а известен лишь базовый класс этого экземпляра. Отчасти этот недостаток может быть скомпенсирован посредством интерфейсов или reflection, однако подобные решения не являются стандартными для языка.
type
  TAnimal = class abstract
  protected
    FPersonalName: string;
  public
    constructor Create(const PersonalName: string); virtual; abstract;
    function GetSpecieName: string; virtual; abstract; // возвращает биологический вид животного
    property Name: string read FPersonalName;
  end;

  TAnimalClass = class of TAnimal; // метакласс, могущий ссылаться на любой класс, унаследованный от TAnimal

  ...

function CreateAnAnimal(const FactAnimalClass: TAnimalClass; const Name: string): TAnimal;
begin
  Result := FactAnimalClass.Create(Name); // функция не знает, животное какого именно вида будет создано, хотя "кличка" известна. Конкретная реализация вида скрыта.
end;
Кроме того, в отличие от C# и C++, где вызов конструктора базового класса непременно осуществляется ещё до входа в тело конструктора унаследованного класса, в Delphi этот вызов делается явно. Таким образом, его можно отложить или вовсе опустить в специальных целях. Очевидно, в отличие от C#, возможен контроль над исключениями в базовых конструкторах.
  • Для наиболее гибкой и эффективной реализации объектно-ориентированного подхода в Delphi введены два механизма полиморфного вызова: классический виртуальный, а также динамический: если в случае классического виртуального вызова адреса всех виртуальных функций будут содержаться в таблице виртуальных методов каждого класса, то в случае с динамическим вызовом указатель на метод существует лишь в таблице того класса, в котором он был задан или перекрыт.
Таким образом, для динамического вызова из класса D метода класса A, переопределённого в B, потребуется выполнить поиск в таблицах методов классов D, A и B.
Подобная оптимизация имеет своей целью уменьшение размера статической памяти, занимаемой под таблицы методов. Экономия может быть существенна для длинных иерархий классов с очень большим количеством виртуальных методов. В C-подобных языках динамические полиморфные вызовы не применяются.
  • В отличие от C#, язык Delphi допускает создание (инициализацию) экземпляра класса, содержащего абстрактные (не имеющие реализации) методы. Чтобы исключить возможность создания экземпляра класса, не достаточно объявить в нём абстрактные методы. Необходимо использовать в описании класса ключевое слово abstract. Таким образом, в настоящее время классы, имеющие абстрактные методы (в отличие от ранних реализаций Delphi), не считаются абстрактными. При помощи механизма виртуальных функций код базового класса, имеющего абстрактные методы, определяет на этапе выполнения, перекрыт ли в фактическом экземпляре класса конкретный абстрактный метод, и в зависимости от этого или вызывает перекрытый метод, или создаёт исключение EAbstractError.
Также Delphi допускает перекрытие любого конкретного виртуального метода базового класса абстрактным в классе-потомке:
type
TMyBase = class(TObject)
  function A: integer; virtual; // метод A имеет реализованное тело в разделе implementation
end;

TMyDerived = class(TMyBase)
  function A: integer; override; abstract; // метод перекрыт как абстрактный, тела не имеет,
// и при этом перекрывает (скрывает) реализованный в базовом классе
end;

procedure Test;
var m: TMyBase;
begin
  m := TMyDerived.Create; // мы создали класс с абстрактным методом
  m.A; // вызов A полиморфный, и мы получаем исключение типа EAbstractError, пытаясь выполнить абстрактный метод
end;
  • В отличие от C++, язык C# обладает унаследованной от Delphi концепцией свойств класса: псевдополей, которые, в ряде случаев, могут более интуитивно, по сравнению с методами, отражать, а также изменять состояние объекта.
    public class Date{//данный пример взят с [http://msdn.microsoft.com/en-us/library/w86s7x04.aspx msdn]
        private int month = 7;  // Backing store
    
        public int Month{
            get{ return month; }
            set{
                if ((value > 0) && (value < 13)) {
                    month = value;
                }
            }//set
        }//prop
    }//class
    
Аналогичный исходный текст на языке Delphi может выглядеть следующим образом:
type
  TDate = class
  private
    FMonth : Integer;
  protected
    procedure SetMonth(const Value: Integer); // реализация в разделе implementation
  public
    property Month: Integer read FMonth write SetMonth;
  end;
Прежде чем перейти к сравнению языковой реализации свойств, заметим, что сопоставление этих двух примеров наглядно показывает, что язык C# провоцирует, во-первых, злоупотребление фигурными скобками (что не так страшно в виду краткости их написания), и, во-вторых, нагромождение обязательных спецификаторов доступа к каждому члену класса; в Delphi (как и в C++) однажды объявленный спецификатор применяется ко всем последующим членам. Также, если в Delphi возможна привязка свойства к значению поля, то в C# они всегда снабжаются методами доступа, с использованием скобок составной команды (кроме автоматических свойств). Методы эти, в отличие от Delphi, не могут быть объявлены виртуальными, равно как не могут быть вызваны непосредственно.
Метод доступа в C# всегда относится к одному, и только к одному свойству, тогда как для Delphi это утверждение, вообще говоря, неверно. Более того, один и тот же метод может быть использован для реализации доступа к существенно различным свойствам:
type
  TRectangle = class
  private
    FCoordinates: array[0..3] of Longint;
    function GetCoordinate(Index: Integer): Longint;
    procedure SetCoordinate(Index: Integer; Value: Longint);
  public
    property Left: Longint index 0 read GetCoordinate write SetCoordinate;
    property Top: Longint index 1 read GetCoordinate write SetCoordinate;
    property Right: Longint index 2 read GetCoordinate write SetCoordinate;
    property Bottom: Longint index 3 read GetCoordinate write SetCoordinate;

    property Coordinates[Index: Integer]: Longint read GetCoordinate write SetCoordinate;
  end;
Как Delphi, так и C# допускают использование индексируемых свойств: в этом случае синтаксис доступа к такому свойству аналогичен доступу к элементу массива. Однако, если в Delphi число индексируемых свойств, равно как и число индексаторов, может быть произвольным, в C# индексатор применим лишь к специальному свойству по умолчанию. Кроме того, в Delphi свойство по умолчанию не только может быть индексируемым, также оно может быть перегружено по типу индексатора:
TMyObject = class
protected
  function getStr(Name: string): string; virtual;
  function getStrByIx(Index: Integer): string; virtual;
  function getBy2Indicies(X, Y: Integer): string; virtual;
public
  property Value[Name: string]: string  read getStr; default;
  property Value[Index: Integer]: string read getStrByIx; default;
  property Value[X, Y: Integer]: string read getBy2Indicies; default; //количество
end;
  • Языки Java и C# были изначально спроектированы для создания программ, работающих в управляемой среде, где управлением временем жизни объектов занимается эта среда: так что ручное управление памятью не допускается. Удобство и безопасность этого подхода отрицательно влияют на производительность.

Попытки снизить издержки сборки мусора могут привести к существенному искажению стиля программирования[6][7].

В Delphi не существует автоматического управления памятью: (в классических компиляторах языка) экземпляры классов создаются и удаляются вручную, тогда как для некоторых типов — интерфейсов, строк и динамических массивов задействован механизм подсчёта ссылок. Ни один из этих подходов, вообще говоря, не гарантирует отсутствия утечек памяти, но, с другой стороны, проблема отзывчивости не актуальна, временные издержки управления памяти малы, и, что важнее, очевидны. Также, при отсутствии утечек, общий объём задействованной оперативной памяти существенно меньше, чем у аналогичных приложений, полагающихся на сборщик мусора.

История языка[править | править код]

Object Pascal — результат развития языка Турбо Паскаль, который, в свою очередь, развился из языка Паскаль. Паскаль был полностью процедурным языком, Турбо Паскаль, начиная с версии 5.5, добавил в Паскаль объектно-ориентированные свойства, а в Object Pascal — динамическую идентификацию типа данных с возможностью доступа к метаданным классов (то есть к описанию классов и их членов) в компилируемом коде, также называемую интроспекцией — данная технология получила обозначение RTTI. Так как все классы наследуют функции базового класса TObject, то любой указатель на объект можно преобразовать к нему, после чего воспользоваться методом ClassType и функцией TypeInfo, которые и обеспечат интроспекцию.

Также отличительным свойством Object Pascal от C++ является то, что объекты по умолчанию располагаются в динамической памяти. Однако можно переопределить виртуальные методы NewInstance и FreeInstance класса TObject. Таким образом, абсолютно любой класс может осуществить «желание» «где хочу — там и буду лежать». Соответственно организуется и «многокучность».

Object Pascal (Delphi) является результатом функционального расширения Turbo Pascal[8].

Delphi оказал огромное влияние на создание концепции языка C# для платформы .NET[источник не указан 4590 дней]. Многие его элементы и концептуальные решения вошли в состав С#. Одной из причин называют переход Андерса Хейлсберга, одного из ведущих разработчиков Дельфи, из компании Borland Ltd. в Microsoft Corp.

  • Версия 8 способна генерировать байт-код исключительно для платформы .NET. Это первая среда, ориентированная на разработку многоязычных приложений (лишь для платформы .NET);
  • Последующие версии (обозначаемые годами выхода, а не порядковыми номерами, как это было ранее) могут создавать как приложения Win32, так и байт-код для платформы .NET.

Delphi for .NET — среда разработки Delphi, а также язык Delphi (Object Pascal), ориентированные на разработку приложений для .NET.

Первая версия полноценной среды разработки Delphi для .NET — Delphi 8. Она позволяла писать приложения только для .NET. Delphi 2006 поддерживает технологию MDA с помощью ECO (Enterprise Core Objects) версии 3.0.

В марте 2006 года компания Borland приняла решение о прекращении дальнейшего совершенствования интегрированных сред разработки JBuilder, Delphi и C++ Builder по причине убыточности этого направления. Планировалась продажа IDE-сектора компании. Группа сторонников свободного программного обеспечения организовала сбор средств для покупки у Borland прав на среду разработки и компилятор[9].

Однако в ноябре того же года было принято решение отказаться от продажи IDE-бизнеса. Тем не менее разработкой IDE продуктов теперь будет заниматься новая компания — CodeGear, которая будет финансово полностью подконтрольна Borland.

В августе 2006 года Borland выпустил облегчённую версию RAD Studio под именем Turbo: Turbo Delphi (для Win32 и .NET), Turbo C#, Turbo C++.

В марте 2008 года было объявлено о прекращении развития этой линейки продуктов.

В марте 2007 года CodeGear порадовала пользователей обновлённой линейкой продуктов Delphi 2007 for Win32 и выходом совершенно нового продукта Delphi 2007 for PHP.

В июне 2007 года CodeGear представила свои планы, то есть опубликовала так называемый «roadmap»[10].

Embarcadero RAD Studio 2010

25 августа 2008 года компания Embarcadero, новый хозяин CodeGear, опубликовала пресс-релиз на Delphi for Win32 2009[11]. Версия привнесла множество нововведений в язык, как то[12]:

  • По умолчанию полная поддержка Юникода во всех частях языка, VCL и RTL; замена обращений ко всем функциям Windows API на юникодные аналоги (то есть MessageBox вызывает MessageBoxW, а не MessageBoxA).
  • Обобщённые типы, они же generics.
  • Анонимные методы.
  • Новая директива компилятора $POINTERMATH [ON|OFF].
  • Функция Exit теперь может принимать параметры в соответствии с типом функции.

Вышедшая в 2011 году версия Delphi XE2 добавила компилятор Win64 и кросс-компиляцию для операционных систем фирмы Apple (MacOS X, iOS).

Вышедшая в 2013 году версия Delphi XE5 обеспечила кросс-компиляцию приложений для устройств на платформе ARM/Android.

Компиляторы[править | править код]

  • Embarcadero Delphi (ранее наз. CodeGear Delphi и Borland Delphi) — вероятно, наиболее известный компилятор, который является последователем Borland Pascal и Turbo Pascal. Используется Win16 (Delphi 1), Win32 (Delphi 2 и позже), Win64 (Delphi 16 (XE2) и позже), а также .NET 1.x, 2.0 (Delphi 8, Delphi 2005-Delphi 2007). Поддержка .NET впоследствии выделена в отдельный продукт, известный как (несовместимый с Delphi) Oxygene.
  • Free Pascal (FPC) — свободный компилятор Object Pascal, который поддерживает различные диалекты Паскаля, включая Turbo Pascal (с некоторыми оговорками), Delphi и собственные диалекты. На текущий момент FPC может генерировать код для x86, x86-64, PowerPC, SPARC и процессоров ARM, а также для различных операционных систем, в том числе для Microsoft Windows, Linux, FreeBSD, Mac OS. Существует несколько сред разработки программного обеспечения для FPC (одна из самых известных представителей — Lazarus).
  • GNU Pascal (отдельно разработанная версия из GCC). Не ставит целью продолжение серии диалектов Delphi как составляющей Паскаля, но тем не менее содержит режим совместимости с Borland Pascal, и очень медленно приспосабливает компоненты языка Delphi. Не подходит для компиляции больших проектов, содержащих код Delphi, но его поддерживает большинство операционных систем и архитектур.
  • Oxygene (ранее известен как Chrome) — компилятор ограниченно совместимого с Delphi языка, который интегрирован в Microsoft Visual Studio. Также доступен в виде компилятора с вольной командной строкой CLI. Использует .NET и моноплатформы. Прежде продавался под маркой Embarcadero Delphi Prism.
  • MIDletPascal — язык программирования с Delphi-подобным синтаксисом и одноимённый компилятор, который преобразует исходный код в компактный и быстрый байт-код Java.
  • PocketStudio — основанная на Паскале IDE для Palm OS.
  • Virtual Pascal — Бесплатный компилятор и текстовая IDE для Win32, OS/2 и Linux. На тот момент очень быстрый и весьма совместимый (частично поддерживаются конструкции Delphi 5). Внешне очень похож на текстовую среду Borland Pascal 7, хотя отсутствует совместимая с ним графика, например. Однако разработка окончилась в 2004 году, а исходники открыты не были. С тех пор FPC ушёл намного вперёд и в целом для программирования лучше он. Тем не менее VP остаётся очень неплохим вариантом быстрой замены ещё более устаревших версий Borland Pascal для школы/института, учитывая родную работу в Win32 без проблем с русскими кодировками.

Синтаксис языка[править | править код]

Система типов[править | править код]

Система типов в Delphi строгая, статическая.

Операторы[править | править код]

Список операторов через пробел: := + — * / div mod not and or with xor shl shr ^ = <> >= <= < > @ in is as

Классы[править | править код]

В языке Object Pascal классы — это специальные типы данных, используемые для описания объектов. Соответственно объект, имеющий тип какого-либо класса, является экземпляром (instance) этого класса или переменной этого типа.

Класс представляет собой особый тип, имеющий в своём составе такие элементы, как поля, свойства и методы. Поля класса аналогичны полям записи и служат для хранения информации об объекте. Методами называются процедуры и функции, предназначенные как правило для обработки полей. Свойства занимают промежуточное положение между полями и методами.

Объектно-ориентированные особенности языка[править | править код]

Инкапсуляция[править | править код]

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

Наследование[править | править код]

При создании новых типов объектов способность получить все свойства и методы от своих предков называют наследованием. Такие типы объектов наследуют после своего создания все поля, свойства, события, методы и прочее от своих предков. Наследование часто избавляет разработчиков от рутинной работы и позволяет, не мешкая, приступить к разработке чего-то нового. В отличие от C++, в Delphi не допускается множественное наследование. В Delphi есть возможность добавить методы в класс или запись, с помощью так называемого помощника класса или помощника записи (class helper или record helper), который, не являясь потомком от модифицируемого класса или записи, может добавлять в них дополнительные методы. Примером может служить объявленная в модуле System.SysUtils запись-помощник TStringHelper.

Полиморфизм[править | править код]

Delphi реализует классическую модель полиморфизма, принятую в прикладных языках программирования, когда методы базового класса, а также ссылочные переменные типа базового класса,— способны манипулировать экземплярами классов-потомков на основе контракта, заданного в базовом классе. Контрактом в этом случае выступает объявление абстрактных методов в базовом классе.

Примеры[править | править код]

Структура программы[править | править код]

Каждая написанная программа на языке Delphi состоит из заголовка программы (program NewApplication;), поля используемых модулей Uses (к примеру, Uses Windows, Messages, SysUtils и т. д.), который может не входить в саму структуру, а также блоков описания и исполнения (начинаются составным оператором begin и заканчиваются end.).

program Project1;                     // Заголовок программы, с её именем «Project1»

uses
  Forms,
  Unit1 in 'Unit1.pas' {Form1};       // модули, которые подключены к проекту и используются программой

{$R *.res}

begin
  Application.Initialize;                // Инициализация приложения
  Application.CreateForm(TForm1, Form1); // Создание формы/окна
  Application.Run;                       // Запуск и исполнение
end.

Пример № 1[править | править код]

Вывод сообщения «Hello, world!» в консольном приложении Delphi

program Helloworld;          //название программы
{$APPTYPE CONSOLE}           //директива компилятору о создании консольного приложения
begin
  writeln('Hello, world!');    //вывод сообщения Hello, world!
  readln;                    //ожидание нажатия клавиши пользователем
end.                         //конец программы

Пример № 2[править | править код]

Вывод сообщения «Hello, world!» в 32-разрядном GUI приложении Delphi

...

procedure TForm1.Button1Click(Sender: TObject); //Обработчик события OnClick, генерируемый автоматически
begin
  ShowMessage('Hello, world!');                  //вывод сообщения Hello, world!
end;                                           //конец процедуры

...

Пример № 3[править | править код]

Динамическое создание списка строк и запись его в файл.

// Обработчик события, происходящего при создании формы MainForm
procedure TMainForm.FormCreate(Sender: TObject);
var
  // Объявление переменной типа TStrings (список строк).
  Strings: TStrings;
begin
  // Создание (выделение памяти и заполнение её начальными значениями) объекта типа TStringList.
  // TStringList - это потомок TStrings, реализующий его абстрактные методы с целью хранения строк в памяти.
  Strings := TStringList.Create;
  try
    // Добавление строки.
    Strings.Add('Добавляемая строка.');
    // Сохранение всех строк в файл.
    Strings.SaveToFile('C:\Strings.txt');
  finally
    // Освобождение памяти объекта и очистка ссылки на неё для предотвращения непреднамеренного обращения к не выделенной памяти.
    FreeAndNil(Strings);
  end;
end;

Расширения файлов[править | править код]

  • .pas — исходный код модуля (pascal)
  • .dpr — исходный код проекта (pascal)
  • .dproj — исходный код проекта (xml)
  • .dproj.local — исходный код проекта (xml)
  • .dfm — исходный код формы
  • .dpk — исходный код проекта пакета
  • .bpl — скомпилированный пакет
  • .dcu — скомпилированный модуль
  • .exe — скомпилированное приложение
  • .res — ресурсы
  • .dsk — привязки к файлам
  • .identcache — кэшированные привязки к файлам

Известное программное обеспечение, созданное на Delphi[править | править код]

Среди многих распространённых программных продуктов, написанных на Delphi, можно найти[13]:

Критика[править | править код]

Критика языка на ранних этапах развития[править | править код]

История критики Pascal восходит к 1981 году и работе Брайана Кернигана[15], аргументы которой в основном устарели по мере развития языка.

Нововведения для компиляции на мобильные платформы[править | править код]

Некоторые изменения языка, осуществлённые компанией Embarcadero (разработчиком языка) в так называемых NextGen-компиляторах языка Delphi, намеренно нарушили совместимость с накопленной базой исходного кода. Эти изменения были отрицательно восприняты широким кругом опытных Delphi-разработчиков, поскольку, хотя и приближали язык к парадигме языков .NET, но сломали традицию высокой обратной совместимости и существенно затруднили перенос имеющегося исходного кода в программное обеспечение для мобильных платформ. Указанные ниже изменения поставили под сомнение самую парадигму мультиплатформенной разработки на базе единого исходного кода, рекламируемую Embarcadero.

  • введение индексации строк по нулевой базе

Со времён Pascal исторически сложилось, что встроенный строковый тип индексировался с базой в единицу: «нулевой» элемент строки возвращал длину строки. По мере введения новых («длинных» и «юникодных») строковых типов данный порядок индексации сохранялся, обеспечивая почти бесшовный перенос кодовой базы на обновлённые версии языка. Однако со введением nextgen-компиляции парадигма изменилась: в новых компиляторах строки стали индексироваться по нулевой базе, как и в семействе С-подобных языков (C++, C#, Java), при этом в «классических» компиляторах для Windows и Mac OS парадигма единичной индексации была сохранена.

  • введение безальтернативного механизма подсчёта ссылок для экземпляров классов

Исторически классы и их экземпляры являются неявно-ссылочными структурными типами. Тем не менее, управление временем жизни экземпляра класса изначально выполнялось вручную — посредством явного вызова конструктора и деструктора (либо метода Free()), и такая особенность сохраняется (по состоянию на 2018 год) в классических версиях компиляторов. Подсчёт ссылок работал лишь для классов, реализующих интерфейсы, и притом, в том только случае, когда манипуляции с такими классами производились посредством переменных интерфейсного типа.

До версии 10.4 компиляторы для мобильных платформ ввели подсчёт ссылок для всех экземпляров классов, тем самым в корне изменив парадигму управлением временем жизни объектов, поскольку «ручное» управление практически (за исключением некоторых весьма продвинутых техник) несовместимо с новой парадигмой.

С версии 10.4 введен единый механизм управления памятью[16], когда для мобильных, настольных и серверных используется классическая реализация управления памятью объектов. ARC-модель управления памятью model осталась для управления строками и ссылками на тип интерфейса на всех платформах.

Медленная эволюция языковых средств[править | править код]

Многие разработчики рассматривают консервативность Delphi как достоинство, которое обеспечивает высокую переносимость кода, а также упрощает понимание языка начинающими программистами.

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

Ярким примером такого подхода является

В то же время объявление локальных переменных внутри блока, кроме операций цикла For, может привести к усложнению читаемости кода больших проектов.

Примечания[править | править код]

  1. Объявление о доступности RAD Studio 11.2 Alexandria. Архивировано 7 сентября 2022 года. Дата обращения: 7 сентября 2022.
  2. В Великобритании доминирует произношение «дел-фи́»: вариант произношения, характерный для Великобритании (англ.) (недоступная ссылка — история). Merriam-Webster Online Dictionary. Merriam-Webster. Дата обращения: 1 октября 2008. Архивировано 21 августа 2011 года., а в США — «де́л-фай»: вариант произношения, характерный для США (англ.) (недоступная ссылка — история). Merriam-Webster Online Dictionary. Merriam-Webster. Дата обращения: 1 октября 2008. Архивировано 21 августа 2011 года.
  3. David T. Craig. Apple Lisa Computer: History of Apple and Pascal.
  4. Delphi Language Overview (недоступная ссылка)
  5. непосредственно исполняемые на ARM-процессоре)
  6. Дмитрий Иванов — Сказки о преждевременной оптимизации на YouTube, начиная с 35:40
  7. Роман Елизаров — Миллионы котировок в секунду на чистой Java на YouTube, начиная с 58:59
  8. Об этом говорят обозначения версий компилятора. Так, в Delphi 7 компилятор имеет номер версии 15.0 (последняя версия Borland Pascal / Turbo Pascal обозначалась 7.0, в Delphi 1 компилятор имеет версию 8.0, в Delphi 2 — 9.0 и т. д. Номер версии 11.0 носит компилятор Pascal, входивший в состав среды C++ Builder).
  9. Default Parallels Plesk Panel Page Архивировано 5 декабря 2006 года.
  10. Delphi and C++Builder Roadmap. Дата обращения: 18 июля 2007. Архивировано из оригинала 10 октября 2007 года.
  11. Database Tools and Developer Software | Embarcadero Technologies. Дата обращения: 25 августа 2008. Архивировано из оригинала 29 августа 2008 года.
  12. Delphi from Embarcadero | RAD Application Development Software Архивировано 10 июля 2008 года.
  13. Good Quality Applications Built With Delphi — Delphi Programming Архивная копия от 30 июня 2011 на Wayback Machine (англ.)[неавторитетный источник?]
  14. Система электронной очереди "МАКСИМА". mtg-biz.ru. Дата обращения: 5 января 2017. Архивировано 6 января 2017 года.
  15. Why Pascal is Not My Favorite Programming Language. Дата обращения: 23 мая 2016. Архивировано 28 апреля 2009 года.
  16. What's New in RAD Studio 10.4 Sydney - RAD Studio - Products .features-tabs ul.nav.nav-tabs What's New In RAD Studio 10.4 RAD Studio 10.4 delivers significantly enhanced high-performance native Windows support, increased productivity with blazing (рус.). Embarcadero Website. Дата обращения: 15 сентября 2020. Архивировано 16 сентября 2020 года.

Литература[править | править код]

Ссылки[править | править код]