逻辑表达式的短路评估