重构第25天 引入契约设计(Introduce Design By Contract checks)
2024-10-16 09:07:16
理解:本文中的”引入契约式设计”是指我们应该对应该对输入和输出进行验证,以确保系统不会出现我们所想象不到的异常和得不到我们想要的结果。
详解:契约式设计规定方法应该对输入和输出进行验证,这样你便可以保证你得到的数据是可以工作的,一切都是按预期进行的,如果不是按预期进行,异常或是错误就应该被返回,下面我们举的例子中,我们方法中的参数可能会值为null的情况,在这种情况下由于我们没有验证,NullReferenceException异常会报出。另外在方法的结尾处我们也没有保证会返回一个正确的decimal值给调用方法的对象。
重构前代码:
public class CashRegister
{
public decimal TotalOrder(IEnumerable<Product> products, Customer customer)
{
decimal orderTotal = products.Sum(product => product.Price); customer.Balance += orderTotal; return orderTotal;
}
}
首先我们处理不会有一个null值的customer对象,检查我们最少会有一个product对象。在返回订单总和之前先确保我们会返回一个有意义的值。如果上面说的检查有任何一个失败,我们就抛出对应的异常,并在异常里说明错误的详细信息,而不是直接抛出NullReferenceException。
重构后代码:
public class CashRegister
{
public decimal TotalOrder(IEnumerable<Product> products, Customer customer)
{
if (customer == null)
throw new ArgumentNullException("customer", "Customer cannot be null");
if (products.Count() == )
throw new ArgumentException("Must have at least one product to total", "products"); decimal orderTotal = products.Sum(product => product.Price); customer.Balance += orderTotal; if (orderTotal == )
throw new ArgumentOutOfRangeException("orderTotal", "Order Total should not be zero"); return orderTotal;
}
}
上面的代码中添加了额外的代码来进行验证,虽然看起来代码复杂度增加了,但我认为这是非常值得做的,因为当NullReferenceException发生时去追查异常的详细信息真是很令人讨厌的事情。这个重构建议大家经常使用,这会增强整个系统的稳定性和健壮性。
我们阅读微软源码的时候,会经常看到这样的代码。
最新文章
- ORA-00600: internal error code, arguments: [17281], [1001], [0x1FF863EE8], [], [], [], [], []
- spring 注解
- 玉渊潭赏樱花有感:从无到有写一个jQuery开源插件
- iframe自适应高度js
- File文件的Api的各种方法
- hihoCoder#1107 : Shortest Proper Prefix (前缀树)
- 在windows下添加php的Imagick扩展
- SIM卡
- HDU 4278 Faulty Odometer 8进制转10进制
- chroot 命令实例讲解
- MFC/VC CxImage 简单配置与使用 (完整版)
- A Game
- Volley网络框架完全解析(缓存篇)
- 图解安装Debian 9.5全过程
- ASP.NET网站报Service Unavailable错误的解决办法
- jquery代码修改input的value值,而页面上input框的值没有改变的解决办法
- Spring Cloud 服务的注册与发现(Eureka)
- 前端基础之http协议
- merge_关系
- Android 获取View中的组件