主頁 > 軟體設計 > 一文帶你深入了解java和函式式編程

一文帶你深入了解java和函式式編程

2021-01-15 12:50:25 軟體設計

什么是函式式編程

函式不同于OOP中的方法,可以理解成數學中的函式,是一種將輸入集與輸出集關聯的運算式,和命令式編程不同,函式式編程只取決于它的輸入,不依賴于函式外狀態,
在這里插入圖片描述

編程范式的分類: 編程范式可以分為命令式和宣告式,

  1. 命令式將程式定義為一系列陳述句,通過陳述句改變程式的狀態,最終達到最終的狀態,面向狀態編程,OOP是命令式范式的擴展,
  2. 宣告式范式專注于“程式要實作什么”,而不是“程式如何實作”,面向行為編程,函式式編程是宣告式編程的子集,

函式式核心概念

Haskell是純函式式語言,入門曲線高,使用范圍小,當今大多數流行語言都是支持多種編程方式的,例如java、Scala、Kotlin,以下結合java舉例,

函式是一等值

如果一種編程語言將函式視為一等公民,那么它就被稱為具有一等函式,這意味著函式支持其他一等值都具有的操作: 賦值給變數、作為引數傳遞、動態生成、作為其他函式回傳值回傳等,

static <T> Function<T, T> compose(Supplier<T> supplier, Function<T, T> map) { // 做引數,做回傳值
     return data -> map.apply(supplier.get()); // 動態生成
 }

高階函式

將函式看做一等值,等價于語言中的存在,就很自然的想能不能寫一個函式,實作一些傳入函式,回傳一個函式? 這就是高階函式,上文的示例其實就是一個高階函式,

高階函式也叫復合函式,在java中通常通過函式式介面的default方法來實作的,例如Functionjava.util.function.Function#composejava.util.function.Function#andThen,當然也可以自己實作函式的復合,

default <V> Function<V, R> compose(Function<? super V, ? extends T> before) {
    return (V v) -> apply(before.apply(v));
}

在java中,Stream的使用(Optional不是)近似于高階函式,如下代碼所示,

@Test
public void test_Stream() {
    Stream<Integer> stream = Stream.of(1).map(i -> {
        System.out.println(i);
        return 1;
    });
    // 不會輸出1
}

純函式

純函式是沒有狀態的、無副作用的,可以簡單的認為: 你搞幾次都是沒有關系的~

在這里插入圖片描述

這和OOP沖突,面向物件鼓勵我們將物件的狀態隱藏,只公開訪問和修改物件的必要方法,甚至,將資料存盤到資料庫中,對于純函式而言也是“有副作用”的,更有甚者,連打日志都認為是一種副作用,

在實際生產中,我們要有自己的界限與衡量標準,不是“純”的就一定是好的、是先進的

此外,純函式通常認為是不應該拋出任何例外的,

不可變性

不變性是函式式編程的核心原則之一,例如Clojure,默認上變數是不可變的,如果你要改變變數,你需要把變數copy出去修改,這對于并行程式來說,bug會大大減少,java中可以通過final來實作,

不可變的資料結構所有欄位都是不可變的,其嵌套資料結構也要滿足不可變性,除建構式外應該沒有其他的set方法,

Referential Transparency 透明參考

函式的回傳值只依賴于其輸入值,這種特性就稱為參考透明性(referential transparency)

如果將運算式替換為其相應的值對程式的行為沒有影響,那么我們稱之為參考透明,這需要函式是純粹的不可變的,它產生了一個與背景關系無關的代碼塊,可以在任意地方、以任意順序執行,這提供了許多優化的可能性,

尾遞回優化

迭代呼叫發生在函式的最后,因此不需要沒深入呼叫一層就新建一個堆疊,

需要編譯器支持,目前java還不支持,Scala和Groovy都已經支持了,本質上就是通過重用堆疊的方式來優化遞回的性能損耗,

Monads

一個自函子范疇上的幺半群,

這個解釋太費腦了,摘自阮一峰的解釋更容易理解些: Monad就是一種設計模式,表示將一個運算程序,通過函式拆解成互相連接的多個步驟,
再簡單點理解: 利用map、reduce、predict等方式的流式編程,

