只有一个入口;只有一个出口;结构内的每部分都有机会执行到;结构内不存在死循环