C
Size: a a a
2021 June 24
MP
Кто подскажет, а чем отличается использование функций Ada.Unchecked_Convertion от простого маппинга for x’Address use y’Address?
LB
вероятно, в копировании значения, а не в шаринге места
DA
так то да, можно и то и то использовать. GNAT компилятор физический размер переменных контролирует в обоих случаях насколько я помню.
DA
надо только понимать что происходит, потому как это опасные манипуляции.
AV
второе же возможно только для алиасед типов, а первое -- небось для чего угодно
DA
aliased для access, для Address не важно.
MP
Спасибо. Тесты показали, что Unchecked_Convertion аккуратно учитывает размер целых подтипов. Хотя, может это и не так.
МР
Unchecked Convertion нельзя использовать для limited типов
2021 June 25