《回爐重造》——Lambda表達式

来源:https://www.cnblogs.com/god23bin/archive/2022/11/27/relearn-lambda-in-Java.html
-Advertisement-
Play Games

Lambda 表達式(Lambda Expression),相信大家對 Lambda 肯定是很熟悉的,畢竟我們數學上經常用到它,即 λ 。不過,感覺數學中的 Lambda 和編程語言中的 Lambda 表達式沒啥關係,要說有關係就是都有 Lambda 這個詞,噢!當然還有一個關係就是 Lambda ... ...


前言

Lambda 表達式(Lambda Expression),相信大家對 Lambda 肯定是很熟悉的,畢竟我們數學上經常用到它,即 λ 。不過,感覺數學中的 Lambda 和編程語言中的 Lambda 表達式沒啥關係,要說有關係就是都有 Lambda 這個詞,噢!當然還有一個關係就是 Lambda 演算。

λ 演算(英語:lambda calculus,λ-calculus)是一套從數學邏輯中發展,以變數綁定和替換的規則,來研究函數如何抽象化定義、函數如何被應用以及遞歸的形式系統。它由數學家阿隆佐·邱奇在20世紀30年代首次發表。lambda演算作為一種廣泛用途的計算模型,可以清晰地定義什麼是一個可計算函數,而任何可計算函數都能以這種形式表達和求值,它能模擬單一磁帶圖靈機的計算過程。

回到編程語言這方面,其實不只是 Java 引入了這個 Lambda 表達式,其他編程語言也有,比如 C++、Javascript、Python 等等。當然,本篇文章回顧的是 Java 中的 Lambda 表達式。

作為一個初學者,下麵對於 Lambda 的理解肯定不夠嚴謹,甚至可能包含錯誤,望觀眾老爺們能在評論區指出!

為什麼要學這個 Lambda 表達式?

  1. Java 8 的新特性,簡化代碼的編寫。
  2. 工作中會用到,防止看不懂別人寫的代碼。
  3. 大家都學我也學。

什麼是 Lambda 表達式?

Lambda 表達式是一個匿名函數,換句話說,你有匿名函數,那麼它這個函數就是所謂的 Lambda 表達式。

所謂匿名函數,顧名思義,就是沒有函數名的函數。

那麼肯定有小伙伴會說,沒有函數名,那我怎麼調用這個函數啊?

是的,這個問題問得很好,先保持這個疑問!在回答這個問題之前,我先來說說另一個概念——「函數式編程」。

什麼是函數式編程?

函數式編程是一種編程範式,除此之外,還有聲明式編程、命令式編程,也都是編程範式。

好吧,這裡又扯出一個新的專業名詞——「編程範式(Programming Paradigm)」。範式?相信正在閱讀的你,在學習資料庫知識的時候,肯定學過第一範式、第二範式、第三範式,那現在又有一個編程範式,這是什麼鬼?

百度百科是這樣說的:

編程範型編程範式程式設計法(英語:Programming paradigm),(即模範、典範之意,範式即模式、方法),是一類典型的編程風格,是指從事軟體工程的一類典型的風格(可以對照方法學)。如:函數式編程程式編程面向對象編程指令式編程等等為不同的編程範型。

是不是太官方了,沒關係,簡單理解,我認為知道函數式編程是一種寫代碼時的風格就OK了。

我們需要註意的是,函數式編程中的「函數」二字,是數學上的函數,並不是我們現在習慣理解的函數,也就是說,這是純純數學概念上的函數,即自變數的映射,比如 $y = f(x)$,自變數 $x$,通過函數 $f$ 映射成 $y$ 。

函數式編程和 Lambda 表達式有什麼關係?

可以說,函數式編程允許使用一種表達式來表示一個函數,這種表達式就是 Lambda 表達式。

在 Java 中,函數式編程是通過一個介面規範來實現的,介面具有這種特點:

  • 該介面有且只有一個抽象方法
  • 該介面使用 @FunctionalInterface 註解進行標識

具有這個特點的介面稱為「函數式介面」。

現在,回到最開始說的,「沒有函數名,那我怎麼調用這個函數啊?」,這就是函數式介面的用途了,介面中只有一個抽象方法,不用指定方法名稱,就能夠用 Lambda 表達式來調用這個函數(方法)了,不需要知道函數名就能夠實現調用。好比想在某個房間(介面)找個人(方法)來做事,我這個房間只有一個人,那麼除了這個人,沒有其他人可以來做事了,就不需要指定那誰誰誰過來幫忙,而是直接喊:就決定是你了!(這個比喻可能也不是很恰當,當大概意思是這樣哈哈哈)

函數式介面

Comparator

我們可以看看 Comparator 介面,它有 @FunctionalInterface 註解,那麼可以肯定它是一個函數式介面。

