Ada中能否捕获main前置条件的Assert_Failure异常？需调整位置？

• main过程自身挂载的前置条件触发的异常完全无法被main内部的异常处理逻辑捕获。
• 必须将带前置条件的逻辑迁移到独立子过程，再在main中调用该子过程，才能正常捕获前置条件触发的异常。

Ada的前置/后置条件类契约校验，触发时机严格在对应过程的可执行块入口之前：
你为main本身绑定的前置条件，校验动作发生在进入main的begin...end作用域之前。这时候异常抛出的执行上下文还没接入你写的异常处理分支，异常会直接沿着上层调用链向上抛，永远到不了main内部的exception块。
简单来说，这个校验动作的位置比你写的异常处理器的作用域更靠前，就像你在小区门口就被要求测温，你家玄关装的测温装置根本碰不到这个检查动作。

改造思路：将原main中承载的业务逻辑与前置条件一起移动到独立的子过程，main只负责调用子过程、绑定全局异常处理逻辑。

with
    ada.text_io,
    ada.command_line,
    ada.strings.bounded,
    system.assertions;

-- 独立子过程承载核心逻辑与前置条件
procedure core_logic with
    pre => (ada.command_line.argument_count > 2)
is
    package b_str is new
        ada.strings.bounded.generic_bounded_length (max => 255);
    use b_str;

    argument : bounded_string;
    i : integer := 1;
begin
    while i <= ada.command_line.argument_count loop
        argument := to_bounded_string(
            ada.command_line.argument(i)
        );

        ada.text_io.put_line("[" & i'image & "] "
            & to_string(argument)
        );

        i := i + 1;
    end loop;
end core_logic;

procedure main
is
begin
    core_logic;
exception
    when system.assertions.assert_failure =>
        ada.text_io.put_line("Failed precondition");
end main;

• 编译时需要开启断言校验开关（例如GNAT编译时添加-gnata参数），否则前置条件不会被实际校验执行，自然不会触发Assert_Failure异常。
• 不要尝试通过给main自身挂载前置条件来走内部异常捕获流程，这是Ada语言的执行顺序规则决定的，没有绕开的办法。

内容的提问来源于stack exchange，提问作者jacob