3.5.3 短路计算和强制类型转换