通用访问类型 Ada

Question

我仍然对all关键字在一般访问类型中的工作方式感到困惑

有什么区别：

type int_access is access all Integer; 到 type int_access is access Integer;

例如：

type int_ptr is access all Integer;

Var : aliased Integer := 1;

Ptr : int_ptr := Var'Access;

代码工作正常，但如果我删除all关键字，它会给出一个错误，结果必须是一般访问类型，我必须添加all.

Answer 1

池特定的访问类型——那些没有“all”的访问类型——只能用于使用“new”关键字在堆（或某些用户定义的存储池）中分配的对象。

所以这是可以的：

type Int_Ptr is access Integer;
Prt: Int_Ptr := new Integer;

一般访问类型——带有“all”的那些——既可以用于堆分配的对象，也可以用于任何其他标记为“别名”的对象。所以这也可以：

type Int_Ptr is access all Integer;
Prt: Int_Ptr := new Integer;

因此，简而言之，规则是：

• 没有“all”：只有用“new”分配的对象
• 带有“all”：此外，任何标记为“别名”的对象。