Ada의 System.Address에서 Integer로 변환

Question

아래의 예에서 궁금한 점은 line 17이 작동하지 않는 이유는 무엇입니까? line 18? System.Address을 Integer (line 17 참조)로 직접 변환 할 수 있습니까?

main.adb

with Ada.Text_IO; 
with Ada.Unchecked_Conversion; 
with System.Storage_Elements; 

procedure Main is 
    package SSE renames System.Storage_Elements; 

    type Integer_Access is access Integer; 
    I1_Access : Integer_Access := new Integer'(42); 
    I1_Address : System.Address := I1_Access.all'Address; 

    function Convert1 is new Ada.Unchecked_Conversion (System.Address, Integer); 
    function Convert2 is new Ada.Unchecked_Conversion (System.Address, Integer_Access); 
begin 
    Ada.Text_IO.Put_Line (SSE.To_Integer (I1_Access'Address)'Img); 
    Ada.Text_IO.Put_Line (SSE.To_Integer (I1_Access.all'Address)'Img); 
    Ada.Text_IO.Put_Line (I1_Access.all'Img); 
    Ada.Text_IO.Put_Line (Convert1 (I1_Address)'Img); -- why does this NOT work? 
    Ada.Text_IO.Put_Line (Convert2 (I1_Address).all'Img); -- why does this work? 
end Main; 

결과

140734773254664 
140243203260416 
42 
-363855872 
42 

Answer 1

12. function Convert1 is new Ada.Unchecked_Conversion (System.Address, Integer); 
     | 
    >>> warning: types for unchecked conversion have different sizes 

Integer 때문에 32 비트 나는 (발췌) 수 (목록을 생성) System.Address (대부분의 액세스 동안 유형)은 64 비트입니다. 귀하의 기계는 분명히 유사합니다.

이상한 5 번째 출력 라인을 얻는 이유는 (실제로는 -490720512가 있습니다.) 실제 주소의 아래쪽 32 비트만을보고있는 것입니다.

지원되는 방법은 System.Address_To_Access_Conversions (ARM 13.7.2)입니다.

Answer 2

그것은 작업을 수행합니다. 분명히 그것은 당신이 예상했던 것 이외의 것을하고있는 것 같습니다.

System.Address을 Integer으로 변환하면 Unchecked_Conversion이지만 결과가 의미있는 것은 아닙니다. System.Address 값에 보관 된 (아마도 가상의) 주소를 나타내는 정수 -이 아닌이 가리키는 모든 객체의 값을 가져옵니다. System.Address과 Integer이 같은 크기가 아니라면 그 결과는 의미가별로 없습니다.

Ada.Text_IO.Put_Line (Convert1 (I1_Address)'Img); 

이것은 메모리 주소의 표현을 Integer으로 인쇄합니다. 특히 의미있는 것은 아닙니다. (일반적으로는 16 진수로 같은 주소를 참조 할 것.)

Ada.Text_IO.Put_Line (Convert2 (I1_Address).all'Img); 

이 I1_Address의 값이 나타내는 메모리 위치에있는 객체의, 42을 Integer 값을 출력합니다. 이것은 단지 원형의 인쇄 방법입니다. I1_Access.all. 나는 당신의 -gnatwa이 맥 코드 (대부분의 경고) 및 -gnatl를 컴파일 할 경우

Answer 3

예에서와 같이 이미지의 값만 인쇄하려면 System.Address_Image 함수를 사용하는 것이 좋습니다. 이것은 포인터 연산에는 좋지 않지만 더 나은 출력 (예 : 16 진수)을 유도합니다.