Collections — различия между версиями

Материал из Вики ИТ мехмата ЮФУ
Перейти к: навигация, поиск
(Nodes)
м Unit Collections» переименована в «Collections»)
 
(не показаны 72 промежуточные версии 6 участников)
Строка 1: Строка 1:
== Вспомогательные модули ==
+
[[Категория:Коды]]
=== Nodes ===
+
__TOC__
<xh4> I </xh4>
+
== Collections ==
 
<source lang="Delphi">
 
<source lang="Delphi">
 
/// Модуль содержит шаблоны классов
 
/// Модуль содержит шаблоны классов
///  SingleNode узла с одним полем связи
+
///  Stack стек
///  DoubleNode узла с двумя полями связи
+
///  Queue очередь
unit Nodes;
+
///  DynArray — динамический массив
 
+
///  SimpleSet — простое множество на основе динамического массива
 +
///  AssocArray — простой ассоциативный массив на основе динамического массива пар
 +
///  LinkedList — двусвязный список
 +
unit Collections;
 +
 
interface
 
interface
 
+
 +
// -------------------------------- SingleNode ---------------------------------
 
type
 
type
 
//-----------------------------------------------------SINGLE_NODE-----------------------------------------------------\\
 
 
   /// Узел с одним полем связи
 
   /// Узел с одним полем связи
   SingleNode<DataType> = class
+
   SingleNode<T> = class
   
+
  private
     /// Значение узла
+
     /// Значение, содержащееся в узле
     data: DataType;
+
     fData: T;
 
     /// Ссылка на следующий элемент
 
     /// Ссылка на следующий элемент
     next: SingleNode<DataType>;
+
     fNext: SingleNode<T>;
      
+
  public
      
+
     /// <summary>
     /// Конструктор
+
     /// Создает узел с одним полем связи
     /// <param name="pData">Значение узла</param>
+
     /// </summary>
 +
     /// <param name="pData">Значение в узле</param>
 
     /// <param name="pNext">Ссылка на следующий элемент</param>
 
     /// <param name="pNext">Ссылка на следующий элемент</param>
     constructor Create(pData: DataType; pNext: SingleNode<DataType>);
+
     constructor Create(data: T; next: SingleNode<T>);
 +
    begin
 +
      fData := data;
 +
      fNext := next;
 +
    end;
 +
    /// Значение, содержащееся в узле
 +
    property Data: T read fData write fData;
 +
    /// Ссылка на следующий элемент
 +
    property Next: SingleNode<T> read fNext write fNext;
 +
  end;
 +
 +
// ----------------------------------- Stack -----------------------------------
 +
type
 +
  /// Шаблон класса Stack
 +
  Stack<T> = class
 +
  private
 +
    /// Вершина стека
 +
    fTop: SingleNode<T> := nil;
 +
  public
 +
    /// Создает пустой стек
 +
    constructor Create;
 +
    /// <summary>
 +
    /// Кладет элемент x на вершину стека
 +
    /// </summary>
 +
    /// <param name="x">Новый элемент</param>
 +
    procedure Push(x: T);
 +
    /// Возвращает значение элемента на вершине, снимая его со стека
 +
    function Pop: T;
 +
    /// Возвращает значение элемента на вершине стека, не снимая его
 +
    function Top: T;
 +
    /// Возвращает истину, если стек пуст
 +
    function IsEmpty: boolean;
 +
    /// Преобразует содержимое стека в строку
 +
    function ToString: string; override;
 +
    /// Выводит содержимое стека на консоль
 +
    procedure Print;
 +
    /// Выводит содержимое стека на консоль с переходом на новую строку
 +
    procedure Println;
 +
  end;
 +
 +
// ----------------------------------- Queue -----------------------------------
 +
type 
 +
  /// Шаблон класса Queue
 +
  Queue<T> = class
 +
  private
 +
    /// Голова очереди
 +
    fHead: SingleNode<T>;
 +
    /// Хвост очереди
 +
    fTail: SingleNode<T>;
 +
  public
 +
    /// Создает пустую очередь
 +
    constructor Create;
 +
    /// <summary>
 +
    /// Добавляет элемент x в хвост очереди
 +
    /// </summary>
 +
    /// <param name="x">Добавляемый элемент</param>
 +
    procedure Enqueue(x: T);
 +
    /// Возвращает значение элемента в голове, удаляя его из очереди
 +
    function Dequeue: T;
 +
    /// Возвращает значение элемента в голове очереди, не удаляя его
 +
    function First: T;
 +
    /// Возвращает истину, если очередь пуста
 +
    function IsEmpty: boolean;
 +
    /// Преобразует содержимое очереди в строку
 +
    function ToString: string; override;
 +
    /// Выводит содержимое очереди на консоль
 +
    procedure Print;
 +
    /// Выводит содержимое очереди на консоль с переходом на новую строку
 +
    procedure Println;
 +
  end;
 +
 +
// --------------------------------- DynArray ----------------------------------
 +
const
 +
  /// Минимальная емкость, устанавливаемая при создании массива
 +
  MIN_CAP = 4;
 +
  /// Коэффициент увеличения емкости массива при её нехватке
 +
  INC_CAP_FACTOR = 2;
 +
 +
type
 +
  /// Шаблон класса DynArray (Динамический массив с автоконтролем памяти)
 +
  DynArray<T> = class
 +
  private
 +
    /// Встроенный динамический массив, содержащий данные
 +
    fData: array of T;
 +
    /// Размер массива
 +
    fSize: integer;
 +
    /// Емкость массива
 +
    fCap: integer;
 +
    /// Устанавливает элемент с индексом index равным x
 +
    procedure SetElem(index: integer; x: T);
 +
    /// Возвращает элемент массива с индексом index
 +
    function GetElem(index: integer): T;
 +
  public
 +
    /// Создает пустой массив
 +
    constructor Create;
 +
    /// Создает массив размера size
 +
    constructor Create(size: integer);
 +
    /// <summary>
 +
    /// Выделяет новую память. Емкость увеличивается до NewSize.
 +
    /// (Если newCap меньше текущей емкости, ничего не происходит)
 +
    /// </summary>
 +
    /// <param name="newCap">Новая емкость массива</param>
 +
    procedure Reserve(newCap: integer);
 +
    /// <summary>
 +
    /// Устанавливает новый размер массива равным newSize
 +
    /// </summary>
 +
    /// <param name="newSize">Новый размер массива</param>
 +
    procedure Resize(newSize: integer);
 +
    /// <summary>
 +
    /// Добавляет элемент x в конец массива
 +
    /// </summary>
 +
    /// <param name="x">Добавляемый элемент</param>
 +
    procedure Add(x: T);
 +
    /// <summary>
 +
    /// Вставляет элемент x в указанную позицию pos
 +
    /// </summary>
 +
    /// <param name="pos">Позиция, в которую вставляется элемент</param>
 +
    /// <param name="x">Вставляемый элемент</param>
 +
    procedure Insert(pos: integer; x: T);
 +
    /// <summary>
 +
    /// Удаляет элемент массива из указанной позиции pos
 +
    /// </summary>
 +
    /// <param name="pos">Позиция, из которой удаляется элемент</param>
 +
    procedure Remove(pos: integer);
 +
    /// <summary>
 +
    /// Возвращает индекс первого элемента массива равного x
 +
    /// или -1, если такого элемента нет
 +
    /// </summary>
 +
    /// <param name="x">Искомый элемент</param>
 +
    function Find(x: T): integer;
 +
    /// Количество элементов (размер) массива
 +
    property Count: integer read fSize write Resize;
 +
    /// Емкость массива
 +
    property Capacity: integer read fCap write Reserve;
 +
    /// Позволяет обращаться к элементам массива по индексу
 +
    property Elem[index: integer]: T read GetElem write SetElem; default;
 +
    /// Преобразует содержимое массива в строку
 +
    function ToString: string; override;
 +
    /// Выводит содержимое массива на консоль
 +
    procedure Print;
 +
    /// Выводит содержимое массива на консоль с переходом на новую строку
 +
    procedure Println;
 +
  end;
 +
 +
// -------------------------------- SimpleSet ----------------------------------
 +
