布尔类型、短路逻辑、运算符优先级、分支以及循环结构