Java函数式编程:二、高阶函数,闭包,函数组合以及柯里化
承接上文:Java函数式编程:一、函数式接口,lambda表达式和方法引用
这次来聊聊函数式编程中其他的几个比较重要的概念和技术,从而使得我们能更深刻的掌握Java中的函数式编程。
本篇博客主要聊聊以下几个问题
- 高阶函数
 - 闭包概念
 - 函数组合处理函数的使用
 - 柯里化以及部分求值
下面开始: 
1、高阶函数
高阶函数这里指的可不是数学里的那个,这里主要要从维度这个概念理解,什么叫高维?如果a是一维,那么生成a的存在就是高维。在这里,函数就是这个a,高阶函数指的就是能生成函数或是以函数为参数的函数
定义:高阶函数是一个能接受函数作为参数或能够把函数作为返回值的函数。
public interface Function{
    String str(String s);
}
public class Procudure{
    // 下面就是一个标准的高阶函数
    public Function(String s){
        return s -> s.upperCase();
    }
}
这里有两点:
- 我们可以通过继承
java.util.function中的接口,或是自定义一个函数式接口来为专门的接口创建别名 - 有了lambda表达式,很明显,我们很轻松就能创建并返回一个函数
 
但是这只是基本的,还记得函数式编程的意义吗?这里的关键在于,有时候,我们可以根据接受的函数,让高阶函数生成一个新的函数。
public class test {
    public static Function<String, String> transform(Function<String, String> f){
        return f.andThen(String::toUpperCase);
    }
    public static void main(String[] args) {
        Function<String, String> transform = test2.transform(str -> {
            return str.substring(0, 2);
        });
        String s = transform.apply("abcdefg");
        System.out.println(s);
    }
}
可以看到,这里我们通过andThen()这个Function接口的通用方法,连接了前后两个方法,并且使得无论我们输入了什么,都会将该字符串转化为全大写,后面我们输入了一个截取前两个字符作为返回值的方法,但很明显,这里可以有更多的选择,并且我们实际上也可以通过方法引用来引用某些定义好的函数,非常灵活。
2、闭包
什么是闭包?
考虑一个lambda表达式,它使用了其函数作用域之外的变量。当返回该函数时会发生什么呢?也即,当我们通过调用lambda表达式产生的匿名方法引用这些外部变量会发生什么呢?
如果一门语言能够解决这个问题,我们就认为该语言是支持闭包的,或者也可以说它支持词法作用域。
这里还涉及到一个术语:变量捕获
上面听起来是不是不明白,没关系,给个例子:
public class Example{
    IntSupplier plus(int x){
        int y = 1;
        return () -> x + y;
    }
}
考虑这个类和其中的方法plus(int x),你会不会发现有一些问题。
因为我们的plus(int x)方法返回的是一个函数,这里假设返回的函数是f(int x),也就是说,f(int x)返回时,plus(int x)已经执行结束,所以其中的变量int y = 1;已经脱离了作用域,那么等到我们获取了f(int x)的对象再调用到f(int x)方法时,这个y要怎么办呢?
你会发现,上面的这个方法是可以被编译执行成功的,但是下面的这个就不行:
public class Example{
    IntSupplier plus(int x){
        int y = 1;
        return () -> x + (++y);
    }
}
为什么呢?编译器提示:lambda 表达式中使用的变量应为 final 或有效 final
这句话就说的很明白了,对于第一个例子,我们的y虽然没final关键字,但它是事实上的final变量,一旦这里赋值就不会再改动,而对于第二个方法来说则相当于把y赋予了新的值。
这里如果我们使用的是引用,比如下面这个例子
public class Example{
    IntSupplier plus(int x){
        Queue<Integer> y = new LinkedList<>();
        y.offer(1);
        return () -> x + y.poll();
    }
}
注意,这里是可以通过编译的,因为实际上我们只需要保证这个引用所指向的对象不被修改,避免后面调用返回的函数时却突然发现找不到对应的对象即可。
所以,Java提供的闭包的条件是,我们必须要能够保证,被捕获的变量是final的。
不过要注意的是,这里如果是多线程情况的话,不能保证线程安全。
3、函数组合
之前我们有提到andThen()这个方法,这些方法在Java.util.function包中的各个函数式接口中各有提供,总的来说有这么几种:
andThen(arg)- 先执行原始操作,再执行参数操作
 
compose(arg)- 先执行参数操作,再执行原始操作
 
and(arg)- 对原始谓词和参数谓词做逻辑与运算
 
or(arg)- 对原始谓词和参数谓词做逻辑或运算
 
negate()- 所得谓词为原始谓词取反
 
在后面的流处理章节,你将会体会到这些函数组合的力量。
4、柯里化和部分求值
所谓柯里化,就是指将一个接受多个参数的函数转变为一系列,只接受一个参数的函数,在面向函数编程里这么做的目的,就跟我们在面向对象编程里需要抽象出接口和抽象类是一样的,目的就是我们可以通过部分求值来复用这些代码。
public class Currying{
    // 未柯里化的函数
    static String unCurried(String a,String b){
        return a + b;
    }
    // 柯里化的函数
    static Function<String, Function<String, String>> Curried(){
        return a -> b -> a + b;
    }
    // 实例
    public static void main(String[] args) {
        Function<String, Function<String, String>> curried = test2.Curried();
        System.out.println(unCurried("hello ", "World"));
        Function<String, String> firstWord = curried.apply("hello ");
        System.out.println(firstWord.apply("World"));
        System.out.println(firstWord.apply("My friend"));
        System.out.println(firstWord.apply("My love"));
    }
    /**
    	输出
        hello World
        hello World
        hello My friend
        hello My love
    **/
}
简单来说就是每一层都返回下一层的函数,直到最终返回我们需要的值为止。
Java函数式编程:二、高阶函数,闭包,函数组合以及柯里化的更多相关文章
- python 函数式编程:高阶函数,map/reduce
		