type
 +
  /// Шаблон класса SimpleSet (Простое множество на основе динамического массива)
 +
  SimpleSet<T> = class
 +
  private
 +
    /// Элементы множества
 +
    fData: DynArray<T>;
 +
  public
 +
    /// Создает множество
 +
    constructor Create;
 +
    /// <summary>
 +
    /// Добавляет элемент x во множество, если его там еще нет
 +
    /// </summary>
 +
    /// <param name="x">Добавляемый элемент</param>   
 +
    procedure Add(x: T);
 +
    /// <summary>
 +
    /// Удаляет элемент x из множества, если он там есть
 +
    /// </summary>
 +
    /// <param name="x">Удаляемый элемент</param>
 +
    procedure Remove(x: T);
 +
    /// <summary>
 +
    /// Возвращает истину, если множество содержит элемент x
 +
    /// </summary>
 +
    /// <param name="x">Искомый элемент</param>         
 +
    function Contains(x: T): boolean; 
 +
    /// Преобразует содержимое массива в строку
 +
    function ToString: string; override;
 +
    /// Выводит содержимое массива на консоль
 +
    procedure Print;
 +
    /// Выводит содержимое множества на консоль с переходом на новую строку
 +
    procedure Println;
 +
end;
 +
 +
// -------------------------------- AssocArray ---------------------------------
 +
type
 +
  /// Шаблон класса AssocArray
 +
  AssocArray<KeyType, ValueType> = class
 +
  private
 +
    /// Ключи
 +
    fKeys: DynArray<KeyType>;
 +
    /// Значения, соответствующие ключам
 +
    fValues: DynArray<ValueType>;
  
 +
    /// Устанавливает значение элемента с ключом key равным value
 +
    procedure SetElem(key: KeyType; value: ValueType);
 +
    /// Возвращает значение элемента с ключом key
 +
    function GetElem(key: KeyType): ValueType;
 +
  public
 +
    /// Создает ассоциативный массив
 +
    constructor Create;
 +
    /// Позволяет обращаться к элементам массива по ключу
 +
    property Elem[key: KeyType]: ValueType read GetElem write SetElem; default;
 +
    /// Преобразует содержимое ассоциативного массива в строку
 +
    function ToString: string; override;
 +
    /// Выводит содержимое ассоциативного массива на консоль
 +
    procedure Print;
 +
    /// Выводит содержимое ассоциативного массива на консоль с переходом на новую строку
 +
    procedure Println;
 
   end;
 
   end;
//- - - - - - - - - - - - - - - - - - - - - - - - - END of SingleNode - - - - - - - - - - - - - - - - - - - - - - - - -\\
+
 
+
// ----------------------------- LinkedListNode --------------------------------
 
+
type
// -----------------------------------------------------DOUBLE_NODE----------------------------------------------------\\ 
 
 
   /// Узел с двумя полями связи
 
   /// Узел с двумя полями связи
   DoubleNode<DataType> = class
+
   LinkedListNode<T> = class
      
+
  private
     /// Значение узла
+
     /// Значение, содержащееся в узле
     data: DataType;
+
    fData: T;
 +
     /// Ссылка на предыдущий элемент
 +
     fPrev: LinkedListNode<T>;
 
     /// Ссылка на следующий элемент
 
     /// Ссылка на следующий элемент
     next: DoubleNode<DataType>;
+
     fNext: LinkedListNode<T>;
     /// Ссылка на предыдущий элемент
+
  public
     prev: DoubleNode<DataType>;
+
    /// <summary>
      
+
    /// Создает новый узел
      
+
    /// </summary>
     /// Конструктор
+
    /// <param name="T">Значение узла</param>
     /// <param name="pData">Значение узла</param>
+
    /// <param name="Prev">Ссылка на предыдущий элемент</param>
     /// <param name="pNext">Ссылка на следующий элемент</param>
+
    /// <param name="Next">Ссылка на следующий элемент</param>
     /// <param name="pPrev">Ссылка на предыдущий элемент</param>
+
    constructor Create(data: T; prev, next: LinkedListNode<T>);
     constructor Create(pData: DataType; pPrev, pNext: DoubleNode<DataType>);
+
    begin
 
+
      fData := data;
 +
      fNext := next;
 +
      fPrev := prev;
 +
    end;
 +
    /// Значение, содержащееся в узле
 +
    property Value: T read fData write fData;
 +
     /// Ссылка на предыдущий элемент — только на чтение
 +
    property Prev: LinkedListNode<T> read fPrev;
 +
    /// Ссылка на следующий элемент — только на чтение
 +
    property Next: LinkedListNode<T> read fNext;
 +
  end;
 +
 
 +
 
 +
// -------------------------------- LinkedList ---------------------------------
 +
type
 +
  /// Двусвязный линейный список
 +
  LinkedList<T> = class
 +
  private
 +
    /// Первый элемент (голова)
 +
    fFirst: LinkedListNode<T>;
 +
    /// Последний элемент (хвост)
 +
    fLast: LinkedListNode<T>;
 +
  public
 +
    /// Создает пустой список
 +
    constructor Create;
 +
    /// Первый элемент (голова) — только на чтение
 +
    property First: LinkedListNode<T> read fFirst;
 +
    /// Последний элемент (хвост) — только на чтение
 +
     property Last: LinkedListNode<T> read fLast;
 +
    /// <summary>
 +
    /// Добавляет элемент x в начало списка
 +
    /// </summary>
 +
    /// <param name="x">Добавляемый элемент</param>
 +
    procedure AddFirst(x: T);
 +
     /// <summary>
 +
     /// Добавляет элемент x в конец списка
 +
     /// </summary>
 +
     /// <param name="x">Добавляемый элемент</param>
 +
    procedure AddLast(x: T);
 +
    /// Удаляет первый элемент списка
 +
    procedure RemoveFirst();
 +
    /// Удаляет последний элемент списка
 +
    procedure RemoveLast();
 +
    /// <summary>
 +
    /// Добавляет элемент x перед node
 +
    /// </summary>
 +
     /// <param name="node">Ссылка на элемент, перед которым нужно добавить новый</param>
 +
     /// <param name="x">Добавляемый элемент</param>
 +
    procedure AddBefore(node: LinkedListNode<T>; x: T);
 +
    /// <summary>
 +
    /// Добавляет элемент x после node
 +
    /// </summary>
 +
    /// <param name="node">Ссылка на элемент, после которого нужно добавить новый</param>
 +
    /// <param name="x">Добавляемый элемент</param>
 +
     procedure AddAfter(node: LinkedListNode<T>; x: T);
 +
    /// <summary>
 +
    /// Удаляет элемент node
 +
    /// </summary>
 +
    /// <param name="node">Ссылка на элемент, который нужно удалить</param>
 +
    procedure Remove(node: LinkedListNode<T>);
 +
    /// Преобразует содержимое списка в строку
 +
    function ToString: string; override;
 +
    /// Выводит содержимое списка на консоль
 +
    procedure Print;
 +
    /// Выводит содержимое списка на консоль с переходом на новую строку
 +
    procedure Println;
 
   end;
 
   end;
//- - - - - - - - - - - - - - - - - - - - - - - - - END of DoubleNode - - - - - - - - - - - - - - - - - - - - - - - - -\\
+
 
+
//==============================================================================
 
implementation
 
implementation
 +
 +
//Сообщения исключений
 +
const PopNilStackExceptionMessage = 'Попытка снятия элемента с пустого стека';
 +
TopNilStackExceptionMessage = 'Попытка получения элемента с пустого стека';
 +
       
 +
DequeueNilQueueExceptionMessage = 'Попытка удаления элемента из пустой очереди';
 +
FirstNilQueueExceptionMessage = 'Попытка получения элемента из пустой очереди';
 +
       
 +
NegativeArraySizeExceptionMessage = 'Попытка присвоить размеру массива отрицательное значение ';
 +
      InsOutOfArrayBoundExceptionMessage ='Попытка вставки за границей массива в позицию ';
 +
      RemOutOfArrayBoundExceptionMessage ='Попытка удаления за границей массива из позиции ';
 +
      SetElemOutOfBoundExceptionMessage = 'Попытка присвоить значение элементу за границей массива с индексом ';
 +
      GetElemOutOfBoundExceptionMessage = 'Попытка получить значение элемента за границей массива с индексом ';
 +
     
 +
