lambda表达式的类型检查