Ada 程式設計/庫/Interfaces.C.Pointers

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

---

此語言功能從 Ada 95 開始可用。

介面.C.指標 是自 Ada 95 以來 預定義語言環境 的一個單元。

規範

--                     Standard Ada library specification
--   Copyright (c) 2003-2018 Maxim Reznik <reznikmm@gmail.com>
--   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 Index is (<>);
   type Element is private;
   type Element_Array is array (Index range <>) of aliased Element;
   Default_Terminator : Element;
package Interfaces.C.Pointers is
   pragma Preelaborate (Pointers);

   type Pointer is access all Element;

   function Value (Ref        : in Pointer;
                   Terminator : in Element := Default_Terminator)
                  return Element_Array;

   function Value (Ref    : in Pointer;
                   Length : in ptrdiff_t)
                  return Element_Array;

   Pointer_Error : exception;

   --  C-style Pointer arithmetic

   function "+" (Left : in Pointer;   Right : in ptrdiff_t) return Pointer;
   function "+" (Left : in ptrdiff_t; Right : in Pointer)   return Pointer;
   function "-" (Left : in Pointer;   Right : in ptrdiff_t) return Pointer;
   function "-" (Left : in Pointer;   Right : in Pointer) return ptrdiff_t;

   procedure Increment (Ref : in out Pointer);
   procedure Decrement (Ref : in out Pointer);

   pragma Convention (Intrinsic, "+");
   pragma Convention (Intrinsic, "-");
   pragma Convention (Intrinsic, Increment);
   pragma Convention (Intrinsic, Decrement);

   function Virtual_Length (Ref        : in Pointer;
                            Terminator : in Element := Default_Terminator)
                           return ptrdiff_t;

   procedure Copy_Terminated_Array
     (Source     : in Pointer;
      Target     : in Pointer;
      Limit      : in ptrdiff_t := ptrdiff_t'Last;
      Terminator : in Element :=  Default_Terminator);

   procedure Copy_Array (Source  : in Pointer;
                         Target  : in Pointer;
                         Length  : in ptrdiff_t);

end Interfaces.C.Pointers;

另見

華夏公益教科書

• Ada 程式設計/庫/介面
• Ada 程式設計/庫/Interfaces.C

外部示例

• 在以下位置搜尋 Interfaces.C.Pointers 的 示例：Rosetta Code，GitHub (gists)，任何 Alire 包 或 本華夏公益教科書。
• 在以下位置搜尋與 Interfaces.C.Pointers 相關的 帖子：Stack Overflow，comp.lang.ada 或 任何與 Ada 相關的頁面。

Ada 參考手冊

Ada 95

• B.3.2：通用包 Interfaces.C.Pointers ^[註釋]

Ada 2005

• B.3.2：通用包 Interfaces.C.Pointers ^[註釋]

Ada 2012

• B.3.2：通用包 Interfaces.C.Pointers ^[註釋]

開源實現

FSF GNAT

• 規範：i-cpoint.ads
• 主體：i-cpoint.adb

drake

• 規範：interfaces/i-cpoint.ads
• 主體：interfaces/i-cpoint.adb