@FunctionalInterface
public interface Comparator<T> {
    
    int compare(T o1, T o2);
    
    boolean equals(Object obj);
    
    default Comparator<T> reversed() {
        return Collections.reverseOrder(this);
    }
    
    default Comparator<T> thenComparing(Comparator<? super T> other) {
        Objects.requireNonNull(other);
        return (Comparator<T> & Serializable) (c1, c2) -> {
            int res = compare(c1, c2);
            return (res != 0) ? res : other.compare(c1, c2);
        };
    }
    ...
}

有小伙伴應該要說了,這個介面這麼多方法,為什麼還能是函數式介面?

註意了啊,我們可以看到一個好像是抽象的 equals 方法,但是,因為 equals 是 Object 中的方法,這種對Object 類的方法的重新聲明是會讓方法變成一個具體的方法。所以,不要誤會了,這裡的抽象方法就只有 compare 方法。

那可能有小伙伴要說了,介面中還能有具體的方法?

是的,沒錯,在 Java 8 中,介面中可以寫具體的方法了。比如上面的 reversedthenComparing 方法,都是具體的方法。

常見的函數式介面

  • java.lang.Runnable
@FunctionalInterface
public interface Runnable {
    public abstract void run();
}
  • java.util.concurrent.Callable
@FunctionalInterface
public interface Callable<V> {
    V call() throws Exception;
}
  • java.lang.reflect.InvocationHandler
@FunctionalInterface
public interface InvocationHandler {
    public Object invoke(Object proxy, Method method, Object[] args)
        throws Throwable;
}

如何使用 Lambda 表達式?

在 Java 8 之前,我們使用 Collections 的需要比較器的 sort 方法,是這樣的。

等等,忘了有比較器參數的 sort 方法了?沒關係,代碼給你貼上:

public static <T> void sort(List<T> list, Comparator<? super T> c) {
    list.sort(c);
}

最開始的寫法是這樣的,由於 Comparator 是一個介面,不能直接實例化,所以需要一個類來實現這個介面作為真正的比較器類,然後將這個 Comparator 實例對象作為 sort 方法第二個參數傳入,實現排序,如下:

public class KeyComparator implements Comparator<Integer> {
    @Override
    public int compare(Integer v1, Integer v2) {
        return v1 - v2;
    }
}

List<Integer> keys = Arrays.asList(9, 3, 5, 10, 2);
Collections.sort(keys, new KeyComparator());
System.out.println(keys);	// [2, 3, 5, 9, 10]

後來,這種寫法比較麻煩,於是用匿名內部類改寫這種寫法,我們不需要自己去編寫一個類來實現這個介面了,直接用匿名內部類。就是這種寫法:

List<Integer> keys = Arrays.asList(9, 3, 5, 10, 2);
Collections.sort(keys, new Comparator<Integer>() {
    @Override
    public int compare(Integer v1, Integer v2) {
        return v1 - v2;
    }
});
System.out.println(keys);	// [2, 3, 5, 9, 10]

現在,匿名內部類比起 Lambda 表達式,也是麻煩,我們用 Lambda 進行改寫:

List<Integer> keys = Arrays.asList(9, 3, 5, 10, 2);
Collections.sort(keys, (Integer v1, Integer v2) -> {return v1 - v2;});
System.out.println(keys);	// [2, 3, 5, 9, 10]

是吧,(Integer v1, Integer v2) -> {return v1 - v2;} 的寫法,沒有函數名,也能進行調用。

實際上,這樣還不是最簡的,最簡的是這樣:(v1, v2) -> v1 - v2

是不是很好奇啥時候能這樣寫?現在就告訴你!

基本語法

(參數類型 參數名) -> { 方法體 }

基本上,這樣寫,是不會有問題的。下麵說說何時能寫得更加簡單。

為了便於閱讀,下麵的「方法」指的是函數式介面中的抽象方法

  • 方法沒有參數,那麼可以直接寫小括弧,然後箭頭,再寫中括弧,最後寫方法體,即 () -> { 方法體 }
  • 方法有多個參數,那麼多個參數就用逗號分開,同時參數類型是可以省略的,即 (v1, v2, ...) -> {方法體}
  • 方法只有一個參數,那麼小括弧可以去掉,直接寫參數名,然後箭頭,再中括弧和方法體,即 v -> {方法體}
  • 方法體只有一條語句,無論是否有返回值,都可以省略大括弧、return 關鍵字及語句分號。

情況一:方法無參數、無返回值

常見的就是 Runnable 介面了。

@FunctionalInterface
public interface Runnable {
    public abstract void run();
}
  • 未使用 Lambda(使用匿名內部類):
new Thread(new Runnable() {
    @Override
    void run() {
        System.out.println("線程開始跑了");
    }
}).start();
  • 使用 Lambda:
// 寫法一
new Thread(() -> {
    System.out.println("線程開始跑了")
}).start();
// 寫法二,一條語句,那麼省略大括弧、return 關鍵字及語句分號
new Thread(() -> System.out.println("線程開始跑了")).start();

情況二:方法無參數,有返回值

例子:Callable 介面

@FunctionalInterface
public interface Callable<V> {
    V call() throws Exception;
}
  • 未使用 Lambda(使用匿名內部類):
FutureTask<String> stringFutureTask = new FutureTask<>(new Callable<String>() {
    @Override
    public String call() throws Exception {
        return "這裡是返回值";
    }
});
stringFutureTask.run();
System.out.println(stringFutureTask.get());
  • 使用 Lambda:
// 一條語句,省略大括弧、return 關鍵字及語句分號
FutureTask<String> stringFutureTask = new FutureTask<>(() -> "這裡是返回值");
stringFutureTask.run();
System.out.println(stringFutureTask.get());

情況三:方法一個參數、有返回值

我隨便找了 JDK 中的一個介面,如下:

@FunctionalInterface
interface Recognizer {
    boolean recognize(int c);
}
  • 未使用 Lambda(使用匿名內部類):
private final Recognizer A = new Recognizer() {
    @Override
    public boolean recognize(int c) {
        return c == 'a' || c == 'A';
    }
}
  • 使用 Lambda:
private final Recognizer A = (c) -> c == 'a' || c == 'A';

// 一個參數,可省略小括弧
private final Recognizer A = c -> c == 'a' || c == 'A';

情況四:方法多個參數、有返回值

直接舉 Comparator 這個例子。

  • 未使用 Lambda(使用匿名內部類):
List<Integer> keys = Arrays.asList(9, 3, 5, 10, 2);
keys.sort(new Comparator()<Integer> {
    @Override
    public int compare(Integer v1, Integer v2) {
        return v1 - v2;
    }
});
  • 使用 Lambda:
List<Integer> keys = Arrays.asList(9, 3, 5, 10, 2);
// 多個參數以逗號分開,可省略類型,一條語句,省略大括弧、return 關鍵字及語句分號
keys.sort((v1, v2) -> v1 - v2);
System.out.println(keys);

總結

到這裡,相信大家對於 Lambda 表達式有了一個基本的認識。總的來說:

  • 必須是函數式介面才能使用 Lambda 表達式

語法:(參數類型 參數名稱) ‐> { 方法體 }

  • 若方法的參數列表:
    • 沒有參數,則可直接用 ()
    • 有一個參數,可以省略 (),直接寫參數;
    • 有多個參數,則()不可省略
    • () 內的參數類型可以省略
  • 若方法體:
    • 只有一條語句,無論是否有返回值,都可以省略大括弧、return 關鍵字及語句分號。
    • 處理邏輯過於臃腫複雜,還是使用具體子類改寫較好,保證可讀性。

最後的最後

由本人水平所限,難免有錯誤以及不足之處, 屏幕前的靚仔靚女們 如有發現,懇請指出!

最後,謝謝你看到這裡,謝謝你認真對待我的努力,希望這篇博客對你有所幫助!

你輕輕地點了個贊,那將在我的心裡世界增添一顆明亮而耀眼的星!


