Арифметика указателей, АДА Опции

[TarasBer]

Я не понял, как именно надо использовать пакет System.Storage_Elements
Итак, задача такая, у меня есть тип

   type TColor is new Interfaces.Unsigned_32;
   type AColor is access all TColor;

   type TBitmap is new Controlled with record
      Handle	: HBITMAP;
      DC	: HDC;
      Mem	: aliased AColor; -- или удобнее aliased PVOID?
      SizeX, SizeY, Depth	: integer;
   end record;

У него есть метод:

   function Get_Pixel(B: TBitmap; X, Y: integer) return AColor;
   -- возвращает указатель на пиксел с данными координатами
   pragma Inline(Get_Pixel);

   function Get_Pixel(B: TBitmap; X, Y: integer) return AColor is
   begin
      Assert((X >= 0) and (X < B.SizeX) and (Y >= 0) and (Y < B.SizeY));
      return B.Mem + X + Y * B.SizeX;
   end;

Последняя функция не компилируется. Что надо сделать, чтобы она скомпилировалась?
Кстати, здесь мне очень важна скорость, с точностью до лишних тактов и копирований чисел туда-сюда.

[volvo]

Так... До винды я так и не добрался, но фиг бы с ним. Насколько я помню, CreateDIBSection своим четвертым параметром возвращает указатель на массив пикселей (а не на массив указателей на пиксели). Тогда что-то в таком роде попробуй:

   type TColor is new Interfaces.Unsigned_32;

   type TColor_Array is array (Integer range 0 .. Win32.ANYSIZE_ARRAY) of aliased TColor;
   type PTColor_Array is access all TColor_Array;
   
   type TBitmap is new Controlled with record
      Handle	: HBITMAP;
      DC	: HDC;
      SizeX, SizeY, Depth	: integer;
      
      Mem	: aliased Win32.PVOID;      
   end record;
   
   function Get_Pixel(B: TBitmap; X, Y: integer) return TColor;
   -- возвращает САМ ПИКСЕЛ с данными координатами
   pragma Inline(Get_Pixel);


   --  Вызов CreateDIBSection будет проходить так:

      pBuffer : aliased PVOID;
      -- ...
      B.Handle := Win32.Wingdi.CreateDIBSection (B.DC, BI'Unchecked_Access,
                                                 DIB_RGB_COLORS, pBuffer'Access,
                                                 System.Null_Address, 0);
      B.Mem := pBuffer;

   -- , а сама реализация GetPixel - проста до безобразия:

   function Get_Pixel(B: TBitmap; X, Y: integer) return TColor is
      function To_PTColorArray is new Ada.Unchecked_Conversion (Win32.PVOID, PTColor_Array);
      Ptr : constant PTColor_Array := To_PTColorArray (B.Mem);
   begin
      pragma Assert((X >= 0) and (X < B.SizeX) and (Y >= 0) and (Y < B.SizeY));
      
      return Ptr.all(X + Y * B.SizeX);
   end;