FPC 2.4.0 Опции

[volvo]

Итак, в качестве новогоднего подарка от разработчиков FPC на официальном сайте доступна новая версия компилятора: 2.4.0

Изменений достаточно много:

• поддержка новых платформ: 64-bit Mac OS X (x86_64/ppc64), iPhone (Mac OS X/Arm), Haiku (BeOS family), улучшенная поддержка ARM EABI;
• Дельфи-подобная работа с ресурсами под всеми платформами;
• улучшение генерации отладочной информации (dwarf);
• общая оптимизация программы (заявляется увеличение скорости компиляции модулей)

.
.
.

Приведу краткий список изменений...
Полный список, с объяснением их причин и методов исправления программ приведен здесь (англ. язык):
freepascal wiki -> User Changes 2.4.0

Изменения в использовании конструкций языка

1. В предыдущих версиях компилировался код, в котором константа перечислимого типа передавалась в подпрограмму:

procedure test(const a);
begin
end;
 
begin
  test(5);
end.

, теперь он компилироваться не будет, поскольку неизвестен размер константы (1, 2, 4, или 8 байт), передаваемой в подпрограмму.

2. Свойства (properties), напрямую связанные (mapped) с полями класса, трактуются компилятором, как обычные поля класса. Если раньше можно было такие property передавать в качестве Var или Out - параметра, и получать адрес свойства, то теперь этого делать нельзя. Все property трактуются одинаково, независимо от того, связаны они с полем напрямую, или используют функции чтения/записи (getter/setter):

{$mode objfpc}
type
  trec = record
    a, b: integer;
  end;
 
  tc = class
   private
    fmyfield: integer;
    frec: trec;
   public
    property myfield: integer read fmyfield write fmyfield;
    property rec: trec read frec write frec;
  end;
 
var
  c: tc;
begin
  c:=tc.create;
  inc(c.myfield); // Ошибка: Нельзя получить адрес константного выражения
  c.rec.a:=5; // Ошибка: Аргументу нельзя присвоить значение
  cardinal(c.myfield):=$ffffffff; // Ошибка: Аргументу нельзя присвоить значение
end.

3. Перегрузка оператора присваивания, возвращающего строку. Теперь невозможно создать такой оператор, который будет возвращать строку фиксированного размера (не равного 255). То есть, код:

type
  ts1 = string[4];
  ts2 = string[255];
 
operator :=(l: longint) res: ts1;
begin
  str(l:4,res);
end;
 
operator :=(l: longint) res: ts2;
begin
  str(l:20,res);
end;
 
begin
end.

компилироваться больше не будет (ts1 не является теперь допустимым типом для оператора присваивания). Если вам так уж необходимо вернуть строки разной длины - "оберните" эти строковые типы в запись:

type
  ts1 = record
    s: string[4];
  end;
  ts2 = record
    s: string[255];
  end;
 
operator :=(l: longint) res: ts1;
begin
  str(l:4,res.s);
end;
 
operator :=(l: longint) res: ts2;
begin
  str(l:20,res.s);
end;
 
begin
end.

4. Описание абсолютных переменных: прежние версии FPC позволяли совмещать переменные с полями классов, элементами динамических массивов, элементами строк, и т.д. Теперь совмещение с любым разыменованным выражением запрещено. Код:

type
  ta = class
    p: pointer;
    procedure test;
  end;
 
procedure ta.test;
var
  pa: ta absolute p;
  b: pchar;
  c: char absolute b[4];
begin
end;
 
begin
end.

компилироваться не будет...

5. Индексированные свойства (properties) и значения по умолчанию: если в getter-е для индексированного свойства присутствует значение по умолчанию, то при вызове можно было не указывать умалчиваемое значение Теперь этого делать нельзя, ВСЕ параметры в таких getter-ах должны быть указаны:

{$mode objfpc}
{$H+}
 
type
  { TForm1 }
  TForm1 = class
  private
    function GetFoo(Index: Integer; Ask: Boolean = True): Integer;
  public
    property Foo[Index: Integer; Ask: Boolean]: Integer read GetFoo;
  end; 
 
function TForm1.GetFoo(Index: Integer; Ask: Boolean): Integer;
begin
  Result := Foo[Index]; // Не хватает параметра
end;
 
end.

6. Порядок полей/методов в описании класса. Раньше можно было описывать "вперемешку" поля, свойства и методы класса. Теперь этого делать нельзя: поля должны идти перед методами и свойствами. Как результат - подобный код:

{$mode objfpc}
 
type
  tc = class
    constructor create;
    a: longint; // Поле описано после метода
  end;
 
constructor tc.create;
begin
end;
 
begin
end.

компилироваться больше не будет.

7. Описания типов в списке параметров подпрограммы. Теперь нельзя конструировать тип прямо в заголовке подпрограммы, нужно предварительно описать тип (в секции Type программы/модуля), а уж потом его использовать. Так больше делать нельзя:

procedure write(var f: file of extended; e: extended);
begin
  system.write(f,e);
end;
 
procedure writestring(const s: string[80]);
begin
  writeln(s);
end;
 
function mystr: string[50];
begin
  mystr:='abc';
end;

Это ограничение проистекает из правила совместимости типов Паскаля: "Два типа, описанные совершенно одинаково в разных местах программы, считаются разными".

Некоторые изменения в реализации:
1. Изменены правила выравнивания переменных, имеющих тип "запись".

2. Присваивание значения True в переменную типа ByteBool/WordBool/LongBool/QWordBool теперь не эквивалентно присваиванию 1. Теперь все биты булевых переменных устанавливаются в 1 (значение становится равным "-1").

*****

Чуть позже будут выложены результаты тестирования компиляторов FPC второй ветки (2.0.0, 2.0.4, 2.2.0, 2.2.2, 2.4.0) на скорость:
1) доступа к члену класса.
2) вызова пустого статического метода.
3) вызова пустого динамического метода.
4) быстрой сортировки массива (Quick Sort).
5) пузырьковой сортировки массива(Bubble Sort)
6) "древесной" сортировки массива (Tree Sort).
7) вычисления 4500 цифр числа Пи.
8) конкатенации строк.
9) вещественных вычислений.

[SKVOZNJAK]

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

"Мне бы ваши проблемы, Марь Ивановна" (с) В паскале благодаря продуманному синтаксису чудес мало. А вот сишные волшебники изобрели мегачудеса путём злоупотребления директивой #define заменяющей текст и километровым скриптам используемым вместо оператора uses. При сборке программы немного не так сгенерировался скрипт и полез в компилятор давно забытый неотлаженный код. С одной стороны даже хорошо, можно откопать живых динозавров, разве не чудо