您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • Multipass 是由Ubuntu官方提供,在Linux,MacOS和Windows上快速生成Ubuntu虛擬機的工具。它提供了一個簡單但功能強大的CLI,可讓我們在本地快速進入Ubuntu系統環境並使用Linux命令,亦可以在本地電腦創建自己的迷你型雲伺服器。總的來說就是在本地創建Ubuntu... ...
  • 一 引言 前段時間自己實現了ansible對接操作系統升級腳本,現將整個項目記錄如下,如果項目中存在問題或優化的點,請幫忙指正。本項目運行在RedHat Linux系統。 在我們生產環境中,操作系統的升級由系統升級、伺服器重啟以及vmtools安裝三部分組成。本次項目的目標有兩點: (1) ansi ...
  • 摘要:近日,經過全球知名獨立認證機構SGS Brightsight實驗室的安全評估,華為雲GaussDB企業級分散式資料庫內核獲得全球權威信息技術安全性評估標準CC EAL4+級別認證 本文分享自華為雲社區《國內唯一!GaussDB拿下的安全認證CC EAL4+究竟有多難?》,作者:GaussDB ...
  • # HTTPS server server { listen 443; server_name ************.com; ssl on; ssl_certificate cert/************.com.pem; ssl_certificate_key cert/******** ...
  • 一、數據類型存儲 在JavaScript中存在兩大數據類型:基本類型、引用類型。 基本數據類型存放在棧中,是一段簡單的數據段,數據大小確定,記憶體空間大小可以分配,是直接按值存放的,可以按值訪問。 引用數據類型存放在堆中,變數在棧中保存的是指向堆記憶體的地址值,這個地址值指向對應的對象類型,訪問堆記憶體中 ...
  • 摘要:在競爭如此激烈的當下,作為一名IT新人,怎麼才能讓HR眼前一亮,從萬千簡歷中脫穎而出成為最亮的那個崽呢? 本文分享自華為雲社區《【一行代碼秒上雲】連夜自建網站背刺我的求職對手們 !》,作者:AppCloud小助手。 前言 在競爭如此激烈的當下,作為一名IT新人,怎麼才能讓HR眼前一亮,從萬千簡 ...
  • Apache-Commons-* 字元串 判斷字元串是否為空白字元串 以前判斷字元串是否為空: if ((name == null) || (name.isEmpty())){} 使用 apache-common-lang3 的 StringUtils: void testIsBlank() { / ...
  • 伺服器端渲染技術02 11.EL表達式 11.1EL表達式介紹 EL表達式全稱:Expression Language,是表達式語言 EL表達式主要是代替jsp頁面的表達式腳本 EL表達式輸出數據時,比jsp的表達式腳本簡潔 EL表達式基本語法:${key} 底層其實走的還是jsp表達式腳本,可以理 ...
一周排行
    -Advertisement-
    Play Games
  • 前言 插件化的需求主要源於對軟體架構靈活性的追求,特別是在開發大型、複雜或需要不斷更新的軟體系統時,插件化可以提高軟體系統的可擴展性、可定製性、隔離性、安全性、可維護性、模塊化、易於升級和更新以及支持第三方開發等方面的能力,從而滿足不斷變化的業務需求和技術挑戰。 一、插件化探索 在WPF中我們想要開 ...
  • 歡迎ReaLTaiizor是一個用戶友好的、以設計為中心的.NET WinForms項目控制項庫,包含廣泛的組件。您可以使用不同的主題選項對項目進行個性化設置,並自定義用戶控制項,以使您的應用程式更加專業。 項目地址:https://github.com/Taiizor/ReaLTaiizor 步驟1: ...
  • EDP是一套集組織架構,許可權框架【功能許可權,操作許可權,數據訪問許可權,WebApi許可權】,自動化日誌,動態Interface,WebApi管理等基礎功能於一體的,基於.net的企業應用開發框架。通過友好的編碼方式實現數據行、列許可權的管控。 ...
  • Channel 是乾什麼的 The System.Threading.Channels namespace provides a set of synchronization data structures for passing data between producers and consume ...
  • efcore如何優雅的實現按年分庫按月分表 介紹 本文ShardinfCore版本 本期主角: ShardingCore 一款ef-core下高性能、輕量級針對分表分庫讀寫分離的解決方案,具有零依賴、零學習成本、零業務代碼入侵適配 距離上次發文.net相關的已經有很久了,期間一直在從事java相關的 ...
  • 前言 Spacesniffer 是一個免費的文件掃描工具,通過使用樹狀圖可視化佈局,可以立即瞭解大文件夾的位置,幫助用戶處理找到這些文件夾 當前系統C盤空間 清理後系統C盤空間 下載 Spacesniffer 下載地址:https://spacesniffer.en.softonic.com/dow ...
  • EDP是一套集組織架構,許可權框架【功能許可權,操作許可權,數據訪問許可權,WebApi許可權】,自動化日誌,動態Interface,WebApi管理等基礎功能於一體的,基於.net的企業應用開發框架。通過友好的編碼方式實現數據行、列許可權的管控。 ...
  • 一、ReZero簡介 ReZero是一款.NET中間件 : 全網唯一開源界面操作就能生成API , 可以集成到任何.NET6+ API項目,無破壞性,也可讓非.NET用戶使用exe文件 免費開源:MIT最寬鬆協議 , 一直從事開源事業十年,一直堅持開源 1.1 純ReZero開發 適合.Net Co ...
  • 一:背景 1. 講故事 停了一個月沒有更新文章了,主要是忙於寫 C#內功修煉系列的PPT,現在基本上接近尾聲,可以回頭繼續更新這段時間分析dump的一些事故報告,有朋友微信上找到我,說他們的系統出現了大量的http超時,程式不響應處理了,讓我幫忙看下怎麼回事,dump也抓到了。 二:WinDbg分析 ...
  • 開始做項目管理了(本人3年java,來到這邊之後真沒想到...),天天開會溝通整理需求,他們講話的時候忙裡偷閑整理一下常用的方法,其實語言還是有共通性的,基本上看到方法名就大概能猜出來用法。出去打水的時候看到外面太陽好好,真想在外面坐著曬太陽,回來的時候好兄弟三年前送給我的鍵盤D鍵不靈了,在打"等待 ...