12.7 短路求值