Note that the tuned procedure does not fail if the precondition is not checked outside, since the check is repeated in the body of the procedure.

• 注意,已调优的过程就不会因为没有在外部检查先决条件而失败,因为过程体中会重复这个检查。