只有一个出口;结构内没有死循环;结构内的每一部分都有机会被执行;只有一个入口