小贝子编程

Java - 方法前置条件和后置条件强制



我的问题很短。编译器是否强制执行方法前置条件和后置条件？

No.Java没有像Ada那样明确支持合同设计的前置/后置条件。查看 Java 文档

看看 Java 契约，它有助于通过注释实现前置和后置条件以及不变量。但是据我所知，没有编译时检查，只有运行时。

相关内容

  • 没有找到相关文章

最新更新


热门标签：

javascript python java c# php android html jquery c++ css ios sql mysql arrays asp.net json python-3.x ruby-on-rails .net sql-server django objective-c excel regex ruby linux ajax iphone xml vba spring asp.net-mvc database wordpress string postgresql wpf windows xcode bash git oracle list vb.net multithreading eclipse algorithm macos powershell visual-studio image forms numpy scala function api selenium