主頁 > 後端開發 > Java8 新特性 —— 函式式編程

Java8 新特性 —— 函式式編程

2020-11-13 14:59:16 後端開發


本文部分摘錄自 On Java 8


概述

通常,傳遞給方法的資料不同,結果也不同,同樣的,如果我們希望方法被呼叫時的行為不同,該怎么做呢?結論是:只要能將代碼傳遞給方法,那么就可以控制方法的行為,

說得再具體點,過去我們總是創建包含所需行為的物件,然后將物件傳遞給想要控制的方法,一般使用匿名內部類來實作,假設現在有這么一個需求:有一個員工資訊串列,根據年齡過濾出符合條件的員工資訊

// 過濾出大于35歲的員工
public List<Employee> filterEmployee(List<Employee> list) {
    List<Employee> emps = new ArrayList<>();
    for(Employee emp : list) {
        if(emp.getAge() > 35) {
            emps.add(emp);
        }
    }
    return emps;
}

// 過濾出大于45歲的員工
public List<Employee> filterEmployee2(List<Employee> list) {
	...   
}

這樣寫當然能實作需求,但如果需求變了,要過濾 45 歲的,那豈不是又得寫一個 filterEmplyee2() 方法?如果還要過濾 50 歲的,60 歲的,那就沒完沒了了,而且代碼的實作邏輯幾乎沒有區別,于是我們借助策略模式的思想來簡化代碼,

public interface MyPredicate<> {
    boolean predicate(T t);
}

// 如果有其他過濾需求,只需要實作 MyPredicate 介面即可
public class EmployeeFilter implements MyPredicate<Employee> {
    @Override
    public boolean predicate(Employee employee) {
        return t.getAge() >= 35;
    }
}

// 根據傳入的 MyPredicate 物件來實作不同的過濾邏輯
public List<Employee> filterEmployee(List<Employee> list, MyPredicate<Employee> mp) {
    List<Employee> emps = new ArrayList<>();
    for(Employee emp : list) {
        if(mp.predicate(emp)) {
            emps.add(emp);
        }
    }
    return emps;
}

public void test(List<Employee> list) {
    // 創建實作類物件,傳入過濾方法
    MyPredicate<Employee> predicate = new EmployeeFilter<>();
    List<Employee> res = filterEmployee(list, predicate);
    // 更簡單的方式是使用匿名內部類
    List<Employee> res2 = filterEmployee(list, new MyPredicate<Employee>() {
        @Override
        public boolean predicate(Employee employee) {
            return t.getAge() >= 100;
        }
    });
}

通過觀察我們發現,我們需要的只有 predicate() 方法的代碼,其他的我們一律不關心,如果 MyPredicate 介面還有其他抽象方法,我們又必須每一個做一次實作,但真正用上的只有 predicate() 方法,不僅顯得冗余,而且可讀性也很低,為了解決這個問題,Java8 為我們提供了 Lambda 運算式和方法參考兩種更加簡潔的方式,


Lambda 運算式

Lambda 運算式是一個匿名函式,可以把 Lambda 運算式理解為是一段可以傳遞的代碼(將代碼像資料一樣傳遞),雖然在 JVM 規范規定一切都是類,但其幕后執行的各種操作使得 Lambda 看起來像是函式,因此我們可以大膽假設 Lambda 運算式產生的就是一個函式,而不是類,

Lambda 的基本語法有是:(引數) -> {方法體}

  • 其中 -> 可以視為將引數傳遞給方法體使用的一個中間橋梁
  • 左側為運算式的引數串列,使用括號包裹引數,當只有一個引數時,可以不需要括號,如果沒有引數,則必須使用括號表示空引數串列,引數串列的資料型別可以省略不寫,因為 Java 的編譯器可以幫助我們根據背景關系推斷資料型別
  • 右側為運算式中所需執行的功能,方法體如果只有單行,可以省略花括號,此時執行結果自動轉化為 Lambda 運算式的放回值,使用 return 關鍵字是非法的;如果方法體有多行,則必須放在花括號中,這時如果有回傳值,就需要使用 return

