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