Generics/ru: what changed
Revision 1 to 2. Removed lines have a minus sign; added lines have a plus sign.
| Old | New | Line | |
|---|---|---|---|
| 1 | 1 | ## Вступление | |
| 2 | 2 | ||
| 3 | - | ||
| 4 | - | ||
| 5 | - | ||
| 3 | + | [[FPC]] имеет официальную поддержку дженериков(обобщений) в синтаксисе [[Mode ObjFPC|`{$mode ObjFPC}`]], начиная с версии 2.2, и [[Mode Delphi|`{$mode Delphi}`]] синтаксис начиная с версии 2.6.0. | |
| 4 | + | Дженерики иногда называют параметризованными типами. | |
| 5 | + | Причина, по которой FPC поддерживает два разных диалекта, Objfpc и Delphi, заключается в том, что у FPC были дженерики до Delphi. Можно использовать модули, написанные в синтаксисе Objfpc, в других модулях, использующих синтаксис Delphi, и наоборот. | |
| 6 | 6 | ||
| 7 | - | ||
| 8 | - | ||
| 9 | - | ||
| 7 | + | **Free Generics Library** или **FGL** является нативной реализацией [[Templates|class templates]], написанной в обобщенном синтаксисе Objfpc. | |
| 8 | + | **Rtl-generics package** является реализацией [[Templates|class templates]], написанной в синтаксисе дженериков Delphi, и пытается быть совместимым с библиотекой дженериков Delphi. Этот пакет является стандартным в FPC 3.1.1.+, но есть версия, доступная для FPC 3.0.4. | |
| 9 | + | Обе [библиотеки], **FGL** и rtl-generics могут использоваться в обоих режимах. | |
| 10 | 10 | ||
| 11 | 11 | ## Модуль fgl | |
| 12 | 12 | ||
| 13 | - | ||
| 13 | + | Самый простой способ начать работу с дженериками - это использовать [fgl unit](<http://freepascal.org/docs-html/current/rtl/fgl/index.html>), который является модулем-прототипом для классов дженериков базовой системы. Пока он содержит несколько основных классов: | |
| 14 | 14 | ||
| 15 | - | ||
| 16 | - | ||
| 17 | - | ||
| 18 | - | ||
| 15 | + | * TFPGList | |
| 16 | + | * TFPGObjectList | |
| 17 | + | * TFPGInterfacedObjectList | |
| 18 | + | * TFPGMap | |
| 19 | 19 | ||
| 20 | 20 | ### Как начать | |
| 21 | 21 | ||
| 22 | - | ||
| 23 | - | ||
| 24 | - | ||
| 22 | + | В следующем простом примере показано, как хранить несколько экземпляров определенного пользователем класса в списке: | |
| 23 | + | ``` | |
| 25 | 24 | {$mode objfpc} | |
| 26 | - | ||
| 27 | - | ||
| 28 | - | ||
| 29 | - | ||
| 30 | - | ||
| 31 | - | ||
| 32 | - | ||
| 33 | - | ||
| 34 | - | ||
| 35 | - | ||
| 36 | - | ||
| 37 | - | ||
| 38 | - | ||
| 39 | - | ||
| 40 | - | ||
| 41 | - | ||
| 42 | - | ||
| 43 | - | ||
| 44 | - | ||
| 45 | - | ||
| 46 | - | ||
| 25 | + | uses fgl; | |
| 26 | + | ||
| 27 | + | type | |
| 28 | + | TMyClass = class(TObject) | |
| 29 | + | fld1 : string; | |
| 30 | + | end; | |
| 31 | + | ||
| 32 | + | TMyList = specialize TFPGObjectList<TMyClass>; | |
| 33 | + | ||
| 34 | + | var | |
| 35 | + | list : TMyList; | |
| 36 | + | c : TMyClass; | |
| 37 | + | ||
| 38 | + | begin | |
| 39 | + | // создаем список и добавляем элемент | |
| 40 | + | list := TMyList.Create; | |
| 41 | + | c := TMyClass.Create; | |
| 42 | + | c.fld1 := 'c1'; | |
| 43 | + | list.Add(c); | |
| 44 | + | // получаем элемент из списка | |
| 45 | + | c := list[0]; | |
| 47 | 46 | ``` | |
| 48 | 47 | ||
| 49 | 48 | ## Пользовательские классы дженериков | |
| 50 | 49 | ||
| 51 | - | ||
| 52 | - | ||
| 53 | - | ||
| 50 | + | Если дженерики, определенные в модуле fgl, не соответствуют вашим потребностям, вам может потребоваться определить свои собственные классы дженериков с нуля, используя базовые языковые примитивы. | |
| 54 | 51 | ||
| 55 | - | ||
| 52 | + | Класс-дженерик определяется с помощью [[keyword]] (ключевого слова) **generic** перед именем класса и используется в объявлении класса: | |
| 53 | + | ``` | |
| 56 | 54 | type | |
| 57 | - | ||
| 58 | - | ||
| 59 | - | ||
| 60 | - | ||
| 55 | + | generic TList<T> = class | |
| 56 | + | Items: array of T; | |
| 57 | + | procedure Add(Value: T); | |
| 58 | + | end; | |
| 61 | 59 | ``` | |
| 62 | 60 | ||
| 63 | - | ||
| 64 | - | ||
| 65 | - | ||
| 61 | + | Пример реализации класса-дженерика: | |
| 62 | + | ``` | |
| 66 | 63 | implementation | |
| 67 | - | ||
| 68 | - | ||
| 69 | - | ||
| 70 | - | ||
| 71 | - | ||
| 72 | - | ||
| 64 | + | ||
| 65 | + | procedure TList.Add(Value: T); | |
| 66 | + | begin | |
| 67 | + | SetLength(Items, Length(Items) + 1); | |
| 68 | + | Items[Length(Items) - 1] := Value; | |
| 69 | + | end; | |
| 73 | 70 | ``` | |
| 74 | 71 | ||
| 75 | - | ||
| 76 | - | ||
| 77 | - | ||
| 72 | + | Класс-дженерик может быть просто специализирован для определенного типа с помощью ключевого слова **specialize**. | |
| 73 | + | ``` | |
| 78 | 74 | Type | |
| 79 | - | ||
| 80 | - | ||
| 81 | - | ||
| 75 | + | TIntegerList = specialize TList<Integer>; | |
| 76 | + | TPointerList = specialize TList<Pointer>; | |
| 77 | + | TStringList = specialize TList<string>; | |
| 82 | 78 | ``` | |
| 83 | 79 | ||
| 84 | 80 | ## Другие пункты | |
| 85 | 81 | ||
| 86 | - | ||
| 87 | - | ||
| 82 | + | 1. Компилятор анализирует общий тип, но вместо генерации кода он сохраняет все токены в буфере токенов внутри файла PPU. | |
| 83 | + | 2. Компилятор разбирает специализацию; для этого он загружает буфер токенов из файла PPU и анализирует его снова. Он заменяет общие параметры (в большинстве примеров "T") конкретным заданным типом (например, **LongInt** , **TObject**). | |
| 88 | 84 | ||
| 89 | - | ||
| 85 | + | Код в основном выглядит так, как будто тот же класс был написан как общий, но с заменой T на данный тип. | |
| 90 | 86 | ||
| 91 | - | ||
| 87 | + | Поэтому в теории не должно быть различий в скорости между «нормальным» классом и классом-дженериком. | |
| 92 | 88 | ||
| 93 | 89 | ## Примеры | |
| 94 | 90 | ||
| 95 | - | ||
| 96 | - | ||
| 97 | - | ||
| 91 | + | Пример использования дженериков для написания функции gmax(), которая принимает максимум две еще-не-типизированные переменные. Обратите внимание, что функции имеют пространство имен по имени класса. Недостатком может быть то, что дженерики не могут быть перегружены. | |
| 92 | + | ``` | |
| 98 | 93 | program UseGenerics; | |
| 99 | - | ||
| 100 | - | ||
| 101 | - | ||
| 102 | - | ||
| 103 | - | ||
| 104 | - | ||
| 105 | - | ||
| 106 | - | ||
| 107 | - | ||
| 108 | - | ||
| 109 | - | ||
| 110 | - | ||
| 111 | - | ||
| 112 | - | ||
| 113 | - | ||
| 114 | - | ||
| 115 | - | ||
| 116 | - | ||
| 117 | - | ||
| 118 | - | ||
| 119 | - | ||
| 120 | - | ||
| 121 | - | ||
| 122 | - | ||
| 123 | - | ||
| 124 | - | ||
| 94 | + | ||
| 95 | + | {$mode objfpc}{$H+} | |
| 96 | + | ||
| 97 | + | type | |
| 98 | + | generic TFakeClass<_GT> = class | |
| 99 | + | class function gmax(a,b: _GT):_GT; | |
| 100 | + | end; | |
| 101 | + | ||
| 102 | + | TFakeClassInt = specialize TFakeClass<integer>; | |
| 103 | + | TFakeClassDouble = specialize TFakeClass<double>; | |
| 104 | + | ||
| 105 | + | class function TFakeClass.gmax(a,b: _GT):_GT; | |
| 106 | + | begin | |
| 107 | + | if a > b then | |
| 108 | + | result := a | |
| 109 | + | else | |
| 110 | + | result := b; | |
| 111 | + | end; | |
| 112 | + | ||
| 113 | + | begin | |
| 114 | + | // показать большее из двух целых [чисел] | |
| 115 | + | writeln( 'Integer GMax:', TFakeClassInt.gmax( 23, 56 ) ); | |
| 116 | + | // показать большее из двух [чисел] с плавающей точкой | |
| 117 | + | writeln( 'Double GMax:', TFakeClassDouble.gmax( 23.89, 56.5) ); | |
| 118 | + | readln(); | |
| 119 | + | end. | |
| 125 | 120 | ``` | |
| 126 | 121 | ||
| 127 | 122 | ## См. также | |
| 128 | 123 | ||
| 129 | - | ||
| 130 | - | ||
| 131 | - | ||
| 124 | + | * [[Templates/ru|Templates]] | |
| 125 | + | * [[Generics proposals]] | |
| 126 | + | * [[Data Structures, Containers, Collections]] | |
| 132 | 127 | ||
| 133 | 128 | ## Внешние ссылки | |
| 134 | 129 | ||
| 135 | - | ||
| 136 | - | ||
| 137 | - | ||
| 130 | + | * [Free Pascal: Reference guide - Generics](<http://www.freepascal.org/docs-html/ref/refch8.html>) | |
| 131 | + | * [Используем дженерики в Delphi!](<https://habr.com/ru/articles/314780/>) | |
| 132 | + | * [Использование стандартных дженериков Delphi для работы с наборами данных](<http://proghouse.ru/programming/49-delphi-generics>) | |
| 138 | 133 | ||
| 139 | 134 | --- | |
| 140 | - | ||
| 135 | + | *From the Free Pascal wiki, page "Generics/ru", as the Internet Archive kept it on 2025-04-18, last changed on 2024-09-11. Copyright stays with the author who wrote it, according to the old wiki's [[Licensing]] page. If you have concerns about this material, [message the admin](/wiki-contact).* |
