Ada 202x (47日目) - 1月15日の電子会議の結果 =========================================== .. post:: Jan 22, 2020 :tags: ada, ada_2022 `1月15日に行われた電子会議の議事録 `_\ が公開されました。 結果これまで書いたことに訂正が必要になりましたので47日目です。 'Reduce/'Parallel_Reduce属性の第3引数の削除 ------------------------------------------- 第3引数(Combiner)が取りやめになりました。 第3引数は結果の型同士を畳み込むサブプログラムを指定する引数でした。 それが削除されましたので畳み込む要素の型と結果の型が異なる場合には並列化できないということになります。 その代わりに ``parallel`` 付きのaggregate式が ``'Reduce`` 属性との組み合わせだけでなくどこでも使えるように一般化される、かもしれません。 そうなればユーザー定義型を通じて同じようなこともできますし応用範囲も広くなります。 そちらはまだ議論中です。 :doc:`10日目 `\ を修正しました。 System.Storage_Pools.Subpoolsへの変更 ------------------------------------- ``System.Storage_Pools.Subpools.Root_Storage_Pool_With_Subpools`` が ``Preelaborable_Initialization`` になりました。 ``Preelaborable_Initialization`` は動的な初期化を必要としない型です。 サブプール付きのストレージプールを ``Preelaborate`` パッケージの中でグローバル変数として配置できることになります。 このように規格の更新の度にどんどんと標準ライブラリは初期化が不要になっていっています。 (その分実装難易度は上がるわけです……。) :doc:`35日目 `\ に追記しました。 ユーザー定義リテラルのルール ---------------------------- 通常の関数呼び出し同様になりました。 .. container:: strike 大きい修正として、派生先で再定義可能になりました。 つまり上書き不可能(nonoverridable)ではなくなりました。 静的な型に従って解決され動的ディスパッチはされません。 :doc:`41日目 `\ を修正しました。 拡張return文で作成中の返値のチェック ------------------------------------ これまで拡張return文の返値オブジェクトのチェックは実際に関数を抜ける時に行われていました。つまり拡張return文の中では未チェックのオブジェクトが存在できてしまっていました。 各種チェックのタイミングが修正されます。 aliased引数のAccessibility_Check -------------------------------- これまでaliased引数の ``Accessibility_Check`` に際して生存期間はレキシカルにそのサブプログラムよりも1段広いものとして扱われていました。 対して匿名のaccess型の生存期間は実行時の実際のものが使われていました。 aliased引数の生存期間も実行時の実際のものが使われるようになります。 これによって自由度は増しました。 しかしですね、実際の生存期間を使ってチェックを行うには隠しパラメータとして渡されるしかないわけですよ。 これまで本当は匿名のaccess型にしたいけれども隠しパラメータを追加されたくない場合はaliased引数にするテクニックが使えていましたのに……。 隠しパラメータはABIに関わりますのでpragma ``Suppress`` でも使わなくなるだけで隠しパラメータの存在自体は消せません。 今後は隠しパラメータを追加されたくなければ名前付きaccess型と ``'Unchecked_Access`` を使うことになるのでしょうか。 genericの引数のStatic_Predicate -------------------------------- ``generic`` の仮引数と実引数のサブタイプ関係のチェックに ``Static_Predicate`` も含められます。 .. code-block:: ada subtype Nonzero_Float is Float with Static_Predicate => Nonzero_Float /= 0; generic type T is new Nonzero_Float; package G is end G; package Instance is new G (Float); -- error untagged型を派生した後からの"="の再定義 --------------------------------------- untagged型の ``"="`` 演算子について、派生を挟むと後からの再定義がエラーになります。 .. code-block:: ada declare type B is null record; type D is new B; overriding function "=" (Left, Right : B) return Boolean; -- error ``D`` の既定義の ``=`` は ``B`` の ``=`` を必要とします。 ``D`` の宣言時点では ``B`` の既定義の ``=`` が見えています。 後から実装を差し替えることはできないということですね。 tagged型についてはOKです。 untagged型の ``=`` の振る舞いをなるべくtagged型に近づけようとするAda 2012の変更で一度はOKになっていたものが再度禁止されました。 その他特記事項 -------------- Unify record syntaxに対する議論が再燃 +++++++++++++++++++++++++++++++++++++ 私が思っていたのと同じようなことを委員会の方々も思っていたようで議論が再燃しました。 メーリングリストでは中止派が圧倒的多数でしたが、ミーティング参加者による投票の結果現状維持つまりドラフト入りしたままとなりました。 一度ドラフト入りしたものを覆すのは難しいようです。 関連AI ------ - `AI12-0342-1`_ **Various issues with user-defined literals (part 2)** - `AI12-0343-1`_ **Return Statement Checks** - `AI12-0345-1`_ **Dynamic accessibility of explicitly aliased parameters** - `AI12-0348-1`_ **Remove Combiners from Reduction Expressions** - `AI12-0351-1`_ **Matching for actuals for formal derived types** - `AI12-0352-1`_ **Early derivation and equality of untagged types** - `AI12-0356-1`_ **Root_Storage_Pool_With_Subpools should have Preelaborable_Initialization** 次回会議 -------- 次回は6月に実際にスペインで行われるようです。 .. _`AI12-0342-1`: http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai12s/ai12-0342-1.txt .. _`AI12-0343-1`: http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai12s/ai12-0343-1.txt .. _`AI12-0345-1`: http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai12s/ai12-0345-1.txt .. _`AI12-0348-1`: http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai12s/ai12-0348-1.txt .. _`AI12-0351-1`: http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai12s/ai12-0351-1.txt .. _`AI12-0352-1`: http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai12s/ai12-0352-1.txt .. _`AI12-0356-1`: http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai12s/ai12-0356-1.txt