本文主要是介绍scala中的require和assert,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!
Scala中的require和assert
require
和assert
都用于在运行时执行某些检查来验证某些条件。
那么他们的差别是什么呢?
assert
意味着你的程序已经达到了不一致的状态,这可能是目前的方法/函数的一个问题(我喜欢把它想成HTTP 500 InternalServerError)require
意味着方法的调用者有问题,应该修复它的调用(我喜欢把它看作HTTP 400 BadRequest)
assert
用@elidable(ASSERTION)
注解,这意味着你可以使用-Xelide-ASSERTION
或-Xdisable-assertions
来编译你的程序,编译器不会为这个断言生成字节码。如果你有大量的断言,这可以显着减少字节码的大小,并提高性能。
知道这一点,你可以使用assert
来验证程序中的所有不变式(每个方法/函数调用的所有前提条件/后置条件),而不是在“正式”版本中付出代价。
通常情况下,“测试”版本都会启用所有的assert
,这样会比较慢,因为它会随时验证所有的assert
,然后可以在没有assert
的情况下对“正式”版本进行编译。
require
是不可取消的,它会在库(包括内部库)中使用,以通知调用者调用给定方法/函数的先决条件,例如,被
这篇关于scala中的require和assert的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!