Lambda 運算式能產生比匿名內部類更易讀的代碼,因此我們應該盡可能使用 Lambda 運算式,回到之前的例子,我們可以用 Lambda 運算式來替換匿名內部類,

public interface MyPredicate<> {
    boolean predicate(T t);
}


// 根據傳入的 MyPredicate 物件來實作不同的過濾邏輯
public List<Employee> filterEmployee(List<Employee> list, MyPredicate<Employee> mp) {
    List<Employee> emps = new ArrayList<>();
    for(Employee emp : list) {
        if(mp.predicate(emp)) {
            emps.add(emp);
        }
    }
    return emps;
}

public void test(List<Employee> list) {
    // 使用 Lambda 運算式
    List<Employee> res = filterEmployee(list, e -> e.getAge() <= 5000);
}

Lambad 運算式通常比匿名內部類產生更易讀的代碼,因此我們應該盡可能使用 Lambda 運算式,

如果我們想撰寫遞回的 Lambda 運算式,必須注意:


方法參考

Lambda 運算式可以幫助我們實作僅呼叫方法,而不做其他多余動作(如創建物件)的目的,而有些情況下,已經存在能滿足需求的方法,我們可以不必再撰寫 Lambda 運算式,而通過方法參考直接使用該方法,可以理解為方法參考是 Lambda 運算式的另一種表現形式,

方法參考的組成:類名或物件名,后面跟 ::,然后跟方法名稱,如果要分類的話,可以用如下組合:

  • 參考靜態方法 className::staticMethod

  • 參考某個物件的實體方法 instance::instanceMethod

  • 參考某個型別的任意物件的實體方法 className::instanceMethod

  • 參考構造方法 className::new

interface Callable {
	void call(String s);
}

class Describe {
    void show(String msg) {
        System.out.println(msg);
    }
}

public class MethodReferences {
    
    static void hello(String name) {
        System.out.println("Hello, " + name);
    }

    public static void main(String[] args) {
		// 物件名:: 方法名稱
        Describe d = new Describe();
        Callable c = d::show;
        c.call("call()");
		// 類名::方法名
        c = MethodReferences::hello;
        c.call("Bob");
    }
}

要注意的是,方法參考的簽名(引數型別和回傳型別)必須符合 Callable 的 call() 的簽名,上述代碼我沒有演示 className::instanceMethodclassName::new 的情況,這兩個有點特殊,待會再介紹,


Runnable 介面

通過之前的學習,我們發現 Runnable 介面也符合特殊的單方法介面格式:它的 run() 方法不帶引數,也沒有回傳值,因此我們可以使用 Lambda 運算式和方法參考作為 Runnable

class Go {
    static void go() {
        System.out.println("thread go");
    }
}

public class RunnableMethodReference {
    public static void main(String[] args) {
		// 匿名內部類方式
        new Thread(new Runnable() {
            public void run() {
                System.out.println("Anonymous");
            }
        }).start();
		// Lambda 運算式方式
        new Thread(
            () -> System.out.println("lambda")
        ).start();
		// 方法參考方式
        new Thread(Go::go).start();
    }
}

未系結的方法參考

未系結的方法參考是指沒有關聯物件的普通(非靜態方法),使用未系結的參考,我們必須先提供物件

class X {
    String f() { return "X::f()"; }
}

interface MakeString {
    String make();
}

interface TransformX {
    String transform(X x);
}

public class UnboundMethodReference {
    public static void main(String[] args) {
        // MakeString ms = X::f; // 無法通過編譯
        TransformX sp = X::f;
        X x = new X();
        System.out.println(sp.transform(x));
        System.out.println(x.f());	// 同等效果
    }
}

我們看到在 MakeString ms = X::f; 中,即使 make()f() 有相同的方法簽名,卻無法通過編譯,這是因為實際上還有另一個隱藏引數 this 沒有考慮,你不能在沒有 X 物件的情況下呼叫 f(),因為它尚未系結到物件,

