我们可以指定契约验证，可在编译时(静态)或在运行时(动态)执行校验。

Contract validation can be specified to be executed statically at build time or dynamically at runtime.

youdao

我们可以指定契约验证，可在编译时(静态)或在运行时(动态)执行校验。

Contract validation can be specified to be executed statically at build time or dynamically at runtime.

youdao