0

1.断言实现DBC,不支持“老”值;

2.runtime和库的设计不支持DBC;

3.“谁负责检查前条件,调用者?还是被调用的例程?如果是作为语言的一部分实现的,答案是两者都不是。前条件是在调用者调用例程之后,但在进入例程之前,在幕后测试的。因而如果要对参数进行任何显式的检查,就必须由调用者来完成。因为例程永远也不会看到违反了前条件的参数。”
—— 这句话怎么感觉前后矛盾;

2016-08-27 提问
0 个回答

撰写答案

推广链接