要解決這個問題,我們需要一個 X 物件,所以我們的介面需要一個額外的引數如 TransformX,用來接收一個 X 物件,同樣的,在呼叫 transform(X x) 方法時,也必須傳遞一個 X 物件作為引數,如果你的方法有多個引數,就以第一個引數接受 this 的模式來處理,


建構式參考

還可以捕獲建構式的參考,然后通過參考去呼叫該建構式,

class Dog {
    String name;
    int age;
    Dog() { name = "stray"; }
    Dog(String nm) { name = nm; }
    Dog(String nm, int yrs) { name = nm; age = yrs; }
}

interface MakeNoArgs {
    Dog make();
}

interface Make1Arg {
    Dog make(String name);
}

interface Make2Args {
    Dog make(String name, int age);
}

public class CtorReference {
    public static void main(String[] args) {
        MakeNoArgs mna = Dog::new;
        Make1Arg m1a = Dog::new;
        Make2Args m2a = Dog::new;

        Dog dn = mna.make();
        Dog d1 = m1a.make("Comet");
        Dog d2 = m2a.make("Ralph", 4);
    }
}

函式式介面

介面中只有一個抽象方法的介面,稱為函式式介面,可以使用注解 @FunctionalInterface 檢查一個介面是否符合函式式介面的規范,

Lambda 運算式和方法參考都要賦值給對應的函式式介面參考,Java8 提供了一組 java.util.function 包,它包含一組完整的函式式介面,一般情況下,我們可以直接使用,而不需要自己再定義,

Java 為我們提供了內置的四大核心函式式介面:

  • 消費型介面

    有引數,無回傳值型別的介面

    @FunctionalInterface
    public interface Consumer<T> {
    
        void accept(T t);
    }
    
  • 供給型介面

    只有產出,沒有輸入,就是只有回傳值,沒有入參

    @FunctionalInterface
    public interface Supplier<T> {
    
        T get();
    }
    
  • 函式型介面

    既有入參,也有回傳值,T 表示函式的引數型別,R 表示函式的回傳型別

    @FunctionalInterface
    public interface Function<T, R> {
    
        R apply(T t);
    }
    
  • 斷言型介面

    輸入一個引數,回傳一個 boolean 型別的回傳值

    @FunctionalInterface
    public interface Predicate<T> {
    
        boolean test(T t);
    }
    

除了上述的四個核心內置介面,Java 還為我們提供其他常用的函式式介面,如 BiFunction<T, U, R> 也是函式型介面,但可以接收兩個引數,我們可以根據需要去查閱 API 檔案,


函陣列合

意為多個組合成新的函式,一些 java.util.function 介面包含支持函陣列合的方法

  • andThen(Function<? super R,? extends V> after)

    回傳一個組合函式,前一個函式的結果作為后一個函式的入參

  • compose(Function<? super V,? extends T> before)

    回傳一個組合函式,后一個函式首先處理原始入參,再將結果交給前一個函式處理

  • and(Predicate<? super T> other)

    回傳一個組合的謂詞,表示該謂詞與另一個謂詞的短路邏輯與

  • or(Predicate<? super T> other)

    回傳一個組合的謂詞,表示該謂詞與另一個謂詞的短路邏輯或

  • negate()

    回傳表示此謂詞的邏輯否定的謂詞


閉包

考慮一個函式,x 是 其中的一個入參,i 則是其中的一個區域變數,回傳一個 Lambda 運算式

public class Closure {
    IntSupplier makeFun(int x) {
        int i = 0;
        return () -> x + i;
    }
}

我們知道,函式的入參的區域變數只在方法的生命周期內有效,正常情況下,當 makeFun(int x) 方法執行完后,x 和 i 就會消失,但它回傳的 Lambda 運算式卻依然保存著 x 和 i 的值,相當于 makeFun(int x) 回傳的 IntSupplier 關住了 x 和 i

