日历

September 2020
M T W T F S S
 123456
78910111213
14151617181920
21222324252627
282930  

Reply To: DbC和TDD

Home Forums 《冒号课堂》讨论区 DbC和TDD Reply To: DbC和TDD

#1266
hui
Keymaster

虽然assertion中不能含有副作用的语句,但DbC中的precondition和postcondition之间是允许副作用的。当然不可否认,DbC的表达力的确是有局限的。

 请您评分1星(很差)2星(不行)3星(一般)4星(不错)5星(很棒)