是否有可能在Ada中有一個子包作爲單獨的編譯單元

Question

我有一個正常的規格和正文文件的主包。我正在嘗試創建父包的子包，但希望它們位於單獨的編譯文件中。如果它只是一個包體，或者它是一個子程序/ proc/func，我可以很容易地完成它。但是，我無法讓它做出一個子規格文件。

我這樣做的原因是因爲我想讓孩子的信息可用於同一父母的其他孩子。我知道我可以通過在父級中包含spec部分來做到這一點，但是這使得我的父文件非常大。

這是可能的，還是我別無選擇，只能做另一個根單位？或者只是將所有規格都明智地留在父母身上？

我想：

父： package Child1 is separate;（也嘗試Parent.Child1但給了編譯錯誤

兒童

：

separate(Parent) 

package Parent.Child1 is 
.... 
end Parent.Child1; 

想法是不可能的

？

更新：我正在編譯Green Hills Multi Compiler。Ada95語言版本，非OO項目。

Answer 1

是的，這是完全沒問題的。你可以有你的父母和孩子包在單獨的文件：

parent.ads

package Parent is 
-- ... 
end Parent; 

parent-child.ads

package Parent.Child is 
-- ... 
end Parent.Child; 

parent-other.ads：

limited with Parent.Child; --Need Ada 2005 
package Parent.Other is 
-- ... 
end Parent.Other; 

parent.child包和parent.other包可以訪問parent中的定義（有一些限制）。

注意如何parent.other「with的」 parent.child，使其有權訪問parent.child的定義。

我有一個example它是如何做到的。此外，這是一個example from wikibooks。

Answer 2

注意到您使用的separate關鍵字我要冒昧地說你的問題是不是孩子的單位，但單位嵌套。

嘗試以下操作：

Testing.adb

With 
Ada.Text_IO, 
Parent; 

Procedure Testing is 
Begin 
    Ada.Text_IO.Put_Line("Starting Test:"); 

    Parent.Nested.Test_Procedure; 

    Ada.Text_IO.Put_Line("Testing complete."); 
End Test; 

Parent.ads

Package Parent is 

    Package Nested is 
     Procedure Test_Procedure; 
    End Nested; 

End Parent; 

Parent.adb

Package Body Parent is 

    Package Body Nested is separate; 

End Parent; 

Parent-Nested.adb

（注意：您可能需要使用的東西的文件名略有不同，我使用GNAT與「點更換」的默認設置）

with Ada.Text_IO; 

separate (Parent) 

package body Nested is 

    Procedure Test_Procedure is 
    Message : Constant string:= ASCII.HT & 
     "Hello from the separate, nested test-procedure."; 
    begin 
     Ada.Text_IO.Put_Line(Message); 
    end Test_Procedure; 

End Nested; 

---

你應該能夠編譯和輸出應該是三條線如下：

1. Starting Test:
2. Hello from the separate, nested test-procedure.
3. Testing complete.

---

這裏的問題就從嵌套和子包之間的差異有輕微的誤解造成的。兩者都使用相同的點分隔限定方法訪問：Parent。Nested和Parent。Child。

細微的區別在於，子包總是一個單獨編譯的單元（在GNAT中它們總是在不同的文件中，這是由於它們[不]實現庫的實現限制..但一些Ada編譯器可以將不同的compilation_units放入同一個文件中），但是嵌套包必須在編譯時纔會編譯它的封裝單元，除非它被專門標記爲separate。

---

爲了保持當前的嵌套結構，並仍然使用分離，你可以用下面的方法與單個輔助包裝持有該包所有的規格。

Parent.ads

Package Parent is 

    -- Here's the magic of renaming. --' 
    Package Nested renames Auxiliary.Delegate; 

End Parent; 

Auxiliary.ads

Package Auxiliary is 

    Package Delegate is 
     Procedure Test_Procedure; 
    End Delegate; 

End Auxiliary; 

Auxiliary.adb

package body Auxiliary is 

    Package Body Delegate is separate; 

end Auxiliary; 

Auxiliary-Delegate.adb

（注意：您可能需要使用的東西的文件名略有不同，我使用GNAT與「點更換」的默認設置。）

with Ada.Text_IO; 

separate (Auxiliary) 

package body Delegate is 

    Procedure Test_Procedure is 
    Message : Constant string:= ASCII.HT & 
     "Hello from the separate, nested test-procedure."; 
    begin 
     Ada.Text_IO.Put_Line(Message); 
    end Test_Procedure; 

End Delegate;