使用一个字段创建Ada记录

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)表达式指定记录的类型.

使用命名组件列表在实践中比位置初始化更好.您可以忘记组件的位置,如果在记录中添加新字段,则不会更改.