在java中,Monads可以具象成Optional、Stream、CompletableFuture等,比如Optional 可以包裝一個值并應用一系列轉換,例如使用 flatMap添加另一個包裝值的轉換,

Currying 科里

在傳遞函式時,該函式是攜帶引數進行傳遞的,

區域套用是一種數學技巧,它將一個接受多個引數的函式轉換成一個接受單個引數的函式序列,在這種技術中,可以不需要呼叫一個函式的所有引數,

以下舉一個例子說明:

// 根據入參mass來獲得一個Function,該Function輸入gravity,輸出mass * gravity
Function<Double, Function<Double, Double>> weight = mass -> (gravity -> mass * gravity);
// 地球上的重力函式
Double, Double> weightOnEarth = weight.apply(9.81);
logger.log(Level.INFO, "在地球上我的體重為" + weightOnEarth.apply(60.0));
// 火星上的重力函式
Function<Double, Double> weightOnMars = weight.apply(3.75);
logger.log(Level.INFO, "在火星上我的體重為: " + weightOnMars.apply(60.0));

如果不用Currying,可能在計算重力時還要再傳入一個mass引數,

Currying 依賴于語言來提供兩個基本特性: lambda 運算式和閉包,

和其他語言不同,java8中的閉包要求lambda運算式中的變數必須是final修飾的或實際上是final的,這是出于執行緒安全的考慮,

為什么要學習函式式編程

更高效的支持并發

函式式編程要求,只使用運算式,不使用陳述句,也就是說,每一步都是單純的運算,而且都有回傳值,根據前文中的“純函式”定義和“透明參考”的定義,可以知道任意執行順序時是不會影響最終的結果,

因此,在并發環境下,函式式編程撰寫安全、高性能的代碼更為容易,

代碼簡潔、復用度高

函式式編程大量使用函式,減少了代碼的重復,因此程式比較短,開發速度較快,

設計良好的函式式編程不會

代碼易于測驗、易于管理

設計良好的函式式編程不依賴于外界狀態、輸入輸出保持一致,這很利于“單元測驗”的進行,

java對函式式的支持

java8提供了lambda運算式、方法參考、預定義函式介面來適配函式式編程,

java將lambda運算式看做函式式介面的物件實體,但這在設計層面上就已經滿足一等值的概念了,

函式式介面

jdk已經提供了一系列的函式式介面(Package java.util.function)了,例如Consumer、Supplier、Function、Predicate以及其他的出于拆箱裝箱性能損耗的DoubleConsumer、IntPredicate,和基于多引數的BiConsumer等,

如果function包下的介面還不能滿足你的需求,可以配合桑除蟲@FunctionalInterface宣告自己的函式式介面,對于函式式介面而言,@FunctionalInterface其實是可加可不加的,它的作用是在編譯時看看你的函式式介面是否只有一個實體方法,

因為在java中,是通過實體化函式式介面的方式(常基于lambda運算式)來進行函式式支持的,

// 自定義消費int的函式式介面
@FunctionalInterface
interface consumeInt {
    void consume(int i);
}
// 實體化函式式介面
consumeInt consumeInt = i -> System.out.println(i);

lambda運算式

lambda運算式的語法很簡單:

(parameters) -> expression // 若只有一條執行陳述句的話不帶{}(parameters) ->{ statements; } // 多條執行陳述句帶{},且帶;

lambda運算式會自動推斷引數的型別,一般來說是依賴于函式式介面指定的引數型別,但配合java范型的使用使lambda運算式擁有更為豐富的表達能力:

Function<String, String> function = str -> // 使用范型指定傳入String 傳出String
    new StringBuilder(str).append("-").append(str.length()).toString();
// 當然也可以手動指定型別
Function<String, String> function = (String str)->...

方法參考

參考文章

方法參考可以分為四類: 指向靜態方法的、指向lambda運算式中變數的實體方法的、指向外部物件的實體方法的、建構式的,

在java中方法的宣告包括6個方面:修飾符、回傳值、方法名、方法引數、例外串列、方法體,使用方法參考時:

  1. 修飾符要復合條件(訪問不到的方法自然方法參考也不可用)
  2. 確保方法簽名的匹配( 方法簽名包含回傳值和方法引數)
  3. 確保例外串列的兼容,(要求被參考的方法比需要的方法例外串列更小)