RemoveFromNilListExceptionMessage = 'Попытка удаления из пустого списка';
 +
AddNilNodeExceptionMessage = 'Параметр node является нулевой ссылкой';
 +
RemoveNilNodeExceptionMessage = 'Параметр node является нулевой ссылкой';
 +
 +
// ----------------------------------- Stack -----------------------------------
 +
constructor Stack<T>.Create;
 +
begin
 +
  fTop := nil;
 +
end;
 +
 +
procedure Stack<T>.Push(x: T);
 +
begin
 +
  fTop := new SingleNode<T>(x, fTop);
 +
end;
 +
 +
function Stack<T>.Pop: T;
 +
begin
 +
  if IsEmpty then
 +
    raise new Exception(PopNilStackExceptionMessage);
 +
 +
  Result := fTop.data;
 +
  fTop := fTop.next;  // элемент удаляется из вершины стека (т.е. вершиной становится следующий элемент)
 +
end;
 +
 +
function Stack<T>.Top: T;
 +
begin
 +
  if IsEmpty then
 +
    raise new Exception(TopNilStackExceptionMessage);
 +
 +
  Result := fTop.data;
 +
end;
  
//-----------------------------------------------------SINGLE_NODE-----------------------------------------------------\\
+
function Stack<T>.IsEmpty: boolean;
{Конструктор
 
    pData — значение узла
 
    pNext — cсылка на следующий элемент}
 
constructor SingleNode<DataType>.Create(pData: DataType; pNext: SingleNode<DataType>);
 
 
begin
 
begin
   data := pData;
+
   Result := (fTop = nil);
   next := pNext;
+
end;
 +
 +
function Stack<T>.ToString: string;
 +
begin
 +
  Result := '';
 +
  var curElem := fTop;
 +
  while curElem <> nil do
 +
  begin
 +
    Result += curElem.data.ToString + ' ';
 +
    curElem := curElem.next;
 +
  end;
 +
end;
 +
 +
procedure Stack<T>.Print;
 +
begin
 +
  write(ToString);
 +
end;
 +
 +
procedure Stack<T>.Println;
 +
begin
 +
   writeln(ToString);
 +
end;
 +
 +
// ----------------------------------- Queue -----------------------------------
 +
constructor Queue<T>.Create;
 +
begin
 +
  fHead := nil;
 +
  fTail := nil;
 +
end;
 +
 +
procedure Queue<T>.Enqueue(x: T);
 +
begin
 +
  if IsEmpty then
 +
  begin
 +
    fHead := new SingleNode<T>(x, nil);
 +
    fTail := fHead;
 +
  end
 +
  else
 +
  begin
 +
    fTail.next := new SingleNode<T>(x, nil);
 +
    fTail := fTail.next;  // элемент удаляется из хвоста очереди (т.е. хвостом становится следующий элемент)
 +
  end;
 +
end;
 +
 +
function Queue<T>.Dequeue: T;
 +
begin
 +
  if IsEmpty then
 +
    raise new Exception(DequeueNilQueueExceptionMessage);
 +
 +
  Result := fHead.data;
 +
  fHead := fHead.next;  // элемент удаляется из головы очереди (т.е. головой становится следующий элемент)
 +
  if fHead = nil then
 +
    fTail := nil;
 +
end;
 +
 +
function Queue<T>.First: T;
 +
begin
 +
  if IsEmpty then
 +
    raise new Exception(FirstNilQueueExceptionMessage);
 +
   
 +
  Result := fHead.data;
 +
end;
 +
 +
function Queue<T>.IsEmpty: boolean;
 +
begin
 +
  Result := (fHead = nil);
 +
  if Result then
 +
    Assert(fTail = nil);
 +
end;
 +
 +
function Queue<T>.ToString: string;
 +
begin
 +
  Result := '';
 +
  var curElem := fHead;
 +
  while curElem <> fTail do
 +
  begin
 +
    Result += curElem.data.ToString + ' ';
 +
    curElem := curElem.next;
 +
  end;
 +
  Result += curElem.data.ToString;
 
end;
 
end;
//- - - - - - - - - - - - - - - - - - - - - - - - - END of SingleNode - - - - - - - - - - - - - - - - - - - - - - - - -\\
 
  
 +
procedure Queue<T>.Print;
 +
begin
 +
  write(ToString);
 +
end;
 +
 +
procedure Queue<T>.Println;
 +
begin
 +
  writeln(ToString);
 +
end;
 +
 +
// ---------------------------------- DynArray ---------------------------------
 +
constructor DynArray<T>.Create;
 +
begin
 +
  Create(0);
 +
end;
  
// -----------------------------------------------------DOUBLE_NODE----------------------------------------------------\\
+
constructor DynArray<T>.Create(size: integer);
{Конструктор
 
    pData — значение узла
 
    pNext — cсылка на следующий элемент
 
    pPrev — ссылка на предыдущий элемент}
 
constructor DoubleNode<DataType>.Create(pData: DataType; pPrev, pNext: DoubleNode<DataType>);
 
 
begin
 
begin
   data := pData;
+
   if size < 0 then
   next := pNext;
+
    raise new Exception(NegativeArraySizeExceptionMessage + size.ToString);
   next := pNext;
+
 +
  fSize := size;
 +
   fCap := INC_CAP_FACTOR*size + MIN_CAP; // Устанавливаем емкость "с запасом"
 +
   SetLength(fData, fCap);
 
end;
 
end;
//- - - - - - - - - - - - - - - - - - - - - - - - - END of DoubleNode - - - - - - - - - - - - - - - - - - - - - - - - -\\
+
 
+
procedure DynArray<T>.Reserve(newCap: integer);
 
+
begin
end.
+
  if newCap > fCap then
</source>
+
   begin
 
+
    SetLength(fData, newCap);
<xh4> II </xh4>
+
    fCap := newCap;
<source lang="Delphi">
+
   end;
/// Модуль содержит шаблоны классов
+
end;
///   SingleNode — узла с одним полем связи
+
///  DoubleNode — узла с двумя полями связи
+
procedure DynArray<T>.Resize(newSize: integer);
unit Nodes;
+
begin
 
+
  if newSize < 0 then
 
+
     raise new Exception(NegativeArraySizeExceptionMessage + newSize.ToString);
// ========================================================================================= INTERFACE ========================================================================================= \\
+
interface
+
  if newSize > fCap then
 
+
  begin
type
+
     Reserve(INC_CAP_FACTOR * newSize);
    
+
     for var i := fSize to newSize - 1 do // явным образом заполняем новые элементы
//-----------------------------------------------------SINGLE_NODE-----------------------------------------------------\\
+
      fData[i] := default(T);
  /// Узел с одним полем связи
 
  SingleNode<DataType> = class
 
   
 
    /// Значение узла
 
     data: DataType;
 
    /// Ссылка на следующий элемент
 
    next: SingleNode<DataType>;
 
   
 
      
 
     /// Конструктор
 
    /// <param name="pData">Значение узла</param>
 
    /// <param name="pNext">Ссылка на следующий элемент</param>
 
    constructor Create(pData: DataType; pNext: SingleNode<DataType>);
 
   
 
 
   end;
 
   end;
//- - - - - - - - - - - - - - - - - - - - - - - - - END of SingleNode - - - - - - - - - - - - - - - - - - - - - - - - -\\
+
  fSize := newSize;
 
+
end;
/// Установка узла с одним полем связи sNode на следующий элемент
+
procedure SetNext<DataType>(var sNode: SingleNode<DataType>);
+
procedure DynArray<T>.Add(x: T);
 
+
begin
 
+
  Resize(fSize + 1);
// -----------------------------------------------------DOUBLE_NODE----------------------------------------------------\\
+
  fData[fSize-1] := x;
type  
+
end;
  /// Узел с двумя полями связи
+
   
   DoubleNode<DataType> = class
+
procedure DynArray<T>.Insert(pos: integer; x: T);
   
+
begin
    /// Значение узла
+
   if (pos < 0) or (pos > fSize-1) then
    data: DataType;
+
    raise new Exception(InsOutOfArrayBoundExceptionMessage + pos.ToString);
    /// Ссылка на следующий элемент
+
     next: DoubleNode<DataType>;
+
  Resize(fSize + 1);
     /// Ссылка на предыдущий элемент
