7.4.4 延迟求值