对于匿名访问类型重载运算符“=”？

我正在读巴恩斯那本出色的《艾达》一书。这是第 11.7 节中用于深度比较链表的代码示例：

type Cell is
  record
    Next: access Cell;
    Value: Integer;
  end record;

function "=" (L, R: access Cell) return Boolean is
begin
  if L = null or R = null then    -- universal =
    return L = R;                 -- universal = (Line A)
  elsif L.Value = R.Value then
    return L.Next = R.Next;       -- recurses OK (Line B)
  else
    return False;
  end if;
end "=";

我似乎无法理解为什么在 A 行universal_access 类型的运算符“=”被称为（由于优先规则），在 B 线上，然而，用户定义的运算符“=”被调用（这首先使得递归成为可能），这一次没有优先考虑universal_access 的运算符“=”。

L和R以及L.Next和R.Next都是相同的匿名类型“access Cell”。为什么“派遣”不同？这与 L 和 R 作为访问参数有关吗？如果是这样，那里的规则是什么？

我尽力在 AARM 中找到任何内容，尤其是第 4.5.2 节，但无法理解它的任何意义。

Cheers.

我将总结我现在的发现（在 Simon Wright 和 G_Zeus 的帮助下）。如果我错了，请纠正我：

根据标准，L = null, R = null, L = R也L.Next = R.Next每个都应该明确调用用户定义的运算符=。universal_access运算符 = 绝对不能在这里起作用。

Reason:

操作数L, R, L.Next and R.Next违反了前提条件ARM 4.5.2(9.1-9.4) http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-4-5-2.html#p9.1用于口译=在这些表达式中，运算符 = 的意思是universal_access type:

前提条件是两个操作数都不是访问对象类型（access Cell) 其指定类型为Cell (check), Cell有一个用户定义的原始相等运算符（check）这样

• 它的结果类型是Boolean (check);
• 它立即在同一声明列表中声明Cell (check); and
• 其操作数中至少有一个是指定类型的访问参数Cell（两个操作数都是，check).

运算符 = 的优先规则universal_access输入ARM 8.6(29.1) http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-8-6.html#p29.1不适用于此处，因为它需要“两种可接受的解释”。但由于4.5.2，操作符=universal_accesstype 不是可接受的解释。

所以别无选择：在所有情况下（甚至L = null) 它必须是用户定义的运算符=。

@Simon Wright：所以“无界递归”实际上是正确的编译器行为。

@G_Zeus：发出歧义错误l = r是不正确的编译器行为，编译器应该选择Access_Equal."=".

该示例应正确读取：

...

  if Standard."="(L, null) or Standard."="(R, null) then    -- universal =
    return Standard."="(L, R);                              -- universal =
  elsif L.Value = R.Value then
    return L.Next = R.Next;                                 -- recurses OK

...

Cheers.