下面是一个示例代码，演示了如何在Ada和C++之间使用接口，并确保实例在被销毁时适当地释放资源。

首先，我们将在C++中创建一个简单的类，称为MyClass，它具有一个用于打印消息的成员函数。

// MyClass.hpp
#ifndef MYCLASS_HPP
#define MYCLASS_HPP

#include 

class MyClass {
public:
    MyClass() {
        std::cout << "MyClass constructor" << std::endl;
    }

    ~MyClass() {
        std::cout << "MyClass destructor" << std::endl;
    }

    void printMessage() {
        std::cout << "Hello from C++" << std::endl;
    }
};

#endif // MYCLASS_HPP

接下来，我们将在Ada中创建一个包装器，称为MyClass_Wrapper，它提供了与C++类的交互接口。

-- MyClass_Wrapper.ads
with Interfaces.C;
with Ada.Text_IO;

package MyClass_Wrapper is
   type MyClass_Wrapper_Type is new Interfaces.C.Pointers.Void_Ptr;
   
   procedure Print_Message (Object : MyClass_Wrapper_Type);
   -- 其他过程和函数声明
   
   procedure Finalize (Object : in out MyClass_Wrapper_Type);
   -- 在对象被销毁时调用的最终化函数声明
end MyClass_Wrapper;

-- MyClass_Wrapper.adb
with Interfaces.C;
with Ada.Text_IO;

package body MyClass_Wrapper is
   procedure Print_Message (Object : MyClass_Wrapper_Type) is
      procedure Free is new Ada.Unchecked_Deallocation
         (Item => MyClass_Wrapper_Type,
          Name => Interfaces.C.Free);
   begin
      declare
         Ptr : Interfaces.C.Ptr := Interfaces.C.Ptr (Object);
      begin
         MyClass.Print_Message (Ptr.all);
         Free (Object);
      end;
   end Print_Message;
   
   -- 其他过程和函数实现
   
   procedure Finalize (Object : in out MyClass_Wrapper_Type) is
      procedure Free is new Ada.Unchecked_Deallocation
         (Item => MyClass_Wrapper_Type,
          Name => Interfaces.C.Free);
   begin
      declare
         Ptr : Interfaces.C.Ptr := Interfaces.C.Ptr (Object);
      begin
         Ptr.all.MyClass.~MyClass;
         Free (Object);
      end;
   end Finalize;
end MyClass_Wrapper;

在上面的代码中，MyClass_Wrapper_Type是一个指向C++对象的空指针类型。Print_Message过程在C++对象上调用printMessage函数，并释放对象之前调用Free来释放内存。

Finalize过程在对象被销毁时被调用。它首先将指针转换为C++对象，然后调用C++对象的析构函数，最后释放内存。

最后，我们可以在Ada程序中使用MyClass_Wrapper包装器。

with MyClass_Wrapper;
with Interfaces.C;

procedure Main is
   Obj : MyClass_Wrapper.MyClass_Wrapper_Type;
begin
   Obj := Interfaces.C.New (MyClass_Wrapper.MyClass_Wrapper_Type'Object);
   
   MyClass_Wrapper.Print_Message (Obj);
   
   Interfaces.C.Free (Interfaces.C.Ptr (Obj));
end Main;

在上面的代码中，我们首先使用Interfaces.C.New函数为Obj分配内存。然后我们调用Print_Message过程传递对象。最后，我们使用Interfaces.C.Free释放内存。

当Main过程结束时，Obj将被销毁，并在销毁之前调用Finalize过程，从而确保C++对象的析构函数被正确调用。

这是一个简单的示例，演示了如何在Ada和C++之间使用接口，并在Ada对象被销毁时适当地释放资源。实际应用中，可能需要更复杂的实现，具体取决于需求和代码结构。