python利用高阶函数实现剪枝函数