监 window 口中不存在 Ada83 约束错误

Question

运行此代码时我正在查看约束错误。在调试器中，它在第二行停止(Menu_Text...)。我将作业右侧的代码放入监 window 口中，我发现没有问题。它的评估完全符合预期。

     for I in 1..This_Info_Ptr.Child_Menu_Length loop
        Menu_Text  := This_Info_Ptr.Child_Menu_Text_Ptr.all(I-1);
        Menu_State := This_Info_Ptr.Child_Menu_States_Ptr.all(I-1);
        ...

错误发生在 I 为 1 时。我已确认此代码在监 window 口中有效:

This_Info_Ptr.Child_Menu_Text_Ptr.all(I-1)

Child_Menu_Text_Ptr 和 Child_Menu_States_Ptr 指向数组(字符串和枚举)，

一般来说我应该如何调试这个？我看不出代码有什么问题。然而，我对 Ada 访问类型的熟悉程度有限。 ..._Ptr 变量是访问类型。

我正在使用 GNAT。

Answer 1

假设被索引的数组都具有相同的维度并具有相同的索引类型，则应使用 'first 和 'last 或'范围 属性。

长度值的手工编码控制可能存在错误。使用内置功能更安全、更可靠。