NOSU 编程规范 一 防范式编程与Design by Contract 类分为internal 和 public。 对于internal类,使用最弱的逻辑验证,不使用防范式编程,但是要根据DbC进行严格的方法说明。 对于public类,进行最严格的防范式编程,保证进入内部类的数据完全按照DbC的要求。 通过2种方法结合,提高系统的性能和稳定性。