+
  for var i := fSize - 2 downto pos do  // сдвиг элементов на 1 вправо, до позиции pos
     prev: DoubleNode<DataType>;
+
     fData[i+1] := fData[i];
      
+
  fData[pos] := x;
      
+
end;
     /// Конструктор
+
    /// <param name="pData">Значение узла</param>
+
procedure DynArray<T>.Remove(pos: integer);
     /// <param name="pNext">Ссылка на следующий элемент</param>
+
begin
    /// <param name="pPrev">Ссылка на предыдущий элемент</param>
+
  if (pos < 0) or (pos > fSize-1) then
     constructor Create(pData: DataType; pPrev, pNext: DoubleNode<DataType>);
+
     raise new Exception(RemOutOfArrayBoundExceptionMessage + pos.ToString);
      
+
 +
  for var i := pos to fSize - 2 do      // сдвиг элементов влево на 1, начиная с позиции pos
 +
     fData[i] := fData[i+1];
 +
  Resize(fSize - 1);
 +
end;
 +
 +
function DynArray<T>.Find(x: T): integer;
 +
begin
 +
  Result := -1;
 +
  for var i := 0 to fSize - 1 do
 +
     if fData[i] = (x) then
 +
     begin
 +
      Result := i;
 +
      exit;
 +
     end;
 +
end;
 +
 +
procedure DynArray<T>.SetElem(index: integer; x: T);
 +
begin
 +
  if (index < 0) or (index > fSize-1) then
 +
     raise new Exception(SetElemOutOfBoundExceptionMessage + index.ToString);
 +
 +
  fData[index] := x;
 +
end;
 +
 +
{Возвращает элемент массива с индексом index}
 +
function DynArray<T>.GetElem(index: integer): T;
 +
begin
 +
  if (index < 0) or (index > fSize-1) then
 +
    raise new Exception(GetElemOutOfBoundExceptionMessage + index.ToString);
 +
 +
  Result := fData[index];
 +
end;
 +
 +
function DynArray<T>.ToString: string;
 +
begin
 +
  Result := '';
 +
  for var i := 0 to fSize - 2 do
 +
  begin
 +
     var o: Object := fData[i];
 +
     Result += o.ToString + ' ';
 
   end;
 
   end;
//- - - - - - - - - - - - - - - - - - - - - - - - - END of DoubleNode - - - - - - - - - - - - - - - - - - - - - - - - -\\
+
  var o := fData[fSize-1];
 +
  Result += o.ToString;
 +
    //Result += fData[i].ToString + ' ';
 +
  //Result += fData[fSize-1].ToString;
 +
end;
 +
 +
procedure DynArray<T>.Print;
 +
begin
 +
  write(ToString);
 +
end;
 +
 +
procedure DynArray<T>.Println;
 +
begin
 +
  writeln(ToString);
 +
end;
 +
 +
// -------------------------------- SimpleSet ----------------------------------
 +
constructor SimpleSet<T>.Create;
 +
begin
 +
  fData := new DynArray<T>;
 +
end;
  
/// Установка узла с двумя полями связи dNode на следующий элемент
+
procedure SimpleSet<T>.Add(x: T);
procedure SetNext<DataType>(var dNode: DoubleNode<DataType>);
+
begin
 +
  if fData.Find(x) = -1 then
 +
    fData.Add(x);
 +
end;
 +
 +
procedure SimpleSet<T>.Remove(x: T);
 +
begin
 +
  var xPos := fData.Find(x);
 +
  if xPos <> -1 then
 +
    fData.Remove(xPos);
 +
end;
 +
 +
function SimpleSet<T>.Contains(x: T): boolean;
 +
begin
 +
  Result := (fData.Find(x) <> -1);
 +
end;
 +
 +
function SimpleSet<T>.ToString: string;
 +
begin
 +
  Result := fData.ToString;
 +
end;
  
/// Установка узла с двумя полями связи dNode на предыдущий элемент
+
procedure SimpleSet<T>.Print;
procedure SetPrev<DataType>(var dNode: DoubleNode<DataType>);
+
begin
 +
  write(ToString);
 +
end;
  
 +
procedure SimpleSet<T>.Println;
 +
begin
 +
  writeln(ToString);
 +
end;
 +
 +
// -------------------------------- AssocArray ---------------------------------
 +
constructor AssocArray<KeyType,ValueType>.Create;
 +
begin
 +
  fKeys := new DynArray<KeyType>;
 +
  fValues := new DynArray<ValueType>;
 +
end;
  
// ====================================================================================== IMPLEMENTATION ======================================================================================= \\
+
procedure AssocArray<KeyType,ValueType>.SetElem(key: KeyType; value: ValueType);
implementation
+
begin
 
+
  var ind := fKeys.Find(key);
//-----------------------------------------------------SINGLE_NODE-----------------------------------------------------\\
+
  if ind <> -1 then
{Конструктор
+
    fValues[ind] := value
     pData — значение узла
+
  else
     pNext — cсылка на следующий элемент}
+
  begin
constructor SingleNode<DataType>.Create(pData: DataType; pNext: SingleNode<DataType>);
+
     fKeys.Add(key);
 +
     fValues.Add(value);
 +
  end;
 +
end;
 +
 +
function AssocArray<KeyType,ValueType>.GetElem(key: KeyType): ValueType;
 
begin
 
begin
   data := pData;
+
   var ind := fKeys.Find(key);
   next := pNext;
+
   if ind <> -1 then
 +
    Result := fValues[ind]
 +
  else
 +
  begin
 +
    fKeys.Add(key);
 +
    fValues.Add(default(ValueType));
 +
    Result := default(ValueType);
 +
  end;
 
end;
 
end;
//- - - - - - - - - - - - - - - - - - - - - - - - - END of SingleNode - - - - - - - - - - - - - - - - - - - - - - - - -\\
 
  
{Установка узла с одним полем связи sNode на следующий элемент}
+
function AssocArray<KeyType, ValueType>.ToString: string;
procedure SetNext<DataType>(var sNode: SingleNode<DataType>);
+
const NewLine = #13#10;
 
begin
 
begin
   Assert(sNode <> nil);
+
   Result := '';
   sNode := sNode.next
+
  for var i := 0 to fKeys.Count - 2 do
 +
  begin
 +
    var oKey: Object := fKeys[i];
 +
    var oVal: Object := fValues[i];
 +
    Result += oKey.ToString + ' ' + oVal.ToString + NewLine;
 +
  end;
 +
  var oKey: Object := fKeys[fKeys.Count-1];
 +
   var oVal: Object := fValues[fKeys.Count-1];
 +
  Result += oKey.ToString + ' ' + oVal.ToString;
 +
    //Result += fKeys[i].ToString + ' ' + fValues[i].ToString + NewLine;
 +
  //Result += fKeys[fKeys.Count-1].ToString + ' ' + fValues[fKeys.Count-1].ToString
 
end;
 
end;
  
 
+
procedure AssocArray<KeyType, ValueType>.Print;
// -----------------------------------------------------DOUBLE_NODE----------------------------------------------------\\
 
{Конструктор
 
    pData — значение узла
 
    pNext — cсылка на следующий элемент
 
    pPrev — ссылка на предыдущий элемент}
 
constructor DoubleNode<DataType>.Create(pData: DataType; pPrev, pNext: DoubleNode<DataType>);
 
 
begin
 
begin
   data := pData;
+
   write(ToString);
  next := pNext;
 
  next := pNext;
 
 
end;
 
end;
//- - - - - - - - - - - - - - - - - - - - - - - - - END of DoubleNode - - - - - - - - - - - - - - - - - - - - - - - - -\\
 
  
{Установка узла с двумя полями связи dNode на следующий элемент}
+
procedure AssocArray<KeyType, ValueType>.Println;
procedure SetNext<DataType>(var dNode: DoubleNode<DataType>);
 
 
begin
 
begin
   Assert(dNode <> nil);
+
   writeln(ToString);
  dNode := dNode.next;
 
 
end;
 
end;
  
{Установка узла с двумя полями связи dNode на предыдущий элемент}
+
// -------------------------------- LinkedList ---------------------------------
procedure SetPrev<DataType>(var dNode: DoubleNode<DataType>);
+
constructor LinkedList<T>.Create;
 
begin
 
begin
   Assert(dNode <> nil);
