A在类的代码中，加入一些断言，不是定义契约，仅仅是测试B断言仅仅是一些逻辑表达式C断言不影响程序的执行D断言可以被评估，或者忽略