public class FunctionRefSt {
  	// 靜態方法
    public static int length(String str) {
        return str.length();
    }
		// 實體方法
    public int lengthIns(String str) {
        return str.length();
    }
		// 四種參考的展示
    @Test
    public void funcRef() {
        Optional<String> opt = Optional.of("hello world");
        /*以下三種輸出都是11*/
        // 靜態方法參考
        opt.map(FunctionRefSt::length).ifPresent(System.out::println);
        // 內部實體方法參考
        opt.map(String::length).ifPresent(System.out::println);
        // 外部實體方法參考
        FunctionRefSt functionRefSt = new FunctionRefSt();
        opt.map(functionRefSt::lengthIns).ifPresent(System.out::println);

        /*建構式參考實體*/
        // 利用optional避免空指標
				System.out.println(Optional.<List>ofNullable(null).orElseGet(/*參考了構造方法*/ArrayList::new).size());
	      //輸出0
    }
}

模式匹配

模式匹配可以簡單的理解成增強switch運算式,java8目前還不支持模式匹配,其switch能支持的匹配型別還是比較少的: 列舉、String、byte、short、int、char以及一些基本型別的包裝類,在java12之后,switch運算式進行了一番的優化,jdk13switch特性:

// jdk12
switch (type) {
    case "all" -> System.out.println("列出所有帖子");
    case "auditing" -> System.out.println("列出審核中的帖子");
    case "accepted" -> System.out.println("列出審核通過的帖子");
    case "rejected" -> System.out.println("列出審核不通過的帖子");
    default -> System.out.println("引數'type'錯誤,請檢查");
}
// jdk13
String value = switch (i) {
    case  0 -> "zero"
    case  1 -> "one"
    case  2 -> "two"
    default -> "many"
};
System.out.println(value);

總結

在java中函式式編程有兩大核心利器: OptionalStream

關于Optional的更多學習鏈接可以看看這個文章哦: 你真的知道Optional怎么使用嗎?

例外:一般來說,函式是處理不了例外的,而且設計良好的函式是可以預計到所有的例外,并有一個合適的輸出,所以對于例外情況可以定義一些特殊值來處理: 比如Optional.empty()

副作用可以是日志、存盤到DB、更新快取、RPC呼叫等等,編碼是絕對離不開副作用的,name怎么處理副作用呢?

一般來說,處理副作用有兩種方法,但是核心都是抽取有副作用的代碼和沒有副作用的代碼,將他們隔離開來,

他們有兩個專業術語: 1. Functor函子(在java中使用Stream、Optional來實作) 2. 將可變部分抽取出來,

最后,java8只是提供了函式式編程的一些語法糖,至于是否能用到函式式編程提供的優點,還需要滿足一系列的“函式式編程要求”哦,

相關鏈接

  1. Package java.util.function
  2. Functional Programming in Java

各位保種身體,注意頭發,告辭!

在這里插入圖片描述

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

標籤:其他

上一篇:當年課設期末大作業,班主任讓我們做一個新聞發布管理系統

下一篇:Mendix敏捷開發零基礎學習《一》-基礎(資料模型、頁面創建、資料源系結、屬性系結、關系型資料模型)

標籤雲
其他(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)

