Question

我试图在记录中插入新元素。我在记录中设置了默认值，并查找了如何初始化记录，但编译器一直说，＆＃34;警告：此处不允许使用空值，＆＃34; ＆＃34;警告：＆＃39; Constraint_Error＆＃39;将在运行时提出。＆＃34;以下是我正在处理的块。

type employee;
type employeePtr is access employee;
type employee is
record
  id : Integer := 0;
  name : Unbounded_String := To_Unbounded_String("");
  departmentname : Unbounded_String := To_Unbounded_String("");
  jobtitle : Unbounded_String := To_Unbounded_String("");
  payrate : Unbounded_String := To_Unbounded_String("");
  next : employeePtr := null;
end record;

employeeList : employeePtr;

procedure insertNew(employeeid : Unbounded_String; employeename : Unbounded_String; department : Unbounded_String; title : Unbounded_String; rate : Unbounded_String) is
  currentEmployee : employeePtr;
  --tmp : employeePtr := employeePtr'(id => 0, name => "", departmentname => "", jobtitle => "", payrate => "");
  tmp : employeePtr;
  tmpSkp : employeePtr;
  eid : Integer;
  placeAtEnd : Integer;
begin
  eid := Integer'Value(To_String(employeeid));
  tmp.id := eid;
  tmp.name := employeename;
  tmp.departmentname := department;
  tmp.jobtitle := title;
  tmp.payrate := rate;

  if employeeList.id = 0 then
     employeeList := tmp;
  else
     placeAtEnd := 1;
     while currentEmployee.next /= null loop
        if currentEmployee.next.id > eid then
           tmpSkp := currentEmployee.next;
           tmp.next := tmpSkp;
           currentEmployee.next := tmp;
           placeAtEnd := 0;
           exit;
        else
           currentEmployee := currentEmployee.next;
        end if;
     end loop;
     if placeAtEnd = 1 then
        currentEmployee.next := tmp;
     end if;
  end if;
end insertNew;

在开始之后，我正在尝试设置tmp成员的值，这是我收到这些错误的地方。我是否错误地初始化了记录？是否有类似于Java的try / catch可以解决这个问题？

Answer 1

使用-gnatl进行编译（在包装器内部，因此行号被3关闭）给出了

21.       tmp : employeePtr;

所有访问变量都默认初始化为null。我已经写过了

          tmp : constant employeePtr := new employee;

（constant，因为你不会改变指针，只指它指向的东西。）

返回代码，

27.       tmp.id := eid;
          |
    >>> warning: null value not allowed here
    >>> warning: "Constraint_Error" will be raised at run time

因为Constraint_Error是通过空指针访问所需的运行时错误。

28.       tmp.name := employeename;
          |
    >>> warning: null value not allowed here
    >>> warning: "Constraint_Error" will be raised at run time

29.       tmp.departmentname := department;
          |
    >>> warning: "tmp" may be null

我认为编译器已经停止向重复警告添加细节。

30.       tmp.jobtitle := title;
31.       tmp.payrate := rate;

现在它已经停止了警告。

Answer 2

我不知道 new 是Ada中的东西，但那就是问题所在。与malloc类似，为了初始化记录的实例，您可以使用关键字 new ，就像在Java中一样。

Ada记录初始化：＆＃34; Constraint_Error＆＃34;

2 个答案: