Ada 202x (35日目) - 標準ライブラリ¶

標準ライブラリの変更を俯瞰します。

今回は一覧したいため目次を付けておきます。

変更があったもの ¶

全体的に Nonblocking や Global 、事前条件/事後条件、 Allows_Exit 等のアスペクトが追加されました。

またいくつかの型は 'Image 属性が返す文字列の書式も定められました。

Ada.Calendar.Time_Zones ¶

Time_Offset の符号の意味が定められました。日本のタイムゾーンをUTC+9と表記する時の符号と同じです。

Ada.Containers.*¶

標準コンテナは、同じコンテナオブジェクトでも異なるスレッドが異なる要素に同期なしにアクセスしても大丈夫と定められました。また Parallel_Iterator / Parallel_Reversible_Iterator がサポートされました。

aggregate式がサポートされました。

Iterator_View アスペクトが指定されcontainer element iterator(of 形式)のループが少し効率的になりました。そのために各コンテナに入れ子のパッケージ Stable が追加されています。

コンテナの要素型が終了処理を必要とする場合、実際に終了処理が行われるタイミングは実装依存と定められました。終了処理を行わないまま保持しておいて使い回すような実装も認めらた、というより Vectors を配列で実装した既存の実装は大体そんなものだった(わざわざ毎回placement new/delete的なことをしてない)のが追認されたことになります。

Ada.Directories ¶

Simple_Name と Containing_Directory にルートディレクトリを渡した場合の挙動が定められました。 Simple_Name が与えられたルートディレクトリをそのまま返し、Containing_Directory は Use_Error になります。

理由としてPOSIXコマンドの basename / が / になるからみたいに書かれてるのですけれども dirname / だって / になることにどなたも気付かれなかったのでしょうか……。あ、動作自体はこれでいいと思います。

Ada.Synchronous_Task_Control ¶

元々 Suspend_Until_True は同じオブジェクトを使って複数スレッドを同時に待たせることはできませんでした。複数スレッドが同じオブジェクトを引数にして同時に呼び出した場合 Program_Error になると明確に定められました。

Ada.Task_Identification ¶

Activation_Is_Complete に Null_Task_Id が渡された場合 Program_Error になると明確に定められました。

Shift_Left 、 Shift_Right 、Shift_Right_Arithmetic 、Rotate_Left 、Rotate_Right で各型のビット数を超えてシフト/ローテートした時の挙動が定められました。 Shift_Left と Shift_Right は 0 になります。 Shift_Right_Arithmetic は全ビットが符号ビットと同じになります。 Rotate_Left と Rotate_Right はどれだけ大きなローテート幅が渡されても指定分ローテートします。

単純にCPUのシフト/ローテート命令を使っただけでは、型のビット数を超えたシフト/ローテートの挙動はCPUによってまちまちでした。

System.Storage_Pools ¶

Pure になりました。 Subpools は Preelaborate のままです。

System.Storage_Pools.Subpools ¶

終了処理の順番が定められました。割り当てられたオブジェクトの終了処理をメモリ解放よりも先に行います。

Root_Storage_Pool_With_Subpools が Preelaborable_Initialization になりました。

新しく追加されたライブラリ ¶

翻訳単位ごと追加されたものです。

Ada.Containers.Bounded_Indefinite_Holders ¶

Indefinite_Holders の更にBounded版です。追加の動的割り当てなしで固定サイズの領域に可変サイズの値を入れるためのコンテナです。 generic の引数として指定した Max_Element_Size_in_Storage_Elements を超える場合は Program_Error になります。

http://www.ada-auth.org/standards/2xrm/html/RM-A-18-32.html