熱門瀏覽
  • 面試突擊第一季,第二季,第三季

    第一季必考 https://www.bilibili.com/video/BV1FE411y79Y?from=search&seid=15921726601957489746 第二季分布式 https://www.bilibili.com/video/BV13f4y127ee/?spm_id_fro ......

    uj5u.com 2020-09-10 05:35:24 more
  • 第三單元作業總結

    1.前言 這應該是本學期最后一次寫作業總結了吧。總體來說,對作業的節奏也差不多掌握了,作業做起來的效率也更高了。雖然和之前的作業一樣,作業中都要用到新的知識,但是相比之前,更加懂得了如何利用工具以及資料。雖然之間卡過殼,但總體而言,這幾次作業還算完成的比較好。 2.作業程序總結 相比前兩個單元,此單 ......

    uj5u.com 2020-09-10 05:35:41 more
  • 北航OO(2020)第四單元博客作業暨課程總結博客

    北航OO(2020)第四單元博客作業暨課程總結博客 本單元作業的架構設計 在本單元中,由于UML圖具有比較清晰的樹形結構,因此我對其中需要進行查詢操作的元素進行了包裝,在樹的父節點中存盤所有孩子的參考。考慮到性能問題,我采用了快取機制,一次查詢后盡可能快取已經遍歷過的資訊,以減少遍歷次數。 本單元我 ......

    uj5u.com 2020-09-10 05:35:48 more
  • BUAA_OO_第四單元

    一、UML決議器設計 ? 先看下題目:第四單元實作一個基于JDK 8帶有效性檢查的UML(Unified Modeling Language)類圖,順序圖,狀態圖分析器 MyUmlInteraction,實際上我們要建立一個有向圖模型,UML中的物件(元素)可能與同級元素連接,也可與低級元素相連形成 ......

    uj5u.com 2020-09-10 05:35:54 more
  • 6.1邏輯運算子

    邏輯運算子 1. && 短路與 運算式1 && 運算式2 01.運算式1為true并且運算式2也為true 整體回傳為true 02.運算式1為false,將不會執行運算式2 整體回傳為false 03.只要有一個運算式為false 整體回傳為false 2. || 短路或 運算式1 || 運算式2 ......

    uj5u.com 2020-09-10 05:35:56 more
  • BUAAOO 第四單元 & 課程總結

    1. 第四單元:StarUml檔案決議 本單元采用了圖模型決議UML。 UML檔案可以抽象為圖、子圖、邊的邏輯結構。 在實作中,圖的節點包括類、介面、屬性,子圖包括狀態圖、順序圖等。 采用了三次遍歷UML元素的方法建圖,第一遍遍歷建點,第二、三次遍歷設定屬性、連邊,實作圖物件的初始化。這里借鑒了一些 ......

    uj5u.com 2020-09-10 05:36:06 more
  • 談談我對C# 多型的理解

    面向物件三要素:封裝、繼承、多型。 封裝和繼承,這兩個比較好理解,但要理解多型的話,可就稍微有點難度了。今天,我們就來講講多型的理解。 我們應該經常會看到面試題目:請談談對多型的理解。 其實呢,多型非常簡單,就一句話:呼叫同一種方法產生了不同的結果。 具體實作方式有三種。 一、多載 多載很簡單。 p ......

    uj5u.com 2020-09-10 05:36:09 more
  • Python 資料驅動工具:DDT

    背景 python 的unittest 沒有自帶資料驅動功能。 所以如果使用unittest,同時又想使用資料驅動,那么就可以使用DDT來完成。 DDT是 “Data-Driven Tests”的縮寫。 資料:http://ddt.readthedocs.io/en/latest/ 使用方法 dd. ......

    uj5u.com 2020-09-10 05:36:13 more
  • Python里面的xlrd模塊詳解

    那我就一下面積個問題對xlrd模塊進行學習一下: 1.什么是xlrd模塊? 2.為什么使用xlrd模塊? 3.怎樣使用xlrd模塊? 1.什么是xlrd模塊? ?python操作excel主要用到xlrd和xlwt這兩個庫,即xlrd是讀excel,xlwt是寫excel的庫。 今天就先來說一下xl ......

    uj5u.com 2020-09-10 05:36:28 more
  • 當我們創建HashMap時,底層到底做了什么?

    jdk1.7中的底層實作程序(底層基于陣列+鏈表) 在我們new HashMap()時,底層創建了默認長度為16的一維陣列Entry[ ] table。當我們呼叫map.put(key1,value1)方法向HashMap里添加資料的時候: 首先,呼叫key1所在類的hashCode()計算key1 ......

    uj5u.com 2020-09-10 05:36:38 more
