如何在 Ada 的动态谓词中处理未初始化的数据？

Jef*_*ter 5

我一直无法找到一种方便的方法来初始化 Nested_Space 而不会失败谓词定义的断言。如果我尝试先设置 Inner 的成员，Outer 的成员仍然在他们默认的地方。但是，如果我尝试先将成员设置为 Outer，则 Inner 的成员仍然在他们默认的位置。

ARM 3.2.4 (35/3)说，“Static_Predicate 与约束一样，对于子类型的所有对象始终保持 True，除非在未初始化的变量和其他无效值的情况下。另一方面，Dynamic_Predicate 是如上所述检查，但在其他时候可能变为 False。例如，在修改子组件时不检查记录子类型的谓词。您似乎在说没有遵循这一点，并且在您分配给记录组件时会检查记录谓词。如果是这样，那么您发现了编译器错误。聚合失败似乎支持了这个想法。

但是，除非您发布一个可编译的示例来演示您的问题，否则我们无法确定这是编译器错误。