抑制Ada限制

Question

是否有可能在你的来源的某个特定的部分压制一种限制呢？例如，如果我在较高级别上定义了“务实限制(No_Dynamic_Priorities)”的使用，但希望在我知道自己所做的事情是安全的地方忽略此限制，那么是否有可能抑制此限制，使编译器不再抱怨？

Answer 1

您不能显式否定限制；唯一的方法是只对需要限制的程序单元应用限制(也就是说，不是“在高级”)。

限制在臂13.12中讨论，(8.1)说

限制可对构成分区的部分或所有单元施加要求。，除非对特定的限制另有规定，这样的要求适用于组成分区的所有单元，并通过编译后检查强制执行。

在您的特殊情况下，手臂D.7(9)表示No_Dynamic_Priorities

没有对包Dynamic_Priorities的语义依赖，也没有属性优先级的出现。

这并不会覆盖一般的需求，所以我不认为您想要做的事情是允许的。