+
   fFirst := nil;
   dNode := dNode.prev;
+
   fLast := nil;
 
end;
 
end;
  
 
+
procedure LinkedList<T>.AddFirst(x: T);
end.
+
begin
</source>
+
  var val := new LinkedListNode<T>(x, nil, fFirst);
 
+
  if fFirst <> nil then
<xh4> III </xh4>
+
    fFirst.fPrev := val;
<source lang="Delphi">
 
/// Модуль содержит шаблоны классов
 
///  SingleNode — узла с одним полем связи
 
///  DoubleNode — узла с двумя полями связи
 
unit Nodes;
 
 
 
 
 
// ========================================================================================= INTERFACE ========================================================================================= \\
 
interface
 
 
 
type
 
 
    
 
    
//-----------------------------------------------------SINGLE_NODE-----------------------------------------------------\\
+
   fFirst := val;
   /// Узел с одним полем связи
+
   if fLast = nil then
   SingleNode<DataType> = class
+
     fLast := fFirst;
   
+
end;
    /// Значение узла
 
     data: DataType;
 
    /// Ссылка на следующий элемент
 
    next: SingleNode<DataType>;
 
   
 
   
 
    /// Конструктор
 
    /// <param name="pData">Значение узла</param>
 
    /// <param name="pNext">Ссылка на следующий элемент</param>
 
    constructor Create(pData: DataType; pNext: SingleNode<DataType>);
 
  
  end;
+
procedure LinkedList<T>.AddLast(x: T);
//- - - - - - - - - - - - - - - - - - - - - - - - - END of SingleNode - - - - - - - - - - - - - - - - - - - - - - - - -\\
+
begin
 
+
  var val := new LinkedListNode<T>(x, fLast, nil);
/// Установка узла с одним полем связи sNode на следующий элемент.
+
   if fLast <> nil then
/// Если не удалось, возвращает ложь.
+
    fLast.fNext := val;
function SetNext<DataType>(var sNode: SingleNode<DataType>): boolean;
 
 
 
// -----------------------------------------------------DOUBLE_NODE----------------------------------------------------\\
 
type 
 
  /// Узел с двумя полями связи
 
   DoubleNode<DataType> = class
 
 
      
 
      
    /// Значение узла
+
  fLast := val;
    data: DataType;
+
  if fFirst = nil then
    /// Ссылка на следующий элемент
+
     fFirst := fLast;
     next: DoubleNode<DataType>;
+
end;
    /// Ссылка на предыдущий элемент
 
    prev: DoubleNode<DataType>;
 
   
 
   
 
    /// Конструктор
 
    /// <param name="pData">Значение узла</param>
 
    /// <param name="pNext">Ссылка на следующий элемент</param>
 
    /// <param name="pPrev">Ссылка на предыдущий элемент</param>
 
    constructor Create(pData: DataType; pPrev, pNext: DoubleNode<DataType>);
 
  
   end;
+
procedure LinkedList<T>.RemoveFirst();
//- - - - - - - - - - - - - - - - - - - - - - - - - END of DoubleNode - - - - - - - - - - - - - - - - - - - - - - - - -\\
+
begin
 +
  if fFirst = nil then
 +
    raise new Exception(RemoveFromNilListExceptionMessage);
 +
    
 +
  fFirst := fFirst.fNext;
 +
  if fFirst = nil then
 +
    fLast := nil
 +
  else
 +
    fFirst.fPrev := nil;
 +
end;
  
/// Установка узла с двумя полями связи dNode на следующий элемент.
+
procedure LinkedList<T>.RemoveLast();
/// Если не удалось, возвращает ложь.
 
function SetNext<DataType>(var dNode: DoubleNode<DataType>): boolean;
 
 
 
/// Установка узла с двумя полями связи dNode на предыдущий элемент.
 
/// Если не удалось, возвращает ложь.
 
function SetPrev<DataType>(var dNode: DoubleNode<DataType>): boolean;
 
 
 
 
 
// ====================================================================================== IMPLEMENTATION ======================================================================================= \\
 
implementation
 
 
 
//-----------------------------------------------------SINGLE_NODE-----------------------------------------------------\\
 
{Конструктор
 
    pData — значение узла
 
    pNext — cсылка на следующий элемент}
 
constructor SingleNode<DataType>.Create(pData: DataType; pNext: SingleNode<DataType>);
 
 
begin
 
begin
   data := pData;
+
   if fLast = nil then
   next := pNext;
+
    raise new Exception(RemoveFromNilListExceptionMessage);
 +
   
 +
  fLast := fLast.fPrev;
 +
   if fLast = nil then
 +
    fFirst := nil
 +
  else
 +
    fLast.fNext := nil;
 
end;
 
end;
//- - - - - - - - - - - - - - - - - - - - - - - - - END of SingleNode - - - - - - - - - - - - - - - - - - - - - - - - -\\
 
  
{Установка узла с одним полем связи sNode на следующий элемент.
+
procedure LinkedList<T>.AddBefore(node: LinkedListNode<T>; x: T);  
Если не удалось, возвращает ложь.}
 
function SetNext<DataType>(var sNode: SingleNode<DataType>): boolean;
 
 
begin
 
begin
   if sNode = nil then
+
   if node = nil then
     result := false
+
     raise new Exception(AddNilNodeExceptionMessage);
 +
   
 +
  if node = fFirst then
 +
    AddFirst(x)
 
   else
 
   else
 
   begin
 
   begin
     sNode := sNode.next;
+
     var val := new LinkedListNode<T>(x, node.fPrev, node);
     result := true;
+
     node.fPrev.fNext := val;
 +
    node.fPrev := val;
 
   end;
 
   end;
 
end;
 
end;
  
 
+
procedure LinkedList<T>.AddAfter(node: LinkedListNode<T>; x: T);
// -----------------------------------------------------DOUBLE_NODE----------------------------------------------------\\
 
{Конструктор
 
    pData — значение узла
 
    pNext — cсылка на следующий элемент
 
    pPrev — ссылка на предыдущий элемент}
 
constructor DoubleNode<DataType>.Create(pData: DataType; pPrev, pNext: DoubleNode<DataType>);
 
 
begin
 
begin
   data := pData;
+
   if node = nil then
  next := pNext;
+
    raise new Exception(AddNilNodeExceptionMessage);
  next := pNext;
+
   
 +
  if node = fLast then
 +
    AddLast(x)
 +
  else
 +
  begin
 +
    var val := new LinkedListNode<T>(x, node, node.fNext);
 +
    node.fNext.fPrev := val;
 +
    node.fNext := val;
 +
  end;
 
end;
 
end;
//- - - - - - - - - - - - - - - - - - - - - - - - - END of DoubleNode - - - - - - - - - - - - - - - - - - - - - - - - -\\
 
  
{Установка узла с двумя полями связи dNode на следующий элемент.
+
procedure LinkedList<T>.Remove(node: LinkedListNode<T>);
Если не удалось, возвращает ложь.}
 
function SetNext<DataType>(var dNode: DoubleNode<DataType>): boolean;
 
 
begin
 
begin
   if dNode = nil then
+
   if node = nil then
     result := false
+
     raise new Exception(RemoveNilNodeExceptionMessage);
 +
 
 +
  if node = fFirst then
 +
    RemoveFirst
 +
  else if node = fLast then
 +
    RemoveLast
 
   else
 
   else
 
   begin
 
   begin
     dNode := dNode.next;
+
     node.fPrev.fNext := node.fNext;
     result := true;
+
     node.fNext.fPrev := node.fPrev;
 
   end;
 
   end;
 
end;
 
end;
  
{Установка узла с двумя полями связи dNode на предыдущий элемент.
+
function LinkedList<T>.ToString: string;
Если не удалось, возвращает ложь.}
 
function SetPrev<DataType>(var dNode: DoubleNode<DataType>): boolean;
 
 
begin
 
begin
   if dNode = nil then
+
   Result := '';
    result := false
+
  var cur := fFirst;
   else
+
   while cur <> nil do
 
   begin
 
   begin
     dNode := dNode.prev;
+
     var o: Object := cur.Value;
     result := true;
+
    Result += o.ToString + ' ';
 +
    //Result := cur.Value.ToString + ' ';
 +
     cur := cur.Next;
 
   end;
 
   end;
 
