一般リンクリストのダミーノード

Question

リンクリストを作成しています。ここに私のコードは次のとおりです。

Linked_List.ads

generic 
    type T is private; 
package Linked_List is 
    type Node; 
    type NodeAccess is access Node; 
    type Node is record 
     Data : T; 
     Next : NodeAccess := null; 
    end record; 
    type List is record 
     Head : NodeAccess; 
     Has_Dummy_Head : Boolean; 
     Size : Integer; 
    end record; 
    type ListAccess is access List; 
    function Get_New_List(Has_Dummy_Head : Boolean) return ListAccess; 
private 
    function Get_New_Node(Data : T; Next : NodeAccess) return NodeAccess; 
end Linked_List; 

Linked_List.adb

package body Linked_List is 
    function Get_New_Node(Data : T; Next : NodeAccess) return NodeAccess is 
     New_Node : NodeAccess := new Node; 
    begin 
     New_Node.all := (Data => Data, Next => Next); 
     return New_Node; 
    end Get_New_Node; 
    function Get_New_List(Has_Dummy_Head : Boolean) return ListAccess is 
     New_List : ListAccess := new List; 
    begin 
     if Has_Dummy_Head = True then 
     New_List.all := (Head => Get_New_Node(Data => null, Next => null), Has_Dummy_Head => True, Size => 0); 
     else 
     New_List.all := (Head => null, Has_Dummy_Head => False, Size => 0); 
     end if; 
     return New_List; 
    end Get_New_List; 
end Linked_List; 

私はリストがダミーヘッドであるときにヘッドを追加する方法がわからない（Has_Dummy_Headが真であります）。 NodeのDataフィールドをnullに設定してみましたが、動作しません。私はあなたが

Head => new Node'(Data => <>, Next => null) 

代わりの

Head => Get_New_Node(Data => null, Next => null) 

（というかNull_Node定数またはそのようないくつかの定義された）を使用して試みることができるタイプのT.

Answer 1

のいくつかの値を取得する方法がわかりません。

しかし、一般的に値を持たないのは、パッケージの組織の欠陥を示す傾向があります。ダミーヘッドが本当に必要ですか？単純にHeadポインタをnullに設定しないのはなぜですか？パフォーマンス上の理由からダミーヘッドを使用すると、if Head /= null thenテストの数が減るかもしれませんが、すでに最適化のレベルにいるのですか？