oop - Ada Finalization Adjust 程序 - 放在这里什么？

Question

给出以下声明:

   type Food_T is abstract tagged null record;
   type Food_Ptr is access all Food_T'Class;

   type Wrapper_T is new Ada.Finalization.Controlled with record
      Ptr : Food_Ptr;
   end record;

   procedure Adjust (Object : in out Wrapper_T) is
   begin
      null; -- what goes here ?
   end Adjust;

我想知道当我不知道 Object.ptr 将指向什么类型时(和来源和目的地在哪里!)。

如有任何帮助，我们将不胜感激。

谢谢，

新创建。

Answer 1

我想你的意思是:

procedure Adjust (Object : in out Wrapper_T) is
begin
   Object.Ptr := new Food_T'Class'(Object.Ptr.all);
end Adjust;

然后 Object.Ptr.all 的工作就是确保它确实是一个深拷贝，当然。(为此，Object.Ptr.all 的类型可能需要派生 Ada.Finalization.Controlled。为此，您可能需要将 Food_T 设为 interface，以便 Food_T 派生类型也可以派生自 Ada.Finalization。受控。)