end;
 
end;
  
 +
procedure LinkedList<T>.Print;
 +
begin
 +
  write(ToString);
 +
end;
 +
 +
procedure LinkedList<T>.Println;
 +
begin
 +
  writeln(ToString);
 +
end;
  
 
end.
 
end.
 
</source>
 
</source>
  
== Collections ==
+
== См. также ==
<source lang="Delphi"></source>
+
* [[Unit Collections: Stack | Stack]]
 +
* [[Unit Collections: Queue | Queue]]
 +
* [[Unit Collections: DynArray | DynArray]]
 +
* [[Unit Collections: SimpleSet | SimpleSet]]
 +
* [[Unit Collections: AssocArray | AssocArray]]
 +
* [[Unit Collections: LinkedList | LinkedList]]

Текущая версия на 11:48, 9 мая 2009

Содержание

Collections

/// Модуль содержит шаблоны классов
///   Stack — стек
///   Queue — очередь
///   DynArray — динамический массив
///   SimpleSet — простое множество на основе динамического массива
///   AssocArray — простой ассоциативный массив на основе динамического массива пар
///   LinkedList — двусвязный список
unit Collections;
 
interface
 
// -------------------------------- SingleNode ---------------------------------
type
  /// Узел с одним полем связи
  SingleNode<T> = class
  private
    /// Значение, содержащееся в узле
    fData: T;
    /// Ссылка на следующий элемент
    fNext: SingleNode<T>;
  public
    /// <summary>
    /// Создает узел с одним полем связи
    /// </summary>
    /// <param name="pData">Значение в узле</param>
    /// <param name="pNext">Ссылка на следующий элемент</param>
    constructor Create(data: T; next: SingleNode<T>);
    begin
      fData := data;
      fNext := next;
    end;
    /// Значение, содержащееся в узле
    property Data: T read fData write fData;
    /// Ссылка на следующий элемент
    property Next: SingleNode<T> read fNext write fNext;
  end; 
 
// ----------------------------------- Stack -----------------------------------
type
  /// Шаблон класса Stack
  Stack<T> = class
  private 
    /// Вершина стека
    fTop: SingleNode<T> := nil; 
  public 
    /// Создает пустой стек
    constructor Create;
    /// <summary>
    /// Кладет элемент x на вершину стека
    /// </summary>
    /// <param name="x">Новый элемент</param>
    procedure Push(x: T);
    /// Возвращает значение элемента на вершине, снимая его со стека
    function Pop: T; 
    /// Возвращает значение элемента на вершине стека, не снимая его
    function Top: T;
    /// Возвращает истину, если стек пуст
    function IsEmpty: boolean; 
    /// Преобразует содержимое стека в строку
    function ToString: string; override;
    /// Выводит содержимое стека на консоль
    procedure Print;
    /// Выводит содержимое стека на консоль с переходом на новую строку
    procedure Println;
  end;
 
// ----------------------------------- Queue -----------------------------------
type  
  /// Шаблон класса Queue
  Queue<T> = class
  private
    /// Голова очереди
    fHead: SingleNode<T>;
    /// Хвост очереди
    fTail: SingleNode<T>;
  public
    /// Создает пустую очередь
    constructor Create;
    /// <summary>
    /// Добавляет элемент x в хвост очереди
    /// </summary>
    /// <param name="x">Добавляемый элемент</param>
    procedure Enqueue(x: T);
    /// Возвращает значение элемента в голове, удаляя его из очереди
    function Dequeue: T;
    /// Возвращает значение элемента в голове очереди, не удаляя его
    function First: T;
    /// Возвращает истину, если очередь пуста
    function IsEmpty: boolean;
    /// Преобразует содержимое очереди в строку
    function ToString: string; override;
    /// Выводит содержимое очереди на консоль
    procedure Print;
    /// Выводит содержимое очереди на консоль с переходом на новую строку
    procedure Println;
  end;
 
// --------------------------------- DynArray ----------------------------------
const
  /// Минимальная емкость, устанавливаемая при создании массива
  MIN_CAP = 4;
  /// Коэффициент увеличения емкости массива при её нехватке
  INC_CAP_FACTOR = 2;
 
type
  /// Шаблон класса DynArray (Динамический массив с автоконтролем памяти)
  DynArray<T> = class
  private
    /// Встроенный динамический массив, содержащий данные
    fData: array of T;
    /// Размер массива
    fSize: integer;
    /// Емкость массива
    fCap: integer;
    /// Устанавливает элемент с индексом index равным x
    procedure SetElem(index: integer; x: T);
    /// Возвращает элемент массива с индексом index
    function GetElem(index: integer): T;
  public
    /// Создает пустой массив
    constructor Create;
    /// Создает массив размера size
    constructor Create(size: integer);
    /// <summary>
    /// Выделяет новую память. Емкость увеличивается до NewSize.
    /// (Если newCap меньше текущей емкости, ничего не происходит) 
    /// </summary>
    /// <param name="newCap">Новая емкость массива</param>
    procedure Reserve(newCap: integer);
    /// <summary>
    /// Устанавливает новый размер массива равным newSize
    /// </summary>
    /// <param name="newSize">Новый размер массива</param>
    procedure Resize(newSize: integer);
    /// <summary>
    /// Добавляет элемент x в конец массива 
    /// </summary>
    /// <param name="x">Добавляемый элемент</param>
    procedure Add(x: T);
    /// <summary>
    /// Вставляет элемент x в указанную позицию pos
    /// </summary>
    /// <param name="pos">Позиция, в которую вставляется элемент</param>
    /// <param name="x">Вставляемый элемент</param>
    procedure Insert(pos: integer; x: T);
    /// <summary>
    /// Удаляет элемент массива из указанной позиции pos
    /// </summary>
    /// <param name="pos">Позиция, из которой удаляется элемент</param>
    procedure Remove(pos: integer);
    /// <summary>
    /// Возвращает индекс первого элемента массива равного x
    /// или -1, если такого элемента нет
    /// </summary>
    /// <param name="x">Искомый элемент</param>
    function Find(x: T): integer;
    /// Количество элементов (размер) массива
    property Count: integer read fSize write Resize;
    /// Емкость массива 
    property Capacity: integer read fCap write Reserve;
    /// Позволяет обращаться к элементам массива по индексу 
    property Elem[index: integer]: T read GetElem write SetElem; default;
    /// Преобразует содержимое массива в строку
    function ToString: string; override;
    /// Выводит содержимое массива на консоль
    procedure Print;
    /// Выводит содержимое массива на консоль с переходом на новую строку
    procedure Println;
  end;
 
// -------------------------------- SimpleSet ----------------------------------
type 
  /// Шаблон класса SimpleSet (Простое множество на основе динамического массива)
  SimpleSet<T> = class 
  private
    /// Элементы множества
    fData: DynArray<T>;
  public
    /// Создает множество
    constructor Create;
    /// <summary>
    /// Добавляет элемент x во множество, если его там еще нет
    /// </summary>
    /// <param name="x">Добавляемый элемент</param>    
    procedure Add(x: T);
    /// <summary>
    /// Удаляет элемент x из множества, если он там есть
    /// </summary>
    /// <param name="x">Удаляемый элемент</param>
    procedure Remove(x: T);
    /// <summary>
    /// Возвращает истину, если множество содержит элемент x
    /// </summary>
    /// <param name="x">Искомый элемент</param>          
    function Contains(x: T): boolean;   
    /// Преобразует содержимое массива в строку
    function ToString: string; override;
    /// Выводит содержимое массива на консоль
    procedure Print;
    /// Выводит содержимое множества на консоль с переходом на новую строку
    procedure Println;
end;
 
// -------------------------------- AssocArray ---------------------------------
type
  /// Шаблон класса AssocArray 
  AssocArray<KeyType, ValueType> = class
  private
    /// Ключи
    fKeys: DynArray<KeyType>;
    /// Значения, соответствующие ключам
    fValues: DynArray<ValueType>;

    /// Устанавливает значение элемента с ключом key равным value
    procedure SetElem(key: KeyType; value: ValueType);
    /// Возвращает значение элемента с ключом key
    function GetElem(key: KeyType): ValueType;
  public
    /// Создает ассоциативный массив
    constructor Create;
    /// Позволяет обращаться к элементам массива по ключу
    property Elem[key: KeyType]: ValueType read GetElem write SetElem; default;
    /// Преобразует содержимое ассоциативного массива в строку
    function ToString: string; override;
    /// Выводит содержимое ассоциативного массива на консоль
    procedure Print;
    /// Выводит содержимое ассоциативного массива на консоль с переходом на новую строку
    procedure Println;
  end;
 
