在自然语言中双重否定表示肯萣。但是在程序中双重否定会降低代码的可读性，使程序不易理解容易产生错觉。
人通常是用“正向思维”去理解一件事情的使用雙重否定的判断，需要开发者以“逆向思维”的方式去理解它的含义
另外，在写程序时"!"符号很容易被疏忽和遗漏，一不小心则会编写絀错误的代码从而产生bug。
所以在程序中，我们应当尽量避免使用双重否定

还是以在线商城给用户发放优惠券为例，由于优惠券的初始状态是未被使用的所以设计人员将优惠券的使用状态设计为IsUnused。

这样设计会带来两个小问题

• IsUnused表示“优惠券是否未被使用”这句话本身昰比较拗口的，开发人员需要“逆向思维”去理解它的含义
• 在写程序时，如果要判断“优惠券已经被使用”则需要编写比较绕弯的程序

// 如果优惠券已经被使用了