Ada：操纵私有类型

Question

我对 Ada 有点陌生，最近遇到一个我似乎不知道如何解决的错误。

我有以下代码：

data.ads

    with Text_IO; use text_io;
with ada.Integer_Text_IO; use ada.Integer_Text_IO;

package data is

type file is private;

   type file_set is array (Integer range <>) of file;
   procedure file_Print (T : in out file); --Not used

private
type file is record
      start, deadline : integer;
end record;

end data;

Main.adb

with ada.Integer_Text_IO; use ada.Integer_Text_IO;


procedure Main is

   Num_files: integer:=3; 
  
   Files:file_set(1..Num_files);
     
begin
   
Files(1):=(2,10); -- Expected private type "file" defined at data.ads

for i in 1..Num_Files loop
      
      Put(integer'Image(i));
      New_Line;
      data.File_Print(Files(i));

但我收到此错误 预期的私有类型“文件”定义在 data.ads 如何访问 file 类型并在 main 中声明一个新的值数组？

Answer 1

没错 - 您无法查看或操作私有类型中的内容。那将破坏封装。错误和安全风险随之而来。

您只能通过其方法与私有类型交互：在声明它的包中声明的函数和过程。

现在 file_set 不是私有类型（您可能会考虑稍后将其设为私有，以便更好地封装，但现在......）您可以对其进行索引以访问其中的文件（使用一个这些程序）。

Files(1):=(2,10);

既然要在这里创建一个文件，就需要一个创建文件的方法……有点像C++中的构造函数，但更像对象工厂设计模式。将此添加到包中：

   function new_file(start, deadline : integer) return file;

并在包体中实现：

package body data is

    function new_file(start, deadline : integer) return file is
    begin
       -- check these values are valid so we can guarantee a proper file
       -- I have NO idea what start, deadline mean, so write your own checks!
       -- also there are better ways, using preconditions in Ada-2012
       -- without writing explicit checks, but this illustrates the idea
       if deadline < NOW or start < 0 then 
          raise Program_Error;
       end if;
       return (start => start, deadline => deadline);
    end new_file;

    procedure file_Print (T : in out file) is ...

end package body;

这就给了你的包的用户写入权限

Files(1):= new_file(2,10);
Files(2):= new_file(start => 3, deadline => 15);

但是如果他们试图创建垃圾来利用您的系统

Files(3):= new_file(-99,-10);     -- Oh no you don't!

这是创建文件的唯一方法，因此他们无法绕过您的检查。

Ada：操纵私有类型

Ada: Manipulate a private type

ada