在程序设计中，需对某一个条件进行判断，如果条件满足某种要求则执行相应的分支，如果条件不满足则执行另外一个分支的结构称（）。