Ada：瞭解私人類型和理解包裝

Question

我想了解如何在Ada中使用私人申明，並瞭解包裝。我儘量保持我的代碼儘可能短。

我們先從主文件rectangular_Form.ads

with Rectangular_Method_1; 
package Rectangular_Form renames Rectangular_Method_1; 
-- with Rectangular_Method_2; 
-- package Rectangular_Form renames Rectangular_Method_2; 

這就告訴我們，我們可以有實現，並且現在Rectangular_Method_1已被選定。

然後我們有規範文件Rectangular_Method_1.ads：

package Rectangular_Method_1 is 
    type Rectangular is private; 

    procedure Vector_Basis_r (A : in Long_Float; D : out Rectangular); 
    procedure Set_Horz (R : in out Rectangular; H : Long_Float); 
    function Get_Horz (R : Rectangular) return Long_Float; 

private 
    type Rectangular is 
     record 
      Horz, Vert: Long_Float; 
     end record; 
end Rectangular_Method_1; 

其車身Rectangular_Method_1.adb：

with Ada.Numerics.Long_Elementary_Functions; 
use Ada.Numerics.Long_Elementary_Functions; 

package body Rectangular_Method_1 is 
procedure Vector_Basis_r (A : in Long_Float; D : out Rectangular) is 
begin 
    D.Horz := Cos (A, Cycle => 360.0); 
    D.Vert := Sin (A, Cycle => 360.0); 
end Vector_Basis_r; 

procedure Set_Horz (R : in out Rectangular; H : Long_Float) is 
begin 
    R.Horz := H; 
end Set_Horz; 

function Get_Horz (R : Rectangular) return Long_Float is 
begin 
    return R.Horz; 
end Get_Horz; 

end Rectangular_Method_1; 

最後的測試腳本：test_rectangular_form.adb：

with Ada.Long_Float_Text_IO; 
with Ada.Text_IO; use Ada.Text_IO; 
with Rectangular_Form; 
use type Rectangular_Form.Rectangular; 

procedure Test_Rectangular_Form is 
Component_Horz, Component_Vert, Theta : Long_Float; 
Basis_r        : Rectangular_Form.Rectangular; 

begin 
    Ada.Text_IO.Put("Enter the angle "); 
    Ada.Long_Float_Text_IO.Get (Item => theta); 

    --Vector basis 
    Rectangular_Form.Vector_Basis_r (A => Theta, D => Basis_r); 
    Ada.Text_IO.New_Line; 

    Ada.Text_IO.Put("rhat_min_theta = "); 
    Ada.Long_Float_Text_IO.Put (Item => Rectangular_Form.Get_Horz (Basis_r), Fore => 3, Aft => 5, Exp => 0); 
    Ada.Text_IO.Put(" ihat + "); 
    Ada.Long_Float_Text_IO.Put (Item => Rectangular_Form.Get_Vert (Basis_r), Fore => 3, Aft => 5, Exp => 0); 
    Ada.Text_IO.Put (" jhat "); 
end Test_Rectangular_Form; 

問題（適用於test_rectangular_form.adb）：

我直接用

Rectangular_Form.Vector_Basis_r (A => Theta, D => Basis_r); 

，並通過只使用

Rectangular_Form.Get_Horz (Basis_r) 

和

Rectangular_Form.Get_Vert (Basis_r) 

這似乎稍後訪問水平和垂直分量越來越組件A.Horz和A.Vert好的，因爲我使用的方法Get_Horz和Get_Vert訪問私人矩形水平和垂直組件。但是我直接在命令行中讀取變量Theta使用

Rectangular_Form.Vector_Basis_r (A => Theta, D => Basis_r); 

如果因爲我已經定義了他們的矩形組件A.Horz和A.Vert是私有的，找到它的水平和垂直分量，爲什麼不要我了使用的方法和set_Horz(A)之前set_Vert(A)到發出命令

Rectangular_Form.Vector_Basis_r (A => Theta, D => Basis_r); 

PS：該功能爲省略了和Get_Vert以使代碼縮短。

非常感謝...

Answer 1

爲什麼我不必須使用方法set_Horz（A）和set_Vert（A）之前 來發出命令

因爲你通過設置您的私人記錄領域執行：

Rectangular_Form.Vector_Basis_r（A => Theta，D => Basis_r）;

（查看Vector_Basis_r的執行情況。）

- 擴大回答

當您Test_Rectangular_Form過程中聲明的變量Basis_r，對於 「矩形」 變量分配內存。此時，私有類型的Horz和Vert字段存在，但未設置（它們可以包含任何內容）。

當您調用Rectangular_Form.Vector_Basis_r時，其實現將設置這些私有字段的值。也許這是令你困惑的事情：聲明私有類型的包的主體可以直接訪問這些域。這正是Vector_Basis_r在設置它們的值（以及Set_Vert和Set_Horz）時所使用的方面。