pass-by-reference - Ada 中的 := 和 => 有什么区别？

Question

据我所知，:=似乎是通过副本进行分配。运算符=>似乎做了类似的赋值，但在将参数赋值给对象的成员变量时使用。

所以...

receivesTheCopy := isBeingCopied

memberVariable => passedParameter

我正在处理别人的旧代码，我有一个变量达到了一个我从未见过用:=. 我在想，也许当它被分配给 amemberVariable时，=>它是通过引用传递的，因此passedParameter变量保持与memberVariable状态相关联。

Answer 1

:=是一个任务。

=>有多种用途：

1. 参数传递：哪个形参传递哪个参数（如果不是按顺序完成的）。
2. 记录和数组聚合：哪个字段获取哪个值。
3. 方面：将方面名称与分配给它们的表达式分开。

在这两种情况下，它都与传递引用或传递值无关。