5.4 显式控制的求值器 ===========================