作为结构化的编程语言
其中以顺序结构 分支结构 循环结构为主
但对于分支结构
一个程序中的绝大多数的分支判断为单一的条件判断
即目标对象是否满足某一特定条件
而一般对于false的结果是属于异常
例如在一个内存回收的代码中判断一个指针是否为Null就是属于该类型
编程语言应该直接的集成这种操作
将对象(变量或者是实例)的限制当作一种特殊情况来处理
有相对应的语法支持以此来降低开发时此类现象对开发效率的影响(包括代码的美观以及健壮性)