日历

July 2021
M T W T F S S
 1234
567891011
12131415161718
19202122232425
262728293031  

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星(很棒)