Design By Contract(契约式设计)

最新推荐文章于 2021-03-25 09:48:10 发布

杨过悔

最新推荐文章于 2021-03-25 09:48:10 发布

阅读量3.3k

点赞数 1

分类专栏：程序设计风格

本文链接：https://blog.csdn.net/u013571243/article/details/47680429

版权

契约式设计由Bertrand Meyer在EL语言中提出，常见于测试驱动开发（TDD），它通过require和assume等设定代码约束。然而，由于在生产环境中难以灵活禁用检查，这种方式的应用逐渐减少。在考虑引入此设计风格时，需建立模块以便控制其开启与关闭。

摘要由CSDN通过智能技术生成

1.前提

这是Bertrand Meyer在EL语言中提出的一个设计风格,流行了近20年。不过现在比较少用,不是很流行了,主要原因在下面提出

2.什么是契约式设计

契约式设计就是按照某种规定对一些数据等做出约定,如果超出约定,程序将不再运行,例如要求输入的参数必须满足某种条件

在scala中常用require和assume等

class BankAccount(val balance: Double) {
	require(balance >= 0.0)
	def debit(amount: Double) = {
	require(amount > 0.0, "The debit amount must be > 0.0")
	assume(balance - amount > 0.0, "Overdrafts are not permitted")
	new BankAccount(balance - amount)
}
def credit(amount: Double) = {
	require(amount > 0.0, "The credit amount must be > 0.0")
	new BankAccount(balance + amount)
	}
}

3.目前在Test-Driven Development (TDD)用得比较多,很少带进主code中