多态类型的函数参数的深层副本

Question

我使用一个基于基本包的对象，大致定义为：

package Base is 
   type T_Base is abstract tagged null record;

   -- This performs a deep copy. Shallow copies may lead to STORAGE_ERROR.
   -- This shall be implemented by every derived type.
   function Copy (From : in T_Base) return T_Base'Class is abstract;
end package Base;

这个包是由几个包派生而来的，这些包进一步派生出来

package Foo is
   type T_Foo is new T_Base with record
      A_Data : Natural;  -- Of course, in the real code, these are types by far more complex.
   end record;

   procedure do_something (Foo_Object : in T_Foo);
   -- This implements the deep copy
   function Copy (From : in T_Foo) return T_Base'Class is abstract;
end package Foo;

在调用过程do_something 时，我确实得到了storage_error：

procedure handle_received_foo (Foo_In: in Foo.T_Foo) is
begin
   Foo.do_something (Foo_Object => Foo_In); -- The storage error does happen here.
end main;

使用 gdb 运行代码时，输​​入函数时出现段错误，我得到：

Program received signal SIGSEGV, Segmentation fault.
[Switching to Thread 39 (LWP 39)]
0x033c9828 in foo.do_something (foo_object=...) at ./foo.adb:67
67         procedure do_something (Foo_Object : in T_Foo);
(gdb) p foo_object
$1 (null)

所以我想我在对参数Foo_Object 进行浅表复制时会得到一个storage_error。

我知道这不是 MWE，并且派生类型中使用的其中一种类型可能存在错误。

我找不到任何好的选择：

• 如果不大幅更改其定义，我无法从T_Base 和Ada.Finalization.Controlled 中派生T_Foo，因此将T_Foo 设为Controlled 类型以在Adjust 中调用Copy 似乎是不可能的。它们都不是接口类型

• 将T_Base 定义为

  type T_Base is abstract new Ada.Finalization.Controlled with null record;
  

  并在此处覆盖 Adjust 似乎会导致对现有代码库的大量修改，因为 gnat 在多个地方产生了

  聚合类型具有私有祖先“受控”必须使用扩展聚合。

所以我缺乏进一步调查问题或用锤子解决问题的解决方案。

Answer 1

问题不在于Copy 函数。我在代码库中看到的 cmets 具有误导性。

引入新变量改变了异常位置的事实让我考虑了一些堆栈溢出问题。

确实为该任务分配的Storage_Size 是不够的。增加pragma Storage_Size(<value>) 解决了这个问题。

由于代码库是用-fstack-check编译的，这就导致了前面提到的STORAGE_ERROR。

更多信息on Adacore's documentation.

Gem #95: Dynamic Stack Analysis in GNAT 可能已经看到了这一点，但我目前无法看到其中建议的绑定选项的任何结果。