Java8 Lambda使用與原理

原文發(fā)表于20170121個人博客


1.Lambda相關(guān)概念與特性

Lambda 表達式是一個匿名函數(shù),源于數(shù)學λ演算。是閉包函數(shù),但閉包并不一定是Lambda 函數(shù)。
它可以賦值給變量,作為函數(shù)參數(shù),作為函數(shù)返回值。

2.在Java8中Lambda的語法

        List<Integer> integers = Arrays.asList(2, 4, 6, 8);

        //老的方式
        for (Integer x : integers) {
            System.out.println(x);
        }

        //1.8 非lambda
        integers.forEach(new Consumer<Integer>() {
            @Override
            public void accept(Integer x) {
                System.out.print(x);
            }
        });

        integers.forEach((x) -> System.out.println(x));

        integers.forEach(x -> System.out.println(x));

        //可以贅述其參數(shù)類型
        integers.forEach((Integer x) -> System.out.println(x));


        //多行實現(xiàn)
        integers.forEach((x) -> {
            x = x * 10;
            System.out.println(x);
        });

        // 本地變量
        integers.forEach((x) -> {
            int y = x + 10;
            System.out.println(y);
        });

Lambda 表達式的生命周期(Java 8)

那么Java 8是如何處理和支持Lambda表達式的呢?

  • 編譯器在類中生成一個靜態(tài)函數(shù);
  • 運行時調(diào)用該靜態(tài)函數(shù);(invokeStatic?)
x -> System.out.println(x);

編譯為:

public static void generatedNameOfLambadaFunction(Integer x){
 System.out.println(x)
}

舉個簡單的例子,代碼例子如下:

public class LifeCycleExample {
    public static void main(String[] args) {
        List<Integer> integers = Arrays.asList(2, 4, 6, 8);
        integers.forEach(x -> System.out.println(x));
    }
}

先編譯為字節(jié)碼,然后用反匯編工具對class文件執(zhí)行“javap -private”顯示private可見性以上的主要的類和成員,

  java8demo git:(master)  javap -private  target/classes/org/luyi/lambda/syntax/LifeCycleExample.class

Compiled from "LifeCycleExample.java"
public class org.luyi.lambda.syntax.LifeCycleExample {
  public org.luyi.lambda.syntax.LifeCycleExample();
  public static void main(java.lang.String[]);
  private static void lambda$main$6(java.lang.Integer);
}

除了構(gòu)造函數(shù)和 main 函數(shù),多了一個對應(yīng) Lambda 表達式的私有靜態(tài)方法,最后該方法會被調(diào)用執(zhí)行。

但是如果編譯后是“invokestatic”虛擬機命令,返回類型又是void,那么Lambda 表達式是什么類型呢?后面會繼續(xù)說明,這里我們可以先看下實際的字節(jié)碼,

39: invokedynamic #5,  0              // InvokeDynamic #0:accept:()Ljava/util/function/Consumer;

invokeDynamic( 從JDK7 開始提供的,為了支持動態(tài)類型語言在運行時才能確定接收者的類型的場景)方法調(diào)用,運行時首次解析,生成一個匿名內(nèi)部類??梢詃ump內(nèi)存看看到該類

image
image

由"java.lang.invoke.LambdaMetafactory"的靜態(tài)方法生成

public static CallSite metafactory(MethodHandles.Lookup caller,
                                       String invokedName,
                                       MethodType invokedType,
                                       MethodType samMethodType,
                                       MethodHandle implMethod,
                                       MethodType instantiatedMethodType)

那一個Lambda表達式是什么類型呢?primitve,Object?

許多語言有專門的函數(shù)(數(shù)據(jù))類型,但是Java8 處于向前兼容,和避免類型復雜化等多種原因考慮沒有引入新類型;

3.Functional Interface 函數(shù)式接口

Functional Interface是只提供一個方法的普通接口。

public interface Consumer<T> {
    void accept(T t);
...

}

在 Java8 前,JDK 已經(jīng)提供哪些函數(shù)式接口了,

@FunctionalInterface
public interface Runnable {
    public abstract void run();
}

java.lang.Runnable,
java.lang.Comparable,
java.util.concurrent.Callable;

