Java Lambda表示式

三分惡發表於2020-07-17

    原文作者:Jakob Jenkov     原文連結:http://tutorials.jenkov.com/java/lambda-expressions.html

@



Java Lambda表示式是Java8中的新特性。Java lambda表示式是Java進入函數語言程式設計的第一步。因此,Java lambda表示式是可以單獨建立的函式,而無需屬於任何類。Java lambda 表示式可以像物件一樣傳遞並按需執行。

Java lambda表示式通常用於實現簡單的事件監聽/回撥,或在Java Streams API 函數語言程式設計時使用。


Java Lambdas和函式式介面

函數語言程式設計通常用於實現事件偵聽器。Java中的事件監聽器通常被定義為具有一個抽象方法的Java介面。

這是一個模擬的單個抽象方法介面示例:

public interface StateChangeListener {
	public void onStateChange(State oldState, State newState);
}

這個Java介面定義了一個抽象方法,只要狀態發生變化(無論觀察到什麼),都將呼叫該方法。

在Java 7中,你必須實現此介面才能監聽狀態的更改。假設你有一個名為StateOwner的類,可以註冊狀態監聽器。示例如下:

public class StateOwner {
  public void addStateLister(StateChangeListener stateChangeListener) {
   //do some thing
 };
}

在Java 7中,你可以使用匿名介面實現新增監聽器,如下所示:

		StateOwner stateOwner = new StateOwner();
		stateOwner.addStateLister(new StateChangeListener() {
			@Override
			public void onStateChange(State oldState, State newState) {
				System.out.println("State changed");
			}
		});

在Java 8中你可以使用Lambda表示式來新增監聽器,如下:

		StateOwner stateOwner = new StateOwner();
		stateOwner.addStateLister(
			(oldState, newState) -> System.out.println("State change")
		);

這一部分是Lambda表示式:

(oldState, newState) -> System.out.println("State changed")

lambda表示式與addStateListener()方法的引數的引數型別匹配。如果lambda表示式與引數型別(在本例中為StateChangeListener介面)匹配,則將lambda表示式轉換為實現與該引數相同的介面的函式。

Java lambda表示式只能在它們匹配的型別是單個方法介面的地方使用。

在上面的示例中,lambda表示式作為引數,其中引數型別為StateChangeListener介面。該介面只有一個抽象方法。因此,lambda表示式成功匹配該介面。


將Lambda匹配到介面

單個抽象方法介面有時也稱為函式式介面。將Java lambda表示式與函式式介面進行匹配需要以下步驟:

  • 介面是否只有一個抽象方法?
  • lambda表示式的引數是否與抽象方法的引數匹配?
  • lambda表示式的返回型別是否與抽象方法的返回型別匹配?

如果這三個條件都滿足,則該介面可以匹配給定的lambda表示式。


具有預設方法和靜態方法的介面

從Java 8開始,Java介面可以包含預設方法和靜態方法。預設方法和靜態方法都可以在介面中直接實現。這意味著,Java lambda表示式可以使用多種方法實現介面——只要該介面僅有一個抽象方法即可。

可以使用lambda表示式實現以下介面:

import java.io.IOException;
import java.io.OutputStream;

public interface MyInterface {

    void printIt(String text);

    default public void printUtf8To(String text, OutputStream outputStream){
        try {
            outputStream.write(text.getBytes("UTF-8"));
        } catch (IOException e) {
            throw new RuntimeException("Error writing String as UTF-8 to OutputStream", e);
        }
    }

    static void printItToSystemOut(String text){
        System.out.println(text);
    }
}

即使此介面包含3個方法,也可以通過lambda表示式實現,因為只有一個抽象方法。

實現如下:

MyInterface myInterface = (String text) -> {
    System.out.print(text);
};

Lambda表示式 vs 匿名介面實現

即使lambda表示式接近匿名介面實現,但也有一些區別需要注意。

最主要的區別,匿名介面實現可以具有狀態(成員變數),而lambda表示式則不能。

看一下下面這個介面:

public interface MyEventConsumer {

    public void consume(Object event);

}

可以使用匿名介面實現方式來實現此介面,如下所示:

MyEventConsumer consumer = new MyEventConsumer() {
    public void consume(Object event){
        System.out.println(event.toString() + " consumed");
    }
};

此匿名MyEventConsumer實現可以具有自己的內部狀態。

重寫匿名介面實現:

MyEventConsumer myEventConsumer = new MyEventConsumer() {
    private int eventCount = 0;
    public void consume(Object event) {
        System.out.println(event.toString() + " consumed " + this.eventCount++ + " times.");
    }
};

請注意,匿名MyEventConsumer介面實現現在具有一個名為eventCount的屬性。

Lambda表示式不能具有此類屬性。因此,lambda表示式是無狀態的。


Lambda型別推斷

在Java 8之前,在進行匿名介面實現時,必須指定要實現的介面。這是本文開頭的匿名介面實現示例:

stateOwner.addStateListener(new StateChangeListener() {

    public void onStateChange(State oldState, State newState) {
        // do something with the old and new state.
    }
});

使用lambda表示式時,通常可以從相關的程式碼中推斷出型別。例如,可以從addStateListener()方法(StateChangeListener介面上的抽象方法)的方法宣告中推斷引數的介面型別。

這稱為型別推斷。編譯器通過在其他地方尋找型別來推斷引數的型別——在這種情況下為方法定義。這是本文開頭的示例,lambda表示式中並未宣告引數的型別:

stateOwner.addStateListener(
    (oldState, newState) -> System.out.println("State changed")
);

在lambda表示式中,通常可以推斷引數型別。在上面的示例中,編譯器可以從onStateChange()方法宣告中推斷其型別。因此,從onStateChange()方法的方法宣告中就可以推斷出引數 oldState 和 newState 的型別。


Lambda引數

由於Java lambda表示式實際上只是方法,因此lambda表示式可以像方法一樣接受引數。前面顯示的lambda表示式的(oldState,newState)部分指定lambda表示式使用的引數。這些引數必須與函式式介面的抽象方法引數匹配。在當前這個示例,引數必須與StateChangeListener介面的onStateChange()方法的引數匹配:

public void onStateChange(State oldState, State newState);

首先,lambda表示式中的引數數量必須與方法匹配。

其次,如果你在lambda表示式中指定了任何引數型別,則這些型別也必須匹配。我還沒有向你演示如何在lambda表示式引數上設定型別(本文稍後展示),但是在大多數情況下,你不會用到它。


無引數

如果lambda表示式匹配的方法無引數,則可以這樣寫lambda表示式:

() -> System.out.println("Zero parameter lambda");

請注意,括號中沒有內容。那就是表示lambda不帶任何引數。


一個引數

如果Java lambda表示式匹配的方法有一個引數,則可以這樣寫lambda表示式:

(param) -> System.out.println("One parameter: " + param);

請注意,引數在括號內列出。

當lambda表示式是單個引數時,也可以省略括號,如下所示:

 param -> System.out.println("One parameter: " + param);

多個引數

如果Java lambda表示式匹配的方法有多個引數,則需要在括號內列出這些引數。程式碼如下:

(p1, p2) -> System.out.println("Multiple parameters: " + p1 + ", " + p2);

僅當方法是單個引數時,才可以省略括號。


指定引數型別

如果編譯器無法從lambda匹配的函式式介面抽象方法推斷引數型別,則有時可能需要為lambda表示式指定引數型別。不用擔心,編譯器會在這種情況下會有提醒。這是一個Java lambda指定引數型別示例:

(Car car) -> System.out.println("The car is: " + car.getName());

如你所見,car引數的型別(Car)寫在引數名稱的前面,就像在其他方法中宣告引數或對介面進行匿名實現時一樣。


Java 11中的var引數型別

在Java 11中,你可以使用var關鍵字作為引數型別。

var關鍵字在Java 10中作為區域性變數型別推斷引入。從Java 11開始,var也可以用於lambda引數型別。這是在lambda表示式中使用Java var關鍵字作為引數型別的示例:

Function<String, String> toLowerCase = (var input) -> input.toLowerCase();

Lambda表示式主體

lambda表示式的主體以及它表示的函式/方法的主體在lambda宣告中的->的右側指定:

這是一個示例:

 (oldState, newState) -> System.out.println("State changed")

如果你的lambda表示式需要包含多行,則可以將lambda函式主體括在{}括號內,Java在其他地方宣告方法時也需要將其括起來。這是一個例子:

 (oldState, newState) -> {
    System.out.println("Old state: " + oldState);
    System.out.println("New state: " + newState);
  }

Lambda表示式返回值

你可以從Java lambda表示式返回值,就像從方法中返回值一樣。你只需向lambda表示式主體新增一個return,如下所示:

 (param) -> {
    System.out.println("param: " + param);
    return "return value";
  }

如果你的lambda表示式只需要計算一個返回值並將其返回,則可以用更短的方式指定返回值。例如這個:

 (a1, a2) -> { return a1 > a2; }

你可以寫成:

 (a1, a2) -> a1 > a2;

然後,編譯器會斷定表示式 a1> a2 是lambda表示式的返回值。


Lambdas作為物件

Java lambda表示式本質上是一個物件。你可以將變數指向lambda表示式並傳遞,就像處理其他任何物件一樣。這是一個例子:

public interface MyComparator {

    public boolean compare(int a1, int a2);

}
MyComparator myComparator = (a1, a2) -> return a1 > a2;

boolean result = myComparator.compare(2, 5);

第一個程式碼塊顯示了lambda表示式實現的介面。

第二個程式碼塊顯示了lambda表示式的定義,lambda表示式如何分配給變數,以及最後如何通過呼叫其實現的介面方法來呼叫lambda表示式。


變數捕獲

在某些情況下,Java lambda表示式能夠訪問在lambda表示式主體外部宣告的變數。

Java lambdas可以捕獲以下型別的變數:

  • 區域性變數
  • 例項變數
  • 靜態變數

這些變數捕獲的每一個將在以下各節中進行描述。


區域性變數捕獲

Java lambda可以捕獲在lambda主體外部宣告的區域性變數的值。為了說明這一點,首先看一下這個函式式介面:

public interface MyFactory {
    public String create(char[] chars);
}

現在,看一下實現MyFactory介面的lambda表示式:

MyFactory myFactory = (chars) -> {
    return new String(chars);
};

現在,此lambda表示式僅引用傳遞給它的引數值(chars)。但是我們可以改變一下。這是引用在lambda函式主體外部宣告的String變數的更新版本:

String myString = "Test";

MyFactory myFactory = (chars) -> {
    return myString + ":" + new String(chars);
};

如你所見,lambda表示式主體現在引用了在lambda表示式主體外部宣告的區域性變數myString。當且僅當被引用的變數是“有效只讀(如果一個區域性變數在初始化後從未被修改過,那麼它就是有效只讀)”時才有可能,這意味著在賦值之後它不會改變其值。如果myString變數的值稍後更改,則編譯器將抱怨從lambda主體內部對其的引用。


例項變數捕獲

Lambda表示式還可以捕獲建立Lambda的物件中的例項變數。這是示例:

public class EventConsumerImpl {

    private String name = "MyConsumer";

    public void attach(MyEventProducer eventProducer){
        eventProducer.listen(e -> {
            System.out.println(this.name);
        });
    }
}

注意lambda表示式主體中對this.name的引用。這將捕獲封閉的EventConsumerImpl物件的 name 例項變數。甚至可以在捕獲例項變數後更改其值——該值將反映在lambda內部。

this語義實際上是Java lambda與介面的匿名實現不同的地方之一。匿名介面實現可以有自己的例項變數,這些例項變數可以通過this進行引用。但是,lambda不能擁有自己的例項變數,因此它始終指向封閉的物件。

注意:EventConsumer的設計不是很優雅。我只是這樣寫來說明例項變數捕獲。


靜態變數捕獲

Java lambda表示式還可以捕獲靜態變數。

因為只要可以訪問靜態變數(包作用域或public作用域),Java應用程式中的任何地方都可以訪問靜態變數。

這是一個建立lambda表示式的示例類,該lambda表示式從lambda表示式主體內部引用靜態變數:

public class EventConsumerImpl {
    private static String someStaticVar = "Some text";

    public void attach(MyEventProducer eventProducer){
        eventProducer.listen(e -> {
            System.out.println(someStaticVar);
        });
    }
}

lambda捕獲到靜態變數後,它的值也可以更改。

同樣,上述類設計不太合理。不要對此考慮太多。該類主要用於向你顯示lambda表示式可以訪問靜態變數。


Lambda方法引用

如果你的lambda表示式所做的只是用傳遞給lambda的引數呼叫另一個方法,則Java lambda實現提供了更簡潔的方式表示該方法呼叫。

首先,這是一個函式式介面:

public interface MyPrinter{
    public void print(String s);
}

以下是建立實現MyPrinter介面的Java lambda表示式的示例:

MyPrinter myPrinter = (s) -> { System.out.println(s); };

由於lambda主體僅由一個語句組成,因此我們實際上可以省略括號{}。另外,由於lambda方法只有一個引數,因此我們可以省略該引數周圍的括號()。更改之後的lambda表示式:

MyPrinter myPrinter = s -> System.out.println(s);

由於所有lambda主體所做的工作都是將字串引數轉發給System.out.println()方法,因此我們可以將上述lambda宣告替換為方法引用。以下是lambda表示式引用方法的例項:

MyPrinter myPrinter = System.out::println;

注意雙冒號::。它會向Java編譯器發出訊號,這是方法引用。引用的方法是雙冒號之後的內容。擁有被引用方法的任何類或物件都在雙冒號之前。

你可以引用以下型別的方法:

  • 靜態方法
  • 引數物件的例項方法
  • 例項方法
  • 構造方法

以下各節介紹了每種型別的方法引用。


靜態方法引用

最容易引用的方法是靜態方法。

首先是函式式介面的示例:

public interface Finder {
    public int find(String s1, String s2);
}

這是一個靜態方法:

public class MyClass{
    public static int doFind(String s1, String s2){
        return s1.lastIndexOf(s2);
    }
}

最後是引用靜態方法的Java lambda表示式:

Finder finder = MyClass::doFind;

由於Finder.find()和MyClass.doFind()方法的引數匹配,因此可以建立實現Finder.find()並引用MyClass.doFind()方法的lambda表示式。


引數方法引用

也可以將其中一個引數的方法引用到lambda。

函式式介面如下:

public interface Finder {
    public int find(String s1, String s2);
}

該介面用於表示能在s1中搜尋s2的出現的部分。下面是一個Java lambda表示式的示例,它呼叫indexOf() 搜尋:

Finder finder = String::indexOf;

這等價以下lambda定義:

Finder finder = (s1, s2) -> s1.indexOf(s2);

請注意簡潔方式版本是如何引用單個方法的。Java編譯器嘗試將引用的方法與第一個引數型別相匹配,使用第二個引數型別作為被引用方法的引數。


例項方法引用

第三,還可以從lambda表示式中引用例項方法。

首先,讓我們來看一個函式式介面定義:

public interface Deserializer {
    public int deserialize(String v1);
}

此介面表示一個元件,該元件能夠將字串“反序列化”為int。

現在看看這個StringConverter類:

public class StringConverter {
    public int convertToInt(String v1){
        return Integer.valueOf(v1);
    }
}

convertToInt()方法與Deserializer deserialize()方法的deserialize()方法具有相同的簽名。因此,我們可以建立StringConverter的例項,並從Java lambda表示式引用其convertToInt()方法,如下所示:

StringConverter stringConverter = new StringConverter();

Deserializer des = stringConverter::convertToInt;

第二行建立的lambda表示式引用在第一行建立的StringConverter例項的convertToInt方法。


構造方法引用

最後,可以引用一個類的構造方法。你可以通過在類名後加上:: new來完成此操作,如下所示:

MyClass::new

來看看如何在lambda表示式中引用構造方法。

函式式介面定義如下:

public interface Factory {
    public String create(char[] val);
}

此介面的create()方法與String類中某個建構函式的簽名匹配。因此,此建構函式可以被lambda表示式用到。下面是一個示例:

Factory factory = String::new;

等同於如下lambda表示式:

Factory factory = chars -> new String(chars);


水平有限,難免錯漏,歡迎指出,或直接檢視原文!

相關文章