• 1 Целевая платформа
• 2 Философия и отличия от популярных прикладных языков программирования
• 3 История языка
• 4 Компиляторы
• 5 Синтаксис языка
  • 5.1 Система типов
  • 5.2 Операторы
  • 5.3 Классы
• 6 Объектно-ориентированные особенности языка
  • 6.1 Инкапсуляция
  • 6.2 Наследование
  • 6.3 Полиморфизм
• 7 Примеры
  • 7.1 Структура программы
  • 7.2 Пример № 1
  • 7.3 Пример № 2
  • 7.4 Пример № 3
• 8 Расширения файлов
• 9 Известное программное обеспечение, созданное на Delphi
• 10 Критика
  • 10.1 Критика языка на ранних этапах развития
  • 10.2 Нововведения для компиляции на мобильные платформы
  • 10.3 Медленная эволюция языковых средств
• 11 Примечания
• 12 Литература
• 13 Ссылки

• В 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++ или Rust, где в рамках культуры и парадигмы программирования вводится разделение на заголовочные и собственно файлы реализации, но подобное разделение не обеспечивается на уровне языка или компилятора. В 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# принудительно объектен, а глобальные, без привязки к классу, функции запрещены. Типы, передающиеся в функции по значению, наподобие структур struct, унаследованы от общего типа C#, несмотря на то, что сами по себе они не могут быть унаследованы (то есть, наследование структур в C# запрещено). Вместе с тем, экземпляры классов C# являются неявно-ссылочными типами, как и в Delphi.

Поскольку системные вызовы в Windows (как, впрочем, и в POSIX-системах наподобие Linux, Mac OS) формально необъектны, взаимодействие C#-кода с ними затруднено даже без учёта разной парадигмы управления временем жизни переменных в памяти. Delphi не имеет подобных ограничений. Несмотря на такую акцентированную на объектность парадигму, в C# отсутствует понятие виртуального конструктора, то есть создания экземпляра класса, точный тип которого на этапе компиляции неизвестен, а известен лишь базовый класс этого экземпляра. Отчасти, этот недостаток может быть скомпенсирован посредством интерфейсов или рефлексией, однако подобные решения не являются стандартными для языка.

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;

Если в 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# были изначально спроектированы для создания программ, работающих в управляемой среде, где управлением временем жизни объектов занимается эта среда, поэтому ручное управление памятью не допускается. Удобство и безопасность этого подхода отрицательно влияют на производительность.

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

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

• 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 без проблем с русскими кодировками.