JDK8 又新增了哪些通用的?你知道他們各自的使用場景嗎?

java.util.function.Consumer<T>,
java.util.function.Supplier<T>,
java.util.function.Predicate<T>,
java.util.function.Function<T,R>,

為什么需要函數(shù)式接口?

它表達了 Lambda 表達式的類型,函數(shù)式接口是方法簽名(signature),lambda表達式是方法body,兩者組成了一個整體。

可以將 Lambda 表達式賦值給函數(shù)接口的局部變量

      Consumer<Integer> consumer=x -> System.out.println(x);
        integers.forEach(consumer);

注解 @FuncationalInterface 推薦使用(考慮向前兼容又非必須),Java8 編譯器會幫你保證;

    lambda git:(master)  javac Echo.java
syntax/Echo.java:6: error: Unexpected @FunctionalInterface annotation
@FunctionalInterface
^
  Echo is not a functional interface
    multiple non-overriding abstract methods found in interface Echo
1 error

所以lambda 表達式的類型是函數(shù)式接口類型,前面不是說lambda 是個靜態(tài)函數(shù),為啥能賦值給個函數(shù)式接口;

那么是不是lambda的實現(xiàn)是基于匿名內(nèi)部類的形式?No(但本質(zhì)來說可以說 YES);

4.變量捕捉(Capture 本地變量,靜態(tài)類屬性,實例屬性)

   List<Integer> integers = Arrays.asList(2, 4, 6, 8);
        int var=1;
        integers.forEach(x -> System.out.println(x+var));

會有編譯異常嗎?

實際上,如果JDK8前的編譯器下的匿名內(nèi)部類會編譯不通過;

       int var=0;
        Runnable r=new Runnable() {
            @Override
            public void run() {
                System.out.print(var+2);
            }
        };

javac 1.7.0_79
  lambda git:(master)  javac CaptureExample.java
CaptureExample.java:22: error: local variable var is accessed from within inner class; needs to be declared final
                System.out.print(var+2);
                                 ^

但是使用 JDK8的編譯器是通過的。聲明final是個推薦的,但即使不聲明,若實際效果是final也行。

如果我們嘗試改變其值呢?

        int var=1;
        integers.forEach(x -> {
            var++;
            System.out.println(x+var);});
    }

會得到編譯異常,這和匿名內(nèi)部類情況下約束是類似的,

  lambda git:(master)  javac CaptureExample.java
CaptureExample.java:15: error: local variables referenced from a lambda expression must be final or effectively final
            var++;
            ^

Lambda如何處理捕捉到的變量的呢?反編譯后,我們發(fā)現(xiàn)靜態(tài)的lambda函數(shù)增加了一個對應(yīng)類型的參數(shù);

  private static void lambda$main$6(int, java.lang.Integer);

關(guān)于Lambda 表達式內(nèi)的this指針; 指向誰呢?

首先看先靜態(tài)方法中使用this指針,

    public static void main(String[] args) {
        integers.forEach(x -> {
            System.out.println(this.toString());
            System.out.println(x);
        });

        integers.forEach(new Consumer<Integer>() {
            @Override
            public void accept(Integer integer) {
                System.out.println(this.toString());
            }
        });
   }

前者會有編譯異常,

ThisPointerExample.java:15: error: non-static variable this cannot be referenced from a static context
            System.out.println(this.toString());

而匿名內(nèi)部類形式和以前JDK保持兼容,表示的是Consumer這個new的實例“org.luyi.lambda.ThisPointerExample$1@3cd1a2f1”。

現(xiàn)在講整數(shù)遍歷方法作為一個實例方法,然后再調(diào)用

public class ThisPointerExample {
    public void doSth() {
        List<Integer> integers = Arrays.asList(2, 4, 6, 8);
        integers.forEach(x -> {
            System.out.println(this.toString());
            System.out.println(x);
        });

    }
    public static void main(String[] args) {
        new ThisPointerExample().doSth();
    }
}

執(zhí)行結(jié)果可以發(fā)現(xiàn),Lambda 表達式內(nèi)部的this指針是指向其 enclosing Class;

