如何引发对 Finalize 的多次调用？

Question

在最近的 AdaCore Gem< /a> 有一个声明

Finalize 的实现稍微复杂一些：Ada 参考手册指出 Finalize 过程应该始终是幂等的。 Ada 编译器可以对同一对象多次调用 Finalize，特别是在发生异常时。

我需要测试私有控制的类型，

   type T is private;
private
   type T is new Ada.Finalization.Controlled with ...

我可以更改源以使类型受到可见控制

   type T is new Ada.Finalization.Controlled with private;

，然后只需调用 Finalize (My_T); （甚至是 My_T.Finalize？ ）；但是有什么方法可以在不对被测软件进行这种更改的情况下导致多次最终确定吗？

Answer 1

出于测试目的，我使用了子包。它允许测试私人部分。
假设你的包裹是：

package A is
   type T is private;
private
   type T is new Ada.Finalization.Controlled with ...
end A;

我会用类似的东西进行测试：

package body A.Test is
   procedure Test_Finalize is
       My_T : T;
   begin
       My_T.Finalize;
   end Test_Finalize;
end A.Test;