这个似乎不太流行，不过还是觉得有价值。
- 先验条件补充了参数的要求，并过滤了非法参数，有文档作用
- 验证条件可以减少出错的几率，先验条件挡掉了参数错误
- 减少难以解释的错误的几率，基本排除不可预知的参数和组合错误
这个不能取代单元测试，反之亦然。
module Kernel
def assert_param x
raise Exception.new 'param error' if !x
end
def assert x
raise Exception.new 'error' if !x
end
end
def pl x
#先验条件, 可以注释掉对比下哪一个错误更容易理解
assert_param x.class == String
#
#main
p x.upcase
res = 1
#后验条件
assert res > 0
end
pl 1
pl 'x'
在大项目（时间长 代码量大 人员变动非常厉害）的项目下这种方法是否可能增加很多额外的工作量？它迫使程序员在不熟悉项目的情况下 1. 要做出契约 2. 要修改之前别人做的契约 否则难以做出变动。
Rei
#12
2013年05月05日
bhuztez
#16
2013年05月05日