那么,Lambda 表達 與 匿名內(nèi)部類的區(qū)別可以總結(jié)了下了

  • 后者可以有實例的屬性變量(狀態(tài));
  • 后者可以含有多個方法;
  • 方法體內(nèi)的this指針的指向;

5.方法引用

Lambda 雖然很方便構(gòu)造個匿名功能函數(shù),但是有些功能函數(shù)的實現(xiàn)已經(jīng)存在,還要重新在寫個Lambda或者去使用對應(yīng)的方法? 方法引用提供了便捷的處理方式;

引用一個靜態(tài)方法;

        integers.forEach(x -> {
           // old style
           //System.out.println(String.valueOf(x));

            Function<Integer, String> i2s = String::valueOf;
            System.out.println(i2s.apply(x));
        });

要求:被引用方法的簽名需要與函數(shù)接口簽名匹配;

引用一個構(gòu)造函數(shù);

//        System.out.println(new Integer("11"));

        Function<String,Integer> s2i=Integer::new;
        System.out.println(s2i.apply("11"));

引用一個實例方法;

 Consumer<Object> sysout = System.out::println;
        sysout.accept("hello world");

6.默認方法(Default Method)

問題背景,接口進化演進的問題,修改任何一個接口,比如增加個接口方法,那么所有以前接口的實現(xiàn)都要做響應(yīng)的調(diào)整,破壞了原有穩(wěn)定。 比如JDK8希望在集合類型(List,Set...)中增加新遍歷方法“forEach(Consumer<? super T> action)” =>默認方法。

public interface Iterable<T> {

    Iterator<T> iterator();

    default void forEach(Consumer<? super T> action) {
        Objects.requireNonNull(action);
        for (T t : this) {
            action.accept(t);
        }
    }

    default Spliterator<T> spliterator() {
        return Spliterators.spliteratorUnknownSize(iterator(), 0);
    }

靜態(tài)方法,有實現(xiàn)并且能夠被接口實現(xiàn)類所繼承;

默認方法被繼承

public interface Test {

    default void doSth(){
        System.out.println("hello");
    }
}

public class DefaultMethodExample implements Test {

    public static void main(String[] args) {
        DefaultMethodExample impl = new DefaultMethodExample();
        impl.doSth();//hello
    }
}

覆寫默認方法

public class DefaultMethodExample implements Test {

    @Override
    public void doSth() {
        System.out.println("hi");
    }

    public static void main(String[] args) {
        DefaultMethodExample impl = new DefaultMethodExample();
        impl.doSth();//hi
    }
}

多級繼承覆蓋

public interface Test2 extends Test {
    @Override
    default void doSth() {
        System.out.println("hello2");
    }
}

public class DefaultMethodExample implements Test2 {
    public static void main(String[] args) {
        DefaultMethodExample impl = new DefaultMethodExample();
        impl.doSth();//hello2
    }
}

沖突

public interface A {
    default void doSth(){
        System.out.println("a");
    }
}
public class ConflictionExample implements Test,A {
}

接口A也提供了doSth的默認方法,如果一個實現(xiàn)類同時實現(xiàn)Test,A兩個接口,那么編譯器會報錯誤

Error:(6, 8) java: 類 org.luyi.lambda.defmtd.ConflictionExample從類型 org.luyi.lambda.defmtd.Test 和 org.luyi.lambda.defmtd.A 中繼承了doSth() 的不相關(guān)默認值

解決沖突的方式是,實現(xiàn)類中重新覆寫doSth方法,可以重新寫實現(xiàn),也可以使用任務(wù)一個父實現(xiàn);

image
image
最后編輯于
?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請聯(lián)系作者
平臺聲明:文章內(nèi)容(如有圖片或視頻亦包括在內(nèi))由作者上傳并發(fā)布,文章內(nèi)容僅代表作者本人觀點,簡書系信息發(fā)布平臺,僅提供信息存儲服務(wù)。
  • 序言:七十年代末,一起剝皮案震驚了整個濱河市,隨后出現(xiàn)的幾起案子,更是在濱河造成了極大的恐慌,老刑警劉巖,帶你破解...
    沈念sama閱讀 229,963評論 6 542
  • 序言:濱河連續(xù)發(fā)生了三起死亡事件,死亡現(xiàn)場離奇詭異,居然都是意外死亡,警方通過查閱死者的電腦和手機,發(fā)現(xiàn)死者居然都...
    沈念sama閱讀 99,348評論 3 429
  • 文/潘曉璐 我一進店門,熙熙樓的掌柜王于貴愁眉苦臉地迎上來,“玉大人,你說我怎么就攤上這事。” “怎么了?”我有些...
    開封第一講書人閱讀 178,083評論 0 383
  • 文/不壞的土叔 我叫張陵,是天一觀的道長。 經(jīng)常有香客問我,道長,這世上最難降的妖魔是什么? 我笑而不...
    開封第一講書人閱讀 63,706評論 1 317
  • 正文 為了忘掉前任,我火速辦了婚禮,結(jié)果婚禮上,老公的妹妹穿的比我還像新娘。我一直安慰自己,他們只是感情好,可當我...
    茶點故事閱讀 72,442評論 6 412
  • 文/花漫 我一把揭開白布。 她就那樣靜靜地躺著,像睡著了一般。 火紅的嫁衣襯著肌膚如雪。 梳的紋絲不亂的頭發(fā)上,一...
    開封第一講書人閱讀 55,802評論 1 328
  • 那天,我揣著相機與錄音,去河邊找鬼。 笑死,一個胖子當著我的面吹牛,可吹牛的內(nèi)容都是我干的。 我是一名探鬼主播,決...
    沈念sama閱讀 43,795評論 3 446
  • 文/蒼蘭香墨 我猛地睜開眼,長吁一口氣:“原來是場噩夢啊……” “哼!你這毒婦竟也來了?” 一聲冷哼從身側(cè)響起,我...
    開封第一講書人閱讀 42,983評論 0 290
  • 序言:老撾萬榮一對情侶失蹤,失蹤者是張志新(化名)和其女友劉穎,沒想到半個月后,有當?shù)厝嗽跇淞掷锇l(fā)現(xiàn)了一具尸體,經(jīng)...
    沈念sama閱讀 49,542評論 1 335
  • 正文 獨居荒郊野嶺守林人離奇死亡,尸身上長有42處帶血的膿包…… 初始之章·張勛 以下內(nèi)容為張勛視角 年9月15日...
    茶點故事閱讀 41,287評論 3 358
  • 正文 我和宋清朗相戀三年,在試婚紗的時候發(fā)現(xiàn)自己被綠了。 大學時的朋友給我發(fā)了我未婚夫和他白月光在一起吃飯的照片。...
    茶點故事閱讀 43,486評論 1 374
  • 序言:一個原本活蹦亂跳的男人離奇死亡,死狀恐怖,靈堂內(nèi)的尸體忽然破棺而出,到底是詐尸還是另有隱情,我是刑警寧澤,帶...
    沈念sama閱讀 39,030評論 5 363
  • 正文 年R本政府宣布,位于F島的核電站,受9級特大地震影響,放射性物質(zhì)發(fā)生泄漏。R本人自食惡果不足惜,卻給世界環(huán)境...
    茶點故事閱讀 44,710評論 3 348
  • 文/蒙蒙 一、第九天 我趴在偏房一處隱蔽的房頂上張望。 院中可真熱鬧,春花似錦、人聲如沸。這莊子的主人今日做“春日...
    開封第一講書人閱讀 35,116評論 0 28
  • 文/蒼蘭香墨 我抬頭看了看天上的太陽。三九已至,卻和暖如春,著一層夾襖步出監(jiān)牢的瞬間,已是汗流浹背。 一陣腳步聲響...
    開封第一講書人閱讀 36,412評論 1 294
  • 我被黑心中介騙來泰國打工, 沒想到剛下飛機就差點兒被人妖公主榨干…… 1. 我叫王不留,地道東北人。 一個月前我還...
    沈念sama閱讀 52,224評論 3 398
  • 正文 我出身青樓,卻偏偏與公主長得像,于是被迫代替她去往敵國和親。 傳聞我的和親對象是個殘疾皇子,可洞房花燭夜當晚...
    茶點故事閱讀 48,462評論 2 378

推薦閱讀更多精彩內(nèi)容