另外要注意的一點是:被 Lambda 運算式參考的區域變數必須是 final 或是等同 final 效果的,所謂等同 final,意思是即使你沒有明確宣告變數是 final,但因變數值沒被改變過而實際上有了 final 同等的效果,Java8 默認 Lambda 中的區域變數具有等同 final 效果,


柯里化

柯里化意為:將一個多引數的函式,轉換為一系列單引數函式

public class CurryingAndPartials {
    // 未柯里化
    static String uncurried(String a, String b) {
        return a + b;
    }
    public static void main(String[] args) {
        // 柯里化的函式
        // a -> b -> a + b,意思是傳入引數 a,回傳 b -> a + b 的函式
        // 由于 Lambda 運算式的閉包特性,b -> a + b 中的 a 是有保存值的
        Function<String, Function<String, String>> sum = a -> b -> a + b;

        System.out.println(uncurried("Hi ", "Ho"));
        
        Function<String, String> hi = sum.apply("Hi ");
        System.out.println(hi.apply("Ho"));

        Function<String, String> sumHi = sum.apply("Hup ");
        System.out.println(sumHi.apply("Ho"));
        System.out.println(sumHi.apply("Hey"));
    }
}

柯里化的目的是通過提供一個引數來創建一個新函式,根據上述的例子,我們可以通過添加級別來柯里化具有更多引數的函式


轉載請註明出處,本文鏈接:https://www.uj5u.com/houduan/213519.html

標籤:其他

上一篇:YouTube 全球范圍宕機事件,華為回應榮耀單飛

下一篇:再見了SpringMVC,這個框架有點厲害,甚至干掉了Servlet!

標籤雲
其他(157675) Python(38076) JavaScript(25376) Java(17977) C(15215) 區塊鏈(8255) C#(7972) AI(7469) 爪哇(7425) MySQL(7132) html(6777) 基礎類(6313) sql(6102) 熊猫(6058) PHP(5869) 数组(5741) R(5409) Linux(5327) 反应(5209) 腳本語言(PerlPython)(5129) 非技術區(4971) Android(4554) 数据框(4311) css(4259) 节点.js(4032) C語言(3288) json(3245) 列表(3129) 扑(3119) C++語言(3117) 安卓(2998) 打字稿(2995) VBA(2789) Java相關(2746) 疑難問題(2699) 细绳(2522) 單片機工控(2479) iOS(2429) ASP.NET(2402) MongoDB(2323) 麻木的(2285) 正则表达式(2254) 字典(2211) 循环(2198) 迅速(2185) 擅长(2169) 镖(2155) 功能(1967) .NET技术(1958) Web開發(1951) python-3.x(1918) HtmlCss(1915) 弹簧靴(1913) C++(1909) xml(1889) PostgreSQL(1872) .NETCore(1853) 谷歌表格(1846) Unity3D(1843) for循环(1842)

