Sorting

Rationale for Ada 2005: 6a Containers

6. Sorting

@ The final facilities in the container library are generic procedures for array sorting. There are two versions, one for unconstrained arrays and one for constrained arrays. Their specifications are

  1	generic
  2		type Index_Type is (<>);
  3		type Element_Type is private;
  4		type Array_Type is array (Index_Type range <>) of Element_Type;
  5		with function "<" (Left, Right : Element_Type) return Boolean is <>;
  6	procedure Ada.Containers.Generic_Array_Sort (Container : in out Array_Type);
  7		pragma Pure (Ada.Containers.Generic_Array_Sort);

@ and

  1	generic
  2		type Index_Type is (<>);
  3		type Element_Type is private;
  4		type Array_Type is array (Index_Type) of Element_Type;
  5		with function "<" (Left, Right : Element_Type) return Boolean is <>;
  6	procedure Ada.Containers.Generic_Constrained_Array_Sort (Container : in out Array_Type);
  7		pragma Pure (Ada.Containers.Generic_Constrained_Array_Sort);

@ These do the obvious thing. They sort the array Container into order as defined by the generic parameter "<". The emphasis is on speed.

Rationale for Ada 2005: 6a Containers

ENG RUS

TOP BACK NEXT

6. Сортировка

@ Последние средства в контейнерной библиотеке - универсальные процедуры для сортировки массивов. Имеется две версии, одна для неограниченных, другая - для ограниченных массивов. Их спецификации:

1 generic 2 type Index_Type is (<>); 3 type Element_Type is private; 4 type Array_Type is array (Index_Type range <>) of Element_Type; 5 with function "<" (Left, Right : Element_Type) return Boolean is <>; 6 procedure Ada.Containers.Generic_Array_Sort (Container : in out Array_Type); 7 pragma Pure (Ada.Containers.Generic_Array_Sort);

@ и

1 generic 2 type Index_Type is (<>); 3 type Element_Type is private; 4 type Array_Type is array (Index_Type) of Element_Type; 5 with function "<" (Left, Right : Element_Type) return Boolean is <>; 6 procedure Ada.Containers.Generic_Constrained_Array_Sort (Container : in out Array_Type); 7 pragma Pure (Ada.Containers.Generic_Constrained_Array_Sort);

@ Они делают очевидную вещь. Они сортируют массив Container в порядке определяемом универсальным параметром "<". Акцент делается на скорость выполнения.

ENG RUS

TOP BACK NEXT

2010-10-24 00:26:58

прихожие на заказ фото . .