惰性函数定义