之前为了学习函数式编程,看过SCIP和Little Scheme, 现在学习一下java 8的.
Java 8的最大变化是引入了Lambda表达式--一种紧凑的,传递行为的方式.
1. 第一个Lambda表达式
先看一个例子, 用匿名内部类将swing的行为和按钮相互关联.
button.addActionListener(new ActionListener() {
public void actionPerformed(ActionEvent event) {
System.out.println("button clicked");
}
});
设计匿名内部类的目的, 就是为了方便 Java 程序员将代码作为数据传递. 不过, 匿名内部类还是不够简便. 为了调用一行重要的逻辑代码, 不得不加上 4 行冗繁的样板代码. 并且 这些代码还相当难读, 因为它没有清楚地表达程序员的意图. 我们不想传入对象, 只想传入行为. 在Java 8中, 上述代码可以写成一个 Lambda 表达式.
button.addActionListener(event -> System.out.println("button clicked"));
和传入一个实现某接口的对象不同, 我们传入了一段代码块——一个没有名字的函数. event是参数名, 和上面匿名内部类示例中的是同一个参数. -> 将参数和 Lambda 表达式 的主体分开, 而主体是用户点击按钮时会运行的一些代码. 并且在 Lambda 表达式中无需指定参数event的类型, 因为 javac 根据程序的上下文会推断出event的类型.
2.Lambda表达式的不同形式
/**
* 没有参数
*/
Runnable noArguments = () -> System.out.println("Hello World");
/**
* 一个参数
*/
ActionListener oneArgument = event -> System.out.println("button clicked");
/**
* Lambda 表达式的主体不仅可以是一个表达式, 而且也可以是一段代码块
*/
Runnable multiStatement = () -> {
System.out.print("Hello");
System.out.println(" World");
};
/**
* 多个参数,不声明参数类型, 让编译器推测
*/
BinaryOperator add = (x, y) -> x + y;
/**
* 多个参数,显示声明参数类型
*/
BinaryOperator addExplicit = (Long x, Long y) -> x + y;
3.引用值而不是变量
如果你曾使用过匿名内部类, 也许遇到过这样的情况:需要引用它所在方法里的变量. 这时,需要将变量声明为 final, 如:
final String name = getUserName();
button.addActionListener(new ActionListener() {
public void actionPerformed(ActionEvent event) { System.out.println("hi " + name);
}});
Java 8虽然放松了这一限制,可以引用非final变量,但是该变量在既成事实上必须是 final. 虽然无需将变量声明为 final,但在 Lambda 表达式中,也无法用作非终态变量. 如果坚持用作非终态变量,编译器就会报错.
既成事实上的 final 是指只能给该变量赋值一次. 换句话说, Lambda 表达式引用的是值, 而不是变量. 如下代码中,name 就是一个既成事实上的 final 变量.
String name = getUserName();
button.addActionListener(event -> System.out.println("hi " + name));
如果你试图给该变量多次赋值,然后在 Lambda 表达式中引用它,编译器就会报错.比 如下面的代码,无法通过编译,并显示出错信息:local variables referenced from a Lambda expression must be final or effectively final.
String name = getUserName();
button.addActionListener(event -> System.out.println("hi " + name));
name = "ss";
这种行为也解释了为什么 Lambda 表达式也被称为闭包. 未赋值的变量与周边环境隔离起来, 进而被绑定到一个特定的值. 在众说纷纭的计算机编程语言圈子里, Java 是否拥有真正的闭包一直备受争议, 因为在 Java 中只能引用既成事实上的 final 变量. 名字虽异, 功能相同,Lambda 表达式都是静态类型的. 因此,接下来就分析一下 Lambda 表达式本身的类型:函数接口.
4.函数接口
在 Java 里, 所有方法参数都有固定的类型. 假设将数字 3 作为参数传给一个方法, 则参数的类型是 int. 那么,Lambda 表达式的类型又是什么呢?
Java 8中新增了一种函数接口, 用作 Lambda 表达式的类型.
那么什么是函数接口呢?
使用只有一个方法的接口来表示某特定方法并反复使用,是很早就有的习惯.使用 Swing编写过用户界面的人对这种方式都不陌生, 如:
public interface ActionListener extends EventListener {
public void actionPerformed(ActionEvent event);
}
ActionListener 只有一个抽象方法:actionPerformed, 被用来表示行为:接受一个参数, 返回空. 这就是函数接口.
使用 Java 编程, 总会遇到很多函数接口, 但 Java 开发工具包(JDK)提供的一组核心函数接口会频繁出现, 下面是最重要的函数接口.
接口 参数 返回类型 示例
Predicate T boolean 这张唱片已经发行了吗
Consumer T void 输出一个值
Function T R 获得 Artist 对象的名字
Supplier None T 工厂方法
UnaryOperator T T 逻辑非(!)
BinaryOperator (T, T) T 求两个数的乘积(*)
5.练习
public final static ThreadLocal formatter = ThreadLocal.withInitial(() -> new DateFormatter(new SimpleDateFormat("dd-MMM-yyyy")));