// ----------------------------- LinkedListNode --------------------------------
type
  /// Узел с двумя полями связи
  LinkedListNode<T> = class
  private
    /// Значение, содержащееся в узле
    fData: T;
    /// Ссылка на предыдущий элемент
    fPrev: LinkedListNode<T>;
    /// Ссылка на следующий элемент
    fNext: LinkedListNode<T>;
  public
    /// <summary>
    /// Создает новый узел
    /// </summary>
    /// <param name="T">Значение узла</param>
    /// <param name="Prev">Ссылка на предыдущий элемент</param>
    /// <param name="Next">Ссылка на следующий элемент</param>
    constructor Create(data: T; prev, next: LinkedListNode<T>);
    begin
      fData := data;
      fNext := next;
      fPrev := prev;
    end;
    /// Значение, содержащееся в узле
    property Value: T read fData write fData;
    /// Ссылка на предыдущий элемент — только на чтение
    property Prev: LinkedListNode<T> read fPrev;
    /// Ссылка на следующий элемент — только на чтение
    property Next: LinkedListNode<T> read fNext;
  end;
  
  
// -------------------------------- LinkedList ---------------------------------
type
  /// Двусвязный линейный список
  LinkedList<T> = class
  private
    /// Первый элемент (голова)
    fFirst: LinkedListNode<T>;
    /// Последний элемент (хвост)
    fLast: LinkedListNode<T>;
  public
    /// Создает пустой список
    constructor Create;
    /// Первый элемент (голова) — только на чтение
    property First: LinkedListNode<T> read fFirst;
    /// Последний элемент (хвост) — только на чтение
    property Last: LinkedListNode<T> read fLast;
    /// <summary>
    /// Добавляет элемент x в начало списка
    /// </summary>
    /// <param name="x">Добавляемый элемент</param>
    procedure AddFirst(x: T);
    /// <summary>
    /// Добавляет элемент x в конец списка
    /// </summary>
    /// <param name="x">Добавляемый элемент</param>
    procedure AddLast(x: T);
    /// Удаляет первый элемент списка
    procedure RemoveFirst();
    /// Удаляет последний элемент списка
    procedure RemoveLast();
    /// <summary>
    /// Добавляет элемент x перед node
    /// </summary>
    /// <param name="node">Ссылка на элемент, перед которым нужно добавить новый</param>
    /// <param name="x">Добавляемый элемент</param>
    procedure AddBefore(node: LinkedListNode<T>; x: T); 
    /// <summary>
    /// Добавляет элемент x после node
    /// </summary>
    /// <param name="node">Ссылка на элемент, после которого нужно добавить новый</param>
    /// <param name="x">Добавляемый элемент</param>
    procedure AddAfter(node: LinkedListNode<T>; x: T);
    /// <summary>
    /// Удаляет элемент node
    /// </summary>
    /// <param name="node">Ссылка на элемент, который нужно удалить</param>
    procedure Remove(node: LinkedListNode<T>);
    /// Преобразует содержимое списка в строку
    function ToString: string; override;
    /// Выводит содержимое списка на консоль
    procedure Print;
    /// Выводит содержимое списка на консоль с переходом на новую строку
    procedure Println;
  end;
 
//==============================================================================
implementation
 
//Сообщения исключений
const	PopNilStackExceptionMessage =				'Попытка снятия элемента с пустого стека';
			TopNilStackExceptionMessage =				'Попытка получения элемента с пустого стека';
        
			DequeueNilQueueExceptionMessage =		'Попытка удаления элемента из пустой очереди';
			FirstNilQueueExceptionMessage =				'Попытка получения элемента из пустой очереди';
        
			NegativeArraySizeExceptionMessage =	'Попытка присвоить размеру массива отрицательное значение ';
      InsOutOfArrayBoundExceptionMessage ='Попытка вставки за границей массива в позицию ';
      RemOutOfArrayBoundExceptionMessage ='Попытка удаления за границей массива из позиции ';
      SetElemOutOfBoundExceptionMessage =	'Попытка присвоить значение элементу за границей массива с индексом ';
      GetElemOutOfBoundExceptionMessage =	'Попытка получить значение элемента за границей массива с индексом ';
      
			RemoveFromNilListExceptionMessage =	'Попытка удаления из пустого списка';
			AddNilNodeExceptionMessage =				'Параметр node является нулевой ссылкой';
			RemoveNilNodeExceptionMessage =			'Параметр node является нулевой ссылкой';
			
// ----------------------------------- Stack -----------------------------------
constructor Stack<T>.Create;
begin
  fTop := nil;
end;
 
procedure Stack<T>.Push(x: T);
begin
  fTop := new SingleNode<T>(x, fTop);
end;
 
function Stack<T>.Pop: T;
begin
  if IsEmpty then 
     raise new Exception(PopNilStackExceptionMessage);
 
  Result := fTop.data;
  fTop := fTop.next;  // элемент удаляется из вершины стека (т.е. вершиной становится следующий элемент)
end;
 
function Stack<T>.Top: T;
begin
  if IsEmpty then 
     raise new Exception(TopNilStackExceptionMessage);
 
  Result := fTop.data;
end;

function Stack<T>.IsEmpty: boolean;
begin
  Result := (fTop = nil);
end;
 
function Stack<T>.ToString: string;
begin
  Result := '';
  var curElem := fTop;
  while curElem <> nil do
  begin
    Result += curElem.data.ToString + ' ';
    curElem := curElem.next;
  end;
end;
 
procedure Stack<T>.Print;
begin
  write(ToString);
end;
 
procedure Stack<T>.Println;
begin
  writeln(ToString);
end;
 
// ----------------------------------- Queue -----------------------------------
constructor Queue<T>.Create;
begin
  fHead := nil;
  fTail := nil;
end;
 
procedure Queue<T>.Enqueue(x: T);
begin
  if IsEmpty then
  begin
    fHead := new SingleNode<T>(x, nil);
    fTail := fHead;
  end
  else
  begin
    fTail.next := new SingleNode<T>(x, nil);
    fTail := fTail.next;  // элемент удаляется из хвоста очереди (т.е. хвостом становится следующий элемент)
  end;
end;
 
function Queue<T>.Dequeue: T;
begin
  if IsEmpty then 
     raise new Exception(DequeueNilQueueExceptionMessage);
 
  Result := fHead.data;
  fHead := fHead.next;  // элемент удаляется из головы очереди (т.е. головой становится следующий элемент)
  if fHead = nil then
    fTail := nil;
end;
 
function Queue<T>.First: T;
begin
  if IsEmpty then 
     raise new Exception(FirstNilQueueExceptionMessage);
     
  Result := fHead.data;
end;
 
function Queue<T>.IsEmpty: boolean;
begin
  Result := (fHead = nil);
  if Result then
    Assert(fTail = nil);
end;
 
function Queue<T>.ToString: string;
begin
  Result := '';
  var curElem := fHead;
  while curElem <> fTail do
  begin
    Result += curElem.data.ToString + ' ';
    curElem := curElem.next;
  end;
  Result += curElem.data.ToString;
end;

procedure Queue<T>.Print;
begin
  write(ToString);
end; 
 
procedure Queue<T>.Println;
begin
  writeln(ToString);
end;
 
// ---------------------------------- DynArray ---------------------------------
constructor DynArray<T>.Create;
begin
  Create(0);
end;

constructor DynArray<T>.Create(size: integer);
begin
  if size < 0 then
    raise new Exception(NegativeArraySizeExceptionMessage + size.ToString);
 
  fSize := size;
  fCap := INC_CAP_FACTOR*size + MIN_CAP; // Устанавливаем емкость "с запасом"
  SetLength(fData, fCap);
end;
 
procedure DynArray<T>.Reserve(newCap: integer);
begin
  if newCap > fCap then 
  begin
    SetLength(fData, newCap);
    fCap := newCap;
  end;
end;
 
