Ada 程式設計/庫/Ada.Containers.Indefinite_Holders

計算 » 計算機科學 » 計算機程式設計 » Ada 程式設計

---

此語言特性在 Ada 2012 中引入。

Ada.Containers.Indefinite_Holders 是 預定義語言環境 自 Ada 2012 以來的一部分。

規範

--                     Standard Ada library specification
--   Copyright (c) 2004-2016 AXE Consultants
--   Copyright (c) 2004, 2005, 2006 Ada-Europe
--   Copyright (c) 2000 The MITRE Corporation, Inc.
--   Copyright (c) 1992, 1993, 1994, 1995 Intermetrics, Inc.
--   SPDX-License-Identifier: BSD-3-Clause and LicenseRef-AdaReferenceManual
-- -------------------------------------------------------------------------

generic
   type Element_Type (<>) is private;
   with function "=" (Left, Right : Element_Type) return Boolean is <>;
package Ada.Containers.Indefinite_Holders is
   pragma Preelaborate(Indefinite_Holders);
   pragma Remote_Types(Indefinite_Holders);

   type Holder is tagged private;
   pragma Preelaborable_Initialization (Holder);

   Empty_Holder : constant Holder;

   function "=" (Left, Right : Holder) return Boolean;

   function To_Holder (New_Item : Element_Type) return Holder;

   function Is_Empty (Container : Holder) return Boolean;

   procedure Clear (Container : in out Holder);

   function Element (Container : Holder) return Element_Type;

   procedure Replace_Element (Container : in out Holder;
                              New_Item  : in     Element_Type);

   procedure Query_Element
  (Container : in Holder;
   Process   : not null access procedure (Element : in Element_Type));

   procedure Update_Element
  (Container : in out Holder;
   Process   : not null access procedure (Element : in out Element_Type));

   type Constant_Reference_Type
      (Element : not null access constant Element_Type) is private
   with Implicit_Dereference => Element;

   type Reference_Type (Element : not null access Element_Type) is private
   with Implicit_Dereference => Element;

   function Constant_Reference (Container : aliased in Holder)
   return Constant_Reference_Type;

   function Reference (Container : aliased in out Holder)
   return Reference_Type;

   procedure Assign (Target : in out Holder; Source : in Holder);

   function Copy (Source : Holder) return Holder;

   procedure Move (Target : in out Holder; Source : in out Holder);

private

    --  not specified by the language

end Ada.Containers.Indefinite_Holders;

另請參閱

華夏公益教科書

• Ada 程式設計/庫/Ada
• Ada 程式設計/庫/Ada.Containers

外部示例

• 在以下位置搜尋 Ada.Containers.Indefinite_Holders 的示例：Rosetta 程式碼，GitHub (gist)，任何 Alire 包 或 此華夏公益教科書。
• 在以下位置搜尋與 Ada.Containers.Indefinite_Holders 相關的帖子：Stack Overflow，comp.lang.ada 或 任何與 Ada 相關的頁面。

Ada 參考手冊

Ada 2012

• A.18.18: 泛型包 Containers.Indefinite_Holders ^[註釋]

開源實現

FSF GNAT

• 規範：a-coinho.ads
• 主體：a-coinho.adb

drake

• 規範：containers/a-coinho.ads
• 主體：containers/a-coinho.adb