如何通过一次更改将记录x分配给记录y？

作者: 昵称为空呵呵
发布时间: 2024-08-18 05:24:29 (20天前)
转自：

2 条回复

0#
回复此人
只怕再见是故人 | 2019-08-31 10-32

<div class =“post-text”itemprop =“text”> <P> 好吧，Ada202x正在努力 <a href="http://www.ada-auth.org/standards/2xrm/html/RM-4-3-4.html" rel="noreferrer"> Delta Aggregates </A> 这本来就是你想要的。在那之前，我能想到的唯一两个选择是： </p> <P> 普通旧聚合： </p> <pre class="lang-ada prettyprint-override"> <code> function foo1(x : MyRecord) return MyRecord is (a => x.a, b => -1, c => x.c, d => x.d); </code> </pre> <P> 延期回报： </p> <pre class="lang-ada prettyprint-override"> <code> function foo2(x : MyRecord) return MyRecord is begin return Result : MyRecord := x do Result.b := -1; end return; end foo2; </code> </pre> <P> 我知道扩展返回不会得到你想要的表达式函数，但它是一个更好的语法，可以用有限的类型以有趣的方式使用。现在你将不得不依赖普通的旧聚合语法。 </p> </DIV>

编辑

登录后才能参与评论