scala中的require和assert

Scala中的require和assert是运行时检查工具,require用于验证方法/函数调用的前提条件,当条件不满足时,表示程序处于不一致状态。assert则用于指出调用者的问题。使用@require注解可以编译时移除assert,优化性能。在测试阶段启用所有require和assert,正式发布时可不包含,以提高效率。require常用于库中设定方法调用的先决条件。
摘要由CSDN通过智能技术生成

Scala中的require和assert

requireassert都用于在运行时执行某些检查来验证某些条件。

那么他们的差别是什么呢?

  • assert意味着你的程序已经达到了不一致的状态,这可能是目前的方法/函数的一个问题(我喜欢把它想成HTTP 500 InternalServerError)
  • require意味着方法的调用者有问题,应该修复它的调用(我喜欢把它看作HTTP 400 BadRequest)

assert@elidable(ASSERTION)注解,这意味着你可以使用-Xelide-ASSERTION-Xdisable-assertions来编译你的程序,编译器不会为这个断言生成字节码。如果你有大量的断言,这可以显着减少字节码的大小,并提高性能。

知道这一点,你可以使用assert来验证程序中的所有不变式(每个方法/函数调用的所有前提条件/后置条件),而不是在“正式”版本中付出代价。

通常情况下,“测试”版本都会启用所有的assert,这样会比较慢,因为它会随时验证所有的assert,然后可以在没有assert的情况下对“正式”版本进行编译。

require是不可取消的,它会在库(包括内部库)中使用,以通知调用者调用给定方法/函数的先决条件,例如,被

  • 1
    点赞
  • 2
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值