変数を読み込み専用にする方法はありますが、定数にすることはできません。

Question

変数への読み取り専用アクセスを提供することは、抽象化によって（もちろん）達成することができます。たとえば、変数をのの呼び出し可能なエンティティのモードパラメータまたはジェネリックにすることができます。これらの定数ビューによる変数の使用は、呼び出し可能なインスタンスまたは汎用インスタンスに限定されます。

この構造は既存のプログラムに追加するのは容易ではないと私は思う。プログラムは既に構造化されているからだ。また、それは "読み取り専用"と構造の間の結合を必要とするため、独立した解決策ではありません。

別のオプションは、変数をprivateにして、その値を返す関数をエクスポートすることです。しかし、私は直接露出を望んでいました。 揮発性の定数であり、まだ異なる視点からの変数です。

私はオーバーレイを思い付いた：

with Interfaces; 

package Read_Only is 
    subtype Pins is Interfaces.Unsigned_16; 

    V : constant Pins with Volatile, Import; 

private 
    Backing : Pins with Volatile; 
    for V'Address use Backing'Address; 
    procedure Reset; 
end Read_Only; 

これはVので、パッケージ本体のみ（と子供を）シールドパッケージのクライアントがVを読むことができますが、その値を変更することができます。しかし、このすべてを側面と住所の後ろに隠していると私は考えています。

編集：@ flyxさんのコメントで思い出しは、constantが表示されますパッケージの公開部分のリーダーとはよくVが物理的に定されていること、それはvolatileであること、ないと思うことがあります。さらに、私はののオブジェクトのような文字をVとし、それ以外の部分はRead_Onlyから変更することはできません。 Vここでは実際には定数オブジェクトではありませんが、その宣言ではそうです。私は、機能の不測の事態を招くことなく、認識可能な揮発性のオブジェクト、または何らかのオブジェクトの定数ビューを宣言したいと思います。

Answer 1

私のアドバイスは次のようになり、簡単な関数とプライベート変数を使用します。

with Interfaces; 

package Read_Only is 
    subtype Pins is Interfaces.Unsigned_16; 

    function V return Pins; 

private 
    Backing : Pins; 
    function V return Pins is (Backing); 
end Read_Only; 

エイダの呼び出し規約をオブジェクトがとにかく最も効率的な方法で返されることを保証します。

また、式関数として実装することで、呼び出しのインライン化が確実に行われます。

function V return Pins with Inline_Always; 

その場合的にので、呼び出しは常に、アクセス変数にインライン化されています。また、あなたが直接露出して、最適化なしでコンパイルしても、すべての状況で無い呼出しを、必要な場合Inline_Always側面を使用することができます直接的なアクセスと厳密に等価です。

編集：申し訳ありませんが、私はちょうどあなたが機能を望んでいないことを見ました。上記を踏まえて、私はなぜか分からない。もっと正確な理由を教えてください。

Answer 2

興味深い質問です。

変数への読み取り専用アクセスを提供することは、抽象化によって（もちろん）達成することができます。たとえば、変数を呼び出し可能なエンティティのモードパラメータまたはジェネリックのパラメータにすることができます。これらの定数ビューによる変数の使用は、呼び出し可能なインスタンスまたは汎用インスタンスに限定されます。

この構造は既存のプログラムに追加するのは容易ではないと私は思う。プログラムは既に構造化されているからだ。また、それは "読み取り専用"と構造の間の結合を必要とするため、独立した解決策ではありません。

私はジェネリックのだろういかに難しいかわからないんだけど、あなたはジェネリック医薬品の使用を再考ために喜んでいる場合、私はあなたがこれを行うことができると思う：

Generic 
    Type Alpha(<>) is private; 
Package Constant_Access is 
    Type Beta is access constant Alpha; 
    Subtype Gamma is not null Beta; 

    Generic 
     Item_Access : in Gamma; 
    Package Access_Accessor is 
     Item : Constant Alpha renames Item_Access.all; 
     Pragma Volatile(Item); 
    End Access_Accessor; 

End Constant_Access; 

次に、あなたがする必要がある場合インスタンスのみを表示するには、Constant_Accessのインスタンス化でAccess_Accessorのインスタンシエーションを使用します。そのインスタンス化の直後に、インスタンス化のItemの名前を、非表示または定数に変更します。

はい、これは少し厄介ですが、それははあなたが必要なプロパティが守られていることを確認しない（おそらく揮発性であること、すなわち。）であっても重い最適化の顔に。

---

編集：

With 
System.Address_To_Access_Conversions; 

Generic 
    Type Alpha(<>) is private; 
Package Constant_Access with Preelaborate is 

    Package Conversions is new System.Address_To_Access_Conversions(Alpha); 
    Use Conversions, System; 

    ----------------------- 
    -- Type Declarations -- 
    ----------------------- 
    Type Beta is access constant Alpha; 
    Subtype Gamma is not null Beta; 
    Type Epsilon(G : Not Null Access Constant Alpha) is null record 
     with Implicit_Dereference => G, Volatile; 
    -- NOTE: You could excise Beta and Gamma, they are included for flexibility. 

    -------------------------- 
    -- Conversion Functions -- 
    -------------------------- 

    Function "+"(Right : Aliased Alpha) return Gamma is 
     (Right'Access); 
    Function "+"(Right : Gamma) return Alpha is 
     (Right.All); 
    Function "+"(Right : Gamma) return Epsilon is 
     (G => Right.All'Access); 
    Function "+"(Right : Epsilon) return Gamma is 
     (Right.G); 
    Function "+"(Right : Aliased Alpha) return Epsilon is 
     (G => Right'Access); 
    Function "+"(Right : Epsilon) return Alpha is 
     (Right.G.All); -- Not actually needed due to implicit dereferencing. 
    Function "+"(Right : Not Null Access Constant Alpha) return Address is 
     (Right.All'Address); 
    Function "+"(Right : Address) return Alpha is 
     (To_Pointer(Right).All); 
    Function "+"(Right : Epsilon) return Address is 
     (+Right.G); 
    Function "+"(Right : Address) return Epsilon is 
     (G => +To_Pointer(Right).All);  

    ----------------------- 
    -- Accessor Generics -- 
    ----------------------- 
    Generic 
     Item_Access : in Gamma; 
    Package Access_Accessor is 
     Item : Epsilon(Item_Access) 
      with Volatile; 
    End Access_Accessor; 

    Generic 
     Item_Address : in System.Address; 
    Package Address_Accessor is 
     Item : Epsilon := +Item_Address 
      with Volatile; 
    End Address_Accessor; 

End Constant_Access;