Creación de registro de Ada con un campo

Question

he definir un tipo:

type Foo is record 
    bar : Positive; 
end record; 

Quiero crear una función que devuelve una instancia del registro:

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

Pero Ada no va a dejar yo, diciendo que "el agregado posicional no puede tener un argumento".
Intentando estúpidamente, agregué otro campo mudo al registro, ¡y luego return (1, DOESNT_MATTER); funciona!

¿Cómo le digo que Ada no es un agregado de posición, sino un intento de crear un registro?

Answer 1

La inicialización de agregado posicional no se puede usar con registros que tienen solo un componente, pero eso no significa que no pueda tener registro con un componente.

Los valores de un tipo de registro se especifican dando una lista de campos mencionados. El código correcto para su función get_foo debería ser el siguiente.

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

También puede especificar el tipo de registro usando la expresión Foo'(bar => 1).

Usando la lista de componentes nombrados es mejor en la práctica que initilization posicional. Puede olvidar la posición del componente y no cambia si agrega un nuevo campo en su registro.