Как получить доступ к адресам памяти непосредственно в Аде?

Вы можете использовать атрибут 'Address:

Videoram : String (1 .. Videoram_Size);
for Videoram'Address use 16#B8000#;
-- ...
Videoram (1) := 'a';

Если вы не хотите использовать строки и символы, вы можете определить свои собственные типы данных, например:

type Byte is mod 2**8; -- unsigned char
type Byte_Array is array (Natural range <>) of Byte;
Videoram : Byte_Array (0 .. Videoram_Size - 1);
for Videoram'Address use 16#B8000#;
-- ...
Videoram (0) := 65;

Кстати, вы даже получаете проверку диапазона для индекса, поэтому вы не можете писать за пределами диапазона Videoram.

Если вы используете атрибут адреса (т. е. для Object'Address используйте ...), вы должны использовать функцию To_Address(), найденную в System.Storage_Elements, потому что тип Address не обязательно должен быть целым числом. В Справочном руководстве Ады говорится только:

"Адрес - это определенный, неограниченный тип с предустановленной инициализацией"

Принимая во внимание, что для типа Integer_Address в System.Storage_Elements указано:

«Integer_Address — целочисленный подтип (подписанный или модульный). To_Address и To_Integer выполняют преобразование между этим типом и адресом».

Итак, вы действительно должны использовать:

для адреса объекта используйте To_Address (16#B8000#);

И последнее, на что следует обратить внимание в ответе T.E.D: если вас беспокоит инициализация объекта с помощью этого метода, просто добавьте прагму Import(Ada, your_object) после объявления, чтобы инициализация по умолчанию подавлялась.

На самом деле есть два пути.

Один из них — установить указатель на адрес, который вы хотите использовать, и получить доступ к объекту через указатель.

type Video_RAM_Pointer is access all My_Video_Ram_Struct;
package Convert is new System.Address_To_Access_Conversions (Video_RAM_Pointer);
Video_RAM : constant Video_RAM_Pointer := Convert.To_Access (16#B8000#);

Другой — наложить ваши данные прямо поверх местоположения.

Video_RAM : My_Video_RAM_Struct;
for Video_RAM'address use at 16#B8000#;

Как правило, я предпочитаю использовать первый. Среди прочего, последнее считается объявлением, что означает, что любые поля в My_Video_RAM_Struct, имеющие код инициализации, будут повторно инициализироваться каждый раз, когда вы объявляете оверлей. Кроме того, у людей возникает искушение чрезмерно использовать (злоупотреблять) эту функцию для создания псевдонимов объектов повсюду, что сложно как для оптимизатора, так и для программиста, занимающегося сопровождением.

Метод указателя просто говорит компилятору предположить, что данный адрес содержит структуру, которую вы ему сказали, что, ИМХО, именно то, что вы хотите.