最新发布
  • 【中介者設計模式詳解】C/Java/JS/Go/Python/TS不同語言實作

    * 中介者模式是一種行為型設計模式,它可以用來減少類之間的直接依賴關系,
    * 將物件之間的通信封裝到一個中介者物件中,從而使得各個物件之間的關系更加松散。
    * 在中介者模式中,物件之間不再直接相互互動,而是通過中介者來中轉訊息。 ......

    uj5u.com 2023-04-20 08:20:47 more
  • 露天煤礦現場調研和交流案例分享

    他們集團的資訊化公司及研究院在一個礦區正在做智能礦山的統一平臺的 試點,專案投資大概1億,包括了礦山的各方面的內容,顯示得我們這次交流有點多余。他們2年前開始做智能礦山的規劃,有很多煤礦行業專家的加持,他們的描述是非常完美,但是去年底應該上線的平臺,現在還沒有看到影子。他們確實有很多場景需求,但是被... ......

    uj5u.com 2023-04-20 08:20:25 more
  • 《社區人員管理》實戰案例設計&個人案例分享

    設計是一個讓人夢想成真程序,開始編碼、測驗、除錯之前進行需求分析和架構設計,才能保證關鍵方面都做正確 ......

    uj5u.com 2023-04-20 08:20:17 more
  • 軟體架構生態化-多角色交付的探索實踐

    作為一個技術架構師,不僅僅要緊跟行業技術趨勢,還要結合研發團隊現狀及痛點,探索新的交付方案。在日常中,你是否遇到如下問題 “ 業務需求排期長研發是瓶頸;非研發角色感受不到研發技改提效的變化;引入ISV 團隊又擔心質量和安全,培訓周期長“等等,基于此我們探索了一種新的技術體系及交付方案來解決如上問題。 ......

    uj5u.com 2023-04-20 08:20:10 more
  • 【中介者設計模式詳解】C/Java/JS/Go/Python/TS不同語言實作

    * 中介者模式是一種行為型設計模式,它可以用來減少類之間的直接依賴關系,
    * 將物件之間的通信封裝到一個中介者物件中,從而使得各個物件之間的關系更加松散。
    * 在中介者模式中,物件之間不再直接相互互動,而是通過中介者來中轉訊息。 ......

    uj5u.com 2023-04-20 08:19:44 more
  • 露天煤礦現場調研和交流案例分享

    他們集團的資訊化公司及研究院在一個礦區正在做智能礦山的統一平臺的 試點,專案投資大概1億,包括了礦山的各方面的內容,顯示得我們這次交流有點多余。他們2年前開始做智能礦山的規劃,有很多煤礦行業專家的加持,他們的描述是非常完美,但是去年底應該上線的平臺,現在還沒有看到影子。他們確實有很多場景需求,但是被... ......

    uj5u.com 2023-04-20 08:19:07 more
  • 《社區人員管理》實戰案例設計&個人案例分享

    設計是一個讓人夢想成真程序,開始編碼、測驗、除錯之前進行需求分析和架構設計,才能保證關鍵方面都做正確 ......

    uj5u.com 2023-04-20 08:18:57 more
  • 軟體架構生態化-多角色交付的探索實踐

    作為一個技術架構師,不僅僅要緊跟行業技術趨勢,還要結合研發團隊現狀及痛點,探索新的交付方案。在日常中,你是否遇到如下問題 “ 業務需求排期長研發是瓶頸;非研發角色感受不到研發技改提效的變化;引入ISV 團隊又擔心質量和安全,培訓周期長“等等,基于此我們探索了一種新的技術體系及交付方案來解決如上問題。 ......

    uj5u.com 2023-04-20 08:18:49 more
  • 05單件模式

    #經典的單件模式 public class Singleton { private static Singleton uniqueInstance; //一個靜態變數持有Singleton類的唯一實體。 // 其他有用的實體變數寫在這里 //構造器宣告為私有,只有Singleton可以實體化這個類! ......

    uj5u.com 2023-04-19 08:42:51 more
  • 【架構與設計】常見微服務分層架構的區別和落地實踐

    軟體工程的方方面面都遵循一個最基本的道理:沒有銀彈,架構分層模型更是如此,每一種都有各自優缺點,所以請根據不同的業務場景,并遵循簡單、可演進這兩個重要的架構原則選擇合適的架構分層模型即可。 ......

    uj5u.com 2023-04-19 08:42:41 more