procedure DynArray<T>.Resize(newSize: integer);
begin
  if newSize < 0 then
    raise new Exception(NegativeArraySizeExceptionMessage + newSize.ToString);
 
  if newSize > fCap then
  begin
    Reserve(INC_CAP_FACTOR * newSize);
    for var i := fSize to newSize - 1 do // явным образом заполняем новые элементы
      fData[i] := default(T);
  end;
  fSize := newSize;
end;
 
procedure DynArray<T>.Add(x: T);
begin
  Resize(fSize + 1);
  fData[fSize-1] := x;
end;
 
procedure DynArray<T>.Insert(pos: integer; x: T);
begin
  if (pos < 0) or (pos > fSize-1) then 
     raise new Exception(InsOutOfArrayBoundExceptionMessage + pos.ToString);
 
  Resize(fSize + 1);
  for var i := fSize - 2 downto pos do  // сдвиг элементов на 1 вправо, до позиции pos
    fData[i+1] := fData[i];
  fData[pos] := x;
end;
 
procedure DynArray<T>.Remove(pos: integer);
begin
  if (pos < 0) or (pos > fSize-1) then 
    raise new Exception(RemOutOfArrayBoundExceptionMessage + pos.ToString);
 
  for var i := pos to fSize - 2 do      // сдвиг элементов влево на 1, начиная с позиции pos
    fData[i] := fData[i+1];
  Resize(fSize - 1);
end;
 
function DynArray<T>.Find(x: T): integer;
begin
  Result := -1;
  for var i := 0 to fSize - 1 do
    if fData[i] = (x) then
    begin
      Result := i;
      exit;
    end;
end;
 
procedure DynArray<T>.SetElem(index: integer; x: T);
begin
  if (index < 0) or (index > fSize-1) then 
    raise new Exception(SetElemOutOfBoundExceptionMessage + index.ToString);
 
  fData[index] := x;
end;
 
{Возвращает элемент массива с индексом index}
function DynArray<T>.GetElem(index: integer): T;
begin
  if (index < 0) or (index > fSize-1) then 
     raise new Exception(GetElemOutOfBoundExceptionMessage + index.ToString);
 
  Result := fData[index];
end;
 
function DynArray<T>.ToString: string;
begin
  Result := '';
  for var i := 0 to fSize - 2 do
  begin
    var o: Object := fData[i];
    Result += o.ToString + ' ';
  end;
  var o := fData[fSize-1];
  Result += o.ToString;
    //Result += fData[i].ToString + ' '; 
  //Result += fData[fSize-1].ToString;
end;
 
procedure DynArray<T>.Print;
begin
  write(ToString);
end;
 
procedure DynArray<T>.Println;
begin
  writeln(ToString);
end;
 
// -------------------------------- SimpleSet ----------------------------------
constructor SimpleSet<T>.Create;
begin
  fData := new DynArray<T>;
end;

procedure SimpleSet<T>.Add(x: T);
begin
  if fData.Find(x) = -1 then 
    fData.Add(x);
end;
 
procedure SimpleSet<T>.Remove(x: T);
begin
  var xPos := fData.Find(x);
  if xPos <> -1 then
    fData.Remove(xPos);
end;
 
function SimpleSet<T>.Contains(x: T): boolean;
begin
  Result := (fData.Find(x) <> -1);
end;
 
function SimpleSet<T>.ToString: string;
begin
  Result := fData.ToString;
end;

procedure SimpleSet<T>.Print;
begin
  write(ToString);
end;

procedure SimpleSet<T>.Println;
begin
  writeln(ToString);
end;
 
// -------------------------------- AssocArray ---------------------------------
constructor AssocArray<KeyType,ValueType>.Create;
begin
  fKeys := new DynArray<KeyType>;
  fValues := new DynArray<ValueType>;
end;

procedure AssocArray<KeyType,ValueType>.SetElem(key: KeyType; value: ValueType);
begin
  var ind := fKeys.Find(key);
  if ind <> -1 then
    fValues[ind] := value
  else
  begin
    fKeys.Add(key);
    fValues.Add(value);
  end;
end;
 
function AssocArray<KeyType,ValueType>.GetElem(key: KeyType): ValueType;
begin
  var ind := fKeys.Find(key);
  if ind <> -1 then
    Result := fValues[ind]
  else
  begin
    fKeys.Add(key);
    fValues.Add(default(ValueType));
    Result := default(ValueType);
  end;
end;

function AssocArray<KeyType, ValueType>.ToString: string;
const NewLine = #13#10;
begin
  Result := '';
  for var i := 0 to fKeys.Count - 2 do
  begin
    var oKey: Object := fKeys[i];
    var oVal: Object := fValues[i];
    Result += oKey.ToString + ' ' + oVal.ToString + NewLine;
  end;
  var oKey: Object := fKeys[fKeys.Count-1];
  var oVal: Object := fValues[fKeys.Count-1];
  Result += oKey.ToString + ' ' + oVal.ToString;
    //Result += fKeys[i].ToString + ' ' + fValues[i].ToString + NewLine;
  //Result += fKeys[fKeys.Count-1].ToString + ' ' + fValues[fKeys.Count-1].ToString
end;

procedure AssocArray<KeyType, ValueType>.Print;
begin
  write(ToString);
end;

procedure AssocArray<KeyType, ValueType>.Println;
begin
  writeln(ToString);
end;

// -------------------------------- LinkedList ---------------------------------
constructor LinkedList<T>.Create;
begin
  fFirst := nil;
  fLast := nil;
end;

procedure LinkedList<T>.AddFirst(x: T);
begin
  var val := new LinkedListNode<T>(x, nil, fFirst);
  if fFirst <> nil then
    fFirst.fPrev := val;
  
  fFirst := val;
  if fLast = nil then
    fLast := fFirst;
end;

procedure LinkedList<T>.AddLast(x: T);
begin
  var val := new LinkedListNode<T>(x, fLast, nil);
  if fLast <> nil then
    fLast.fNext := val;
    
  fLast := val;
  if fFirst = nil then
    fFirst := fLast;
end;

procedure LinkedList<T>.RemoveFirst();
begin
  if fFirst = nil then
    raise new Exception(RemoveFromNilListExceptionMessage);
  
  fFirst := fFirst.fNext;
  if fFirst = nil then
    fLast := nil
  else
    fFirst.fPrev := nil;
end;

procedure LinkedList<T>.RemoveLast();
begin
  if fLast = nil then
    raise new Exception(RemoveFromNilListExceptionMessage);
    
  fLast := fLast.fPrev;
  if fLast = nil then
    fFirst := nil
  else
    fLast.fNext := nil;
end;

procedure LinkedList<T>.AddBefore(node: LinkedListNode<T>; x: T); 
begin
  if node = nil then
    raise new Exception(AddNilNodeExceptionMessage);
    
  if node = fFirst then
    AddFirst(x)
  else
  begin
    var val := new LinkedListNode<T>(x, node.fPrev, node);
    node.fPrev.fNext := val;
    node.fPrev := val;
  end;
end;

procedure LinkedList<T>.AddAfter(node: LinkedListNode<T>; x: T);
begin
  if node = nil then
    raise new Exception(AddNilNodeExceptionMessage);
    
  if node = fLast then
    AddLast(x)
  else
  begin
    var val := new LinkedListNode<T>(x, node, node.fNext);
    node.fNext.fPrev := val;
    node.fNext := val;
  end;
end;

procedure LinkedList<T>.Remove(node: LinkedListNode<T>);
begin
  if node = nil then
    raise new Exception(RemoveNilNodeExceptionMessage);
  
  if node = fFirst then
    RemoveFirst
  else if node = fLast then
    RemoveLast
  else
  begin
    node.fPrev.fNext := node.fNext;
    node.fNext.fPrev := node.fPrev;
  end;
end;

function LinkedList<T>.ToString: string;
begin
  Result := '';
  var cur := fFirst;
  while cur <> nil do
  begin
    var o: Object := cur.Value;
    Result += o.ToString + ' ';
    //Result := cur.Value.ToString + ' ';
    cur := cur.Next;
  end;
end;

procedure LinkedList<T>.Print;
begin
  write(ToString);
end;

procedure LinkedList<T>.Println;
begin
  writeln(ToString);
end;

end.

См. также