Ada语言有没有类似Java的checked exceptions的东西？
Is there something similar to Java's checked exceptions in Ada language?
Java 强制程序员显式指定方法引发的异常或为它们提供处理程序。 Ada语言有类似的东西吗？
Ada 没有例外合同。 ARG has considered it, and - so far - decided that it isn't worth the effort (AI12-0017-1).
我最近看到了一些案例，看起来值得付出努力。
SPARK（Ada 的可证明 subset/superset）完全防止异常，因此这是一个选项，但完全证明不存在所有异常并不总是可行的。
在 Ada 中执行此操作的唯一方法是编写一个工具来为您执行此操作，请参阅 ASIS 和 libadalang。
Java 强制程序员显式指定方法引发的异常或为它们提供处理程序。 Ada语言有类似的东西吗？
Ada 没有例外合同。 ARG has considered it, and - so far - decided that it isn't worth the effort (AI12-0017-1).
我最近看到了一些案例，看起来值得付出努力。
SPARK（Ada 的可证明 subset/superset）完全防止异常，因此这是一个选项，但完全证明不存在所有异常并不总是可行的。
在 Ada 中执行此操作的唯一方法是编写一个工具来为您执行此操作，请参阅 ASIS 和 libadalang。