熱門瀏覽
  • 【C++】Microsoft C++、C 和匯編程式檔案

    ......

    uj5u.com 2020-09-10 00:57:23 more
  • 例外宣告

    相比于斷言適用于排除邏輯上不可能存在的狀態,例外通常是用于邏輯上可能發生的錯誤。 例外宣告 Item 1:當函式不可能拋出例外或不能接受拋出例外時,使用noexcept 理由 如果不打算拋出例外的話,程式就會認為無法處理這種錯誤,并且應當盡早終止,如此可以有效地阻止例外的傳播與擴散。 示例 //不可 ......

    uj5u.com 2020-09-10 00:57:27 more
  • Codeforces 1400E Clear the Multiset(貪心 + 分治)

    鏈接:https://codeforces.com/problemset/problem/1400/E 來源:Codeforces 思路:給你一個陣列,現在你可以進行兩種操作,操作1:將一段沒有 0 的區間進行減一的操作,操作2:將 i 位置上的元素歸零。最終問:將這個陣列的全部元素歸零后操作的最少 ......

    uj5u.com 2020-09-10 00:57:30 more
  • UVA11610 【Reverse Prime】

    本人看到此題沒有翻譯,就附帶了一個自己的翻譯版本 思考 這一題,它的第一個要求是找出所有 $7$ 位反向質數及其質因數的個數。 我們應該需要質數篩篩選1~$10^{7}$的所有數,這里就不慢慢介紹了。但是,重讀題,我們突然發現反向質數都是 $7$ 位,而將它反過來后的數字卻是 $6$ 位數,這就說明 ......

    uj5u.com 2020-09-10 00:57:36 more
  • 統計區間素數數量

    1 #pragma GCC optimize(2) 2 #include <bits/stdc++.h> 3 using namespace std; 4 bool isprime[1000000010]; 5 vector<int> prime; 6 inline int getlist(int ......

    uj5u.com 2020-09-10 00:57:47 more
  • C/C++編程筆記:C++中的 const 變數詳解,教你正確認識const用法

    1、C中的const 1、區域const變數存放在堆疊區中,會分配記憶體(也就是說可以通過地址間接修改變數的值)。測驗代碼如下: 運行結果: 2、全域const變數存放在只讀資料段(不能通過地址修改,會發生寫入錯誤), 默認為外部聯編,可以給其他源檔案使用(需要用extern關鍵字修飾) 運行結果: ......

    uj5u.com 2020-09-10 00:58:04 more
  • 【C++犯錯記錄】VS2019 MFC添加資源不懂如何修改資源宏ID

    1. 首先在資源視圖中,添加資源 2. 點擊新添加的資源,復制自動生成的ID 3. 在解決方案資源管理器中找到Resource.h檔案,編輯,使用整個專案搜索和替換的方式快速替換 宏宣告 4. Ctrl+Shift+F 全域搜索,點擊查找全部,然后逐個替換 5. 為什么使用搜索替換而不使用屬性視窗直 ......

    uj5u.com 2020-09-10 00:59:11 more
  • 【C++犯錯記錄】VS2019 MFC不懂的批量添加資源

    1. 打開資源頭檔案Resource.h,在其中預先定義好宏 ID(不清楚其實ID值應該設定多少,可以先新建一個相同的資源項,再在這個資源的ID值的基礎上遞增即可) 2. 在資源視圖中選中專案資源,按F7編輯資源檔案,按 ID 型別 相對路徑的形式添加 資源。(別忘了先把檔案拷貝到專案中的res檔案 ......

    uj5u.com 2020-09-10 01:00:19 more
  • C/C++編程筆記:關于C++的參考型別,專供新手入門使用

    今天要講的是C++中我最喜歡的一個用法——參考,也叫別名。 參考就是給一個變數名取一個變數名,方便我們間接地使用這個變數。我們可以給一個變數創建N個參考,這N + 1個變數共享了同一塊記憶體區域。(參考型別的變數會占用記憶體空間,占用的記憶體空間的大小和指標型別的大小是相同的。雖然參考是一個物件的別名,但 ......

    uj5u.com 2020-09-10 01:00:22 more
  • 【C/C++編程筆記】從頭開始學習C ++:初學者完整指南

    眾所周知,C ++的學習曲線陡峭,但是花時間學習這種語言將為您的職業帶來奇跡,并使您與其他開發人員區分開。您會更輕松地學習新語言,形成真正的解決問題的技能,并在編程的基礎上打下堅實的基礎。 C ++將幫助您養成良好的編程習慣(即清晰一致的編碼風格,在撰寫代碼時注釋代碼,并限制類內部的可見性),并且由 ......

    uj5u.com 2020-09-10 01:00:41 more
最新发布
  • Rust中的智能指標:Box<T> Rc<T> Arc<T> Cell<T> RefCell<T> Weak

    Rust中的智能指標是什么 智能指標(smart pointers)是一類資料結構,是擁有資料所有權和額外功能的指標。是指標的進一步發展 指標(pointer)是一個包含記憶體地址的變數的通用概念。這個地址參考,或 ” 指向”(points at)一些其 他資料 。參考以 & 符號為標志并借用了他們所 ......

    uj5u.com 2023-04-20 07:24:10 more
  • Java的值傳遞和參考傳遞

    值傳遞不會改變本身,參考傳遞(如果傳遞的值需要實體化到堆里)如果發生修改了會改變本身。 1.基本資料型別都是值傳遞 package com.example.basic; public class Test { public static void main(String[] args) { int ......

    uj5u.com 2023-04-20 07:24:04 more
  • [2]SpinalHDL教程——Scala簡單入門

    第一個 Scala 程式 shell里面輸入 $ scala scala> 1 + 1 res0: Int = 2 scala> println("Hello World!") Hello World! 檔案形式 object HelloWorld { /* 這是我的第一個 Scala 程式 * 以 ......

    uj5u.com 2023-04-20 07:23:58 more
  • 理解函式指標和回呼函式

    理解 函式指標 指向函式的指標。比如: 理解函式指標的偽代碼 void (*p)(int type, char *data); // 定義一個函式指標p void func(int type, char *data); // 宣告一個函式func p = func; // 將指標p指向函式func ......

    uj5u.com 2023-04-20 07:23:52 more
  • Django筆記二十五之資料庫函式之日期函式

    本文首發于公眾號:Hunter后端 原文鏈接:Django筆記二十五之資料庫函式之日期函式 日期函式主要介紹兩個大類,Extract() 和 Trunc() Extract() 函式作用是提取日期,比如我們可以提取一個日期欄位的年份,月份,日等資料 Trunc() 的作用則是截取,比如 2022-0 ......

    uj5u.com 2023-04-20 07:23:45 more
  • 一天吃透JVM面試八股文

    什么是JVM? JVM,全稱Java Virtual Machine(Java虛擬機),是通過在實際的計算機上仿真模擬各種計算機功能來實作的。由一套位元組碼指令集、一組暫存器、一個堆疊、一個垃圾回收堆和一個存盤方法域等組成。JVM屏蔽了與作業系統平臺相關的資訊,使得Java程式只需要生成在Java虛擬機 ......

    uj5u.com 2023-04-20 07:23:31 more
  • 使用Java接入小程式訂閱訊息!

    更新完微信服務號的模板訊息之后,我又趕緊把微信小程式的訂閱訊息給實作了!之前我一直以為微信小程式也是要企業才能申請,沒想到小程式個人就能申請。 訊息推送平臺🔥推送下發【郵件】【短信】【微信服務號】【微信小程式】【企業微信】【釘釘】等訊息型別。 https://gitee.com/zhongfuch ......

    uj5u.com 2023-04-20 07:22:59 more
  • java -- 緩沖流、轉換流、序列化流

    緩沖流 緩沖流, 也叫高效流, 按照資料型別分類: 位元組緩沖流:BufferedInputStream,BufferedOutputStream 字符緩沖流:BufferedReader,BufferedWriter 緩沖流的基本原理,是在創建流物件時,會創建一個內置的默認大小的緩沖區陣列,通過緩沖 ......

    uj5u.com 2023-04-20 07:22:49 more
  • Java-SpringBoot-Range請求頭設定實作視頻分段傳輸

    老實說,人太懶了,現在基本都不喜歡寫筆記了,但是網上有關Range請求頭的文章都太水了 下面是抄的一段StackOverflow的代碼...自己大修改過的,寫的注釋挺全的,應該直接看得懂,就不解釋了 寫的不好...只是希望能給視頻網站開發的新手一點點幫助吧. 業務場景:視頻分段傳輸、視頻多段傳輸(理 ......

    uj5u.com 2023-04-20 07:22:42 more
  • Windows 10開發教程_編程入門自學教程_菜鳥教程-免費教程分享

    教程簡介 Windows 10開發入門教程 - 從簡單的步驟了解Windows 10開發,從基本到高級概念,包括簡介,UWP,第一個應用程式,商店,XAML控制元件,資料系結,XAML性能,自適應設計,自適應UI,自適應代碼,檔案管理,SQLite資料庫,應用程式到應用程式通信,應用程式本地化,應用程式 ......

    uj5u.com 2023-04-20 07:22:35 more