내가 유형을 정의했습니다

Question

하나 개의 필드와 에이다 레코드 만들기 : 나는 기록의 인스턴스를 반환하는 함수를 만들

type Foo is record 
    bar : Positive; 
end record; 

을 :

function get_foo return Foo is 
    return (1); 
end get_foo; 

하지만 에이다 못하게 나, "위치 집계는 하나의 인수를 가질 수 없다"고 말했습니다.
어리석은 노력으로 레코드에 또 다른 바보 필드를 추가 한 다음 return (1, DOESNT_MATTER);이 작동합니다!

Ada에게 위치 집계가 아니라 레코드 만들기 시도를 어떻게 말합니까?

Answer 1

위치 집계 초기화는 하나의 구성 요소 만있는 레코드에는 사용할 수 없지만 하나의 구성 요소로 레코드 할 수 없다는 것을 의미하지는 않습니다.

레코드 유형의 값은 명명 된 필드 목록을 제공하여 지정됩니다. get_foo 함수의 올바른 코드는 다음과 같아야합니다.

function get_foo return Foo is 
    return (bar => 1); 
end get_foo; 

Foo'(bar => 1) 표현식을 사용하여 레코드 유형을 지정할 수도 있습니다.

명명 된 구성 요소 목록을 사용하는 것이 실제로 위치 지정보다 더 좋습니다. 구성 요소의 위치를 ​​잊어 버릴 수 있으며 레코드에 새 필드를 추가해도 변경되지 않습니다.