python 函数式编程:高阶函数,map/reduce #函数式编程 #函数式编程一个特点就是,允许把函数本身作为参数传入另一个函数,还允许返回一个函数 #(一)高阶函数 f=abs f print ...
 - Learning Python 012 函数式编程 1 高阶函数
		
Python 函数式编程 1 高阶函数 高阶函数 Q:什么是高阶函数? A:一个函数接收另一个函数作为参数,这种函数就称之为高阶函数. 简单举个例子: def add(x, y, f): return ...
 - Scala - 快速学习08 - 函数式编程:高阶函数
		
函数式编程的崛起 函数式编程中的“值不可变性”避免了对公共的可变状态进行同步访问控制的复杂问题,能够较好满足分布式并行编程的需求,适应大数据时代的到来. 函数是第一等公民 可以作为实参传递给另外一个函 ...
 - swift 学习(二)基础知识 (函数,闭包,ARC,柯里化,反射)
		
函数 func x(a:Int, b:Int) {} func x(a:Int, b:Int) -> Void {} func x(a:Int, b:Int) ->(Int,Int ...
 - 从bind函数看js中的柯里化
		
以下是百度百科对柯里化函数的解释:柯里化(Currying)是把接受多个参数的函数变换成接受一个单一参数(最初函数的第一个参数)的函数,并且返回接受余下的参数且返回结果的新函数的技术.概念太抽象,可能 ...
 - python_08    函数式编程、高阶函数、map、filter、reduce函数、内置函数
		
函数式编程 编程方法论: 1.面向过程 找到解决问题的入口,按照一个固定的流程去模拟解决问题的流程 (1).搜索目标,用户输入(配偶要求),按照要求到数据结构内检索合适的任务 (2)表白,表白成功进入 ...
 - Python3基础(3)集合、文件操作、字符转编码、函数、全局/局部变量、递归、函数式编程、高阶函数
		
---------------个人学习笔记--------------- ----------------本文作者吴疆-------------- ------点击此处链接至博客园原文------ 1 ...
 - 小白的Python之路 day3  函数式编程,高阶函数
		
函数式编程介绍 函数是Python内建支持的一种封装,我们通过把大段代码拆成函数,通过一层一层的函数调用,就可以把复杂任务分解成简单的任务,这种分解可以称之为面向过程的程序设计.函数就是面向过程的 ...
 - Python3学习之路~3.2 递归、函数式编程、高阶函数、匿名函数、嵌套函数
		
1 递归 在函数内部,可以调用其他函数.如果一个函数在内部调用自身本身,这个函数就是递归函数. def calc(n): print(n) if int(n / 2) == 0: return n r ...
 
随机推荐
- K8S中部署apisix(非ingress)
			
不使用pvc的方式在K8S中部署apisix-gateway 简介 因为公司项目准备重构,现在做技术储备,之前公司项目使用的ocelot做网关,ocelot是.net平台下的一个网关,也是很不错,但是 ...
 - 【NOI P模拟赛】混凝土粉末(整体二分)
			
题面 样例输入 5 8 1 1 4 2 2 3 1 2 3 3 1 2 5 1 2 3 3 2 5 2 2 1 2 2 1 3 样例输出 1 0 4 0 1 0 样例解释 题解 比这道题简单了不知多少 ...
 - python进阶__struct数据处理详解
			
一.此模块可以执行 Python 值和以 Python bytes 对象表示的 C 结构之间的转换 二.打包解包时,需要按照特定的方式来打包或者解包.该方式就是格式化字符串,它指定了数据类型,除此之外 ...
 - 轻量级消息队列 Django-Q 轻度体验
			
前言 最近做的这个项目(基于Django),需要做个功能,实现定时采集车辆定位. 这让我想起来几年前那个OneCat项目,当时我用的是Celery这个很重的组件 Celery实在是太重了,后来我做公众 ...
 - Html飞机大战(五):主角登场(英雄类编辑)
			
好家伙, 遇到了一些非常奇怪的bug index.html:179 Uncaught TypeError: Failed to execute 'drawImage' on 'CanvasRender ...
 - IDEA整合Docker
			
创建项目 1.使用 IDEA 构建一个 SpringBoot 项目 2.编写一个helloController @RestController public class HelloController ...
 - MySQL数据库如何线上修改表结构
			
一.MDL元数据锁 在修改表结构之前,先来看下可能存在的问题. 1.什么是MDL锁 MySQL有一个把锁,叫做MDL元数据锁,当对表修改的时候,会自动给表加上这把锁,也就是不需要自己显式使用. 当对表 ...
 - Android、iOS平台RTMP/RTSP播放器实时音量调节
			
介绍移动端RTMP.RTSP播放器实时音量调节之前,我们之前也写过,为什么windows播放端加这样的接口,windows端播放器在多窗口大屏显示的场景下尤其需要,尽管我们老早就有了实时静音接口,相对 ...
 - JavaWeb核心篇(3)——JSP,MVC,三层架构
			
JavaWeb核心篇(3)--JSP,MVC,三层架构 在本篇文章中我们会学习到JSP,MVC,三层架构 虽然JSP已经快被时代所淘汰,但是在一些老旧的工作场所还是有在使用,所以了解一下也不为过 至于 ...
 - 一篇文章带你掌握主流数据库框架——MyBatis
			
一篇文章带你掌握主流数据库框架--MyBatis MyBatis 是一款优秀的持久层框架,它支持自定义 SQL.存储过程以及高级映射. 在之前的文章中我们学习了MYSQL和JDBC,但是这些东西远远不 ...