java函数式编程的原理的理解

什么是函数式编程？

百科定义：

函数式编程是种编程方式，它将电脑运算视为函数的计算。函数编程语言最重要的基础是λ演算（lambda calculus），而且λ演算的函数可以接受函数当作输入（参数）和输出（返回值）。

例子

List<Integer> tests = new ArrayList<>();
tests.add(0);
tests.add(1);
count = tests.stream().filter(test -> test >= 1).count();

List函数实现了一个stream的方法ReferencePipeline是一个流式处理可以对集合进行过滤分组合并等操作

作为新手的我主要关注1.test -> test >= 1 是表示啥意思 2.什么时候调用test>=1的3.调用的原理是什么

这里就不关注流式怎么处理的

1.test -> test >= 1 是表示啥意思

Stream<T> filter(Predicate<? super T> predicate);

其实java编译器会把test -> test >= 1 转换成Predicate对象,这个对象里面有好多方法有一些

default方法(接口里面有默认的一段的代码执行)

其实会调用test方法把集合里面的传给t

boolean test(T t);

2.通过javap -verbose class名字

主要看BootstrapMethods(引导方法保存由invokedynamic使用的引导方法)

关注invokedynamic指令的操作

1: #123 invokestatic java/lang/invoke/LambdaMetafactory.metafactory:(Ljava/lang/invoke/MethodHandles$Lookup;Ljava/lang/String;Ljava/lang/invoke/MethodType;Ljava/lang/invoke/MethodType;Ljava/lang/invoke/MethodHandle;Ljava/lang/invoke/MethodType;)Ljava/lang/invoke/CallSite;
    Method arguments:
    #140 (Ljava/lang/Object;)Z
    #141 invokestatic Test.lambda$main$1:(Ljava/lang/Integer;)Z
    #142 (Ljava/lang/Integer;)Z

引导方法LambdaMetafactory 的metafactory存放 test -> test >= 1 动态生成Predicate里面的字节码放到test()方法里面执行

44: invokeinterface #18,  1           // InterfaceMethod java/util/List.stream:()Ljava/util/stream/Stream;
    49: invokedynamic #19,  0             // InvokeDynamic #1:test:()Ljava/util/function/Predicate;
    54: invokeinterface #20,  2           // InterfaceMethod java/util/stream/Stream.filter:(Ljava/util/function/Predicate;)Ljava/util/stream/Stream;
    59: invokeinterface #21,  1           // InterfaceMethod java/util/stream/Stream.count:()J

3.在count中才是真正的调用了Predicate的 test -> test >= 1 ,之前的操作都只是生成一个Predicate包装对象count里面有一段调用了test

public void accept(P_OUT u) {
    if (predicate.test(u))
        downstream.accept(u);
}

通过test方法判断元素调用的就是引导方法的 Predicate的 test -> test >= 1

java函数式编程的原理的理解

猜你喜欢