lambda表达式推导和使用