Variadic Ada功能

Question

我正在学习Ada，因为我对严格的类型安全和编程合约的想法很感兴趣。 “永远编程”的想法很好。无论如何，真正的问题是Ada是否具有可变的功能。搜索SO suggests Ada没有，正确的方法是使用无约束的数组，其长度在运行时确定。

我的问题是，你不是怎么做的，而是正确的做法是什么？另外，为什么Ada可以像+（例如1 + 2 + 3）那样执行（似乎是基于堆栈的操作），但是它不能对函数调用的参数执行相同的操作？

难道不是像 Max(1, 2, 3, ..., n)一样不要做可变表情吗？还是仅仅是你应该把参数传递给它，如Args.len=n; Max(Args[])？

我的直觉和从阅读各种Ada书籍中收集到的信息表明，由于它们不太安全，因此不应该有非特定功能。

Answer 1

如建议here，“可变参数函数可能暴露某些语言中的类型安全问题”。虽然Ada不支持可变参数函数，但看到的示例here模仿的array aggregate行为。可变参数列表所带来的风险通常在于允许原始输入数据直接传递给可执行代码。在Ada中插入的骨料排除了这种情况，同时又具有文体上的便利性。

在下面的片段，一个重载+函数中的每个字符串文字转换为Unbounded_String，并且每个这样的Unbounded_String变为Variadic_Array的组件，然后变成到Print_Line功能的唯一参数。如果prescribed checks中的任何一个失败，则会引发Constraint_Error。

Print_Line((+"Mary", +"had", +"a", +"little", +"lamb."));