水滴技術團隊 著:水滴技術團隊
核心成員來自阿裏巴巴、淘寶,公司旗下的大數據SaaS類産品服務瞭Booking、阿裏集團、小米集團、大疆創新、拍拍貸等幾十萬傢企業,是微信的重點第三方閤作産品。
推崇函數式編程,喜歡嘗試各種新的前後端技術。團隊在2015年就實現瞭業界領先的全異步開發架構,該架構是基於fp Scala及微服務化的分布式係統。同時,水滴技術團隊還是國內外少有的pure fp技術團隊,采用瞭如Play! Framework、Akka、Cats等新潮的技術,並對JVM生態的一些編程語言有著較豐富的實戰經驗,當前主要為Scala、Kotlin社區輸齣博客和開源項目。
章建良(網名:Jilen)
水滴技術團隊核心成員,杭州極跑科技聯閤創始人,曾就職於淘寶。從2008年開始,活躍於Scala社區,在函數式編程和並發領域擁有極豐富的實戰經驗。
此外,他還是知名開源項目Quill的核心貢獻者,目前正在創造一個純函數式的異步數據庫驅動asyncdb。
前言
熱身篇 Kotlin基礎
第1章 認識Kotlin2
1.1 Java的發展2
1.1.1 Java 8的探索3
1.1.2 Java未來的樣子3
1.2 Scala的百寶箱3
1.2.1 學術和工業的平衡4
1.2.2 復閤但不復雜4
1.2.3 簡單卻不容易5
1.3 Kotlin—改良的Java5
1.3.1 Kotlin的實用主義6
1.3.2 更好的Java6
1.3.3 強大的生態8
1.4 本章小結8
第2章 基礎語法10
2.1 不一樣的類型聲明10
2.1.1 增強的類型推導11
2.1.2 聲明函數返迴值類型11
2.2 val和var的使用規則13
2.2.1 val的含義:引用不可變13
2.2.2 優先使用val來避免副作用14
2.2.3 var的適用場景15
2.3 高階函數和Lambda16
2.3.1 抽象和高階函數17
2.3.2 實例:函數作為參數的需求17
2.3.3 函數的類型19
2.3.4 方法和成員引用21
2.3.5 匿名函數22
2.3.6 Lambda是語法糖22
2.3.7 函數、Lambda和閉包25
2.3.8 “柯裏化”風格、擴展函數26
2.4 麵嚮錶達式編程29
2.4.1 錶達式比語句更安全30
2.4.2 Unit類型:讓函數調用皆為錶達式32
2.4.3 復閤錶達式:更好的錶達力33
2.4.4 枚舉類和when錶達式34
2.4.5 for循環和範圍錶達式37
2.4.6 中綴錶達式39
2.5 字符串的定義和操作41
2.5.1 定義原生字符串41
2.5.2 字符串模闆42
2.5.3 字符串判等43
2.6 本章小結43
下水篇 Kotlin核心
第3章 麵嚮對象46
3.1 類和構造方法46
3.1.1 Kotlin中的類及接口46
3.1.2 更簡潔地構造類的對象49
3.1.3 主從構造方法55
3.2 不同的訪問控製原則56
3.2.1 限製修飾符57
3.2.2 可見性修飾符61
3.3 解決多繼承問題64
3.3.1 騾子的多繼承睏惑64
3.3.2 接口實現多繼承65
3.3.3 內部類解決多繼承問題的方案67
3.3.4 使用委托代替多繼承69
3.4 真正的數據類71
3.4.1 煩瑣的JavaBean 71
3.4.2 用data class創建數據類 73
3.4.3 copy、componentN與解構75
3.4.4 數據類的約定與使用78
3.5 從static到object79
3.5.1 什麼是伴生對象79
3.5.2 天生的單例:object81
3.5.3 object錶達式82
3.6 本章小結84
第4章 代數數據類型和模式匹配85
4.1 代數數據類型85
4.1.1 從代數到類型86
4.1.2 計數87
4.1.3 積類型87
4.1.4 和類型與密封類88
4.1.5 構造代數數據類型89
4.2 模式匹配90
4.2.1 何為模式91
4.2.2 常見的模式92
4.2.3 處理嵌套錶達式93
4.2.4 通過Scala找點靈感95
4.2.5 用when力挽狂瀾97
4.3 增強 Kotlin 的模式匹配99
4.3.1 類型測試/類型轉換99
4.3.2 麵嚮對象的分解100
4.3.3 訪問者設計模式102
4.3.4 總結104
4.4 用代數數據類型來抽象業務105
4.4.1 從一個實際需求入手105
4.4.2 糟糕的設計105
4.4.3 利用ADT106
4.4.4 更高層次的抽象108
4.5 本章總結110
第5章 類型係統112
5.1 null引用:10億美元的錯誤112
5.1.1 null做瞭哪些惡112
5.1.2 如何解決NPE問題114
5.2 可空類型115
5.2.1 Java 8中的Optional115
5.2.2 Kotlin的可空類型118
5.2.3 類型檢查121
5.2.4 類型智能轉換122
5.3 比Java更麵嚮對象的設計124
5.3.1 Any:非空類型的根類型124
5.3.2 Any?:所有類型的根類型127
5.3.3 Nothing與Nothing?128
5.3.4 自動裝箱與拆箱128
5.3.5 “新”的數組類型129
5.4 泛型:讓類型更加安全130
5.4.1 泛型:類型安全的利刃130
5.4.2 如何在Kotlin中使用泛型131
5.4.3 類型約束:設定類型上界133
5.5 泛型的背後:類型擦除135
5.5.1 Java為什麼無法聲明一個泛型數組135
5.5.2 嚮後兼容的罪136
5.5.3 類型擦除的矛盾138
5.5.4 使用內聯函數獲取泛型139
5.6 打破泛型不變140
5.6.1 為什麼List不能賦值給List140
5.6.2 一個支持協變的List141
5.6.3 一個支持逆變的Comparator143
5.6.4 協變和逆變144
5.7 本章小結147
第6章 Lambda和集閤148
6.1 Lambda簡化錶達148
6.1.1 調用Java的函數式接口148
6.1.2 帶接收者的Lambda149
6.1.3 with和apply150
6.2 集閤的高階函數API151
6.2.1 以簡馭繁:map151
6.2.2 對集閤進行篩選:filter、count152
6.2.3 彆樣的求和方式:sumBy、sum、fold、reduce154
6.2.4 根據學生性彆進行分組:groupBy156
6.2.5 扁平化—處理嵌套集閤:flatMap、flatten157
6.3 集閤庫的設計159
6.3.1 集閤的繼承關係159
6.3.2 可變集閤與隻讀集閤160
6.4 惰性集閤163
6.4.1 通過序列提高效率163
6.4.2 序列的操作方式164
6.4.3 序列可以是無限的166
6.4.4 序列與Java 8 Stream對比166
6.5 內聯函數167
6.5.1 優化Lambda開銷168
6.5.2 內聯函數具體語法169
6.5.3 noinline:避免參數被內聯171
6.5.4 非局部返迴172
6.5.5 crossinline174
6.5.6 具體化參數類型174
6.6 本章小結175
第7章 多態和擴展176
7.1 多態的不同方式176
7.1.1 子類型多態176
7.1.2 參數多態177
7.1.3 對第三方類進行擴展178
7.1.4 特設多態與運算符重載178
7.2 擴展:為彆的類添加方法、屬性179
7.2.1 擴展與開放封閉原則179
7.2.2 使用擴展函數、屬性180
7.2.3 擴展的特殊情況183
7.2.4 標準庫中的擴展函數:run、let、also、takeIf186
7.3 Android中的擴展應用188
7.3.1 優化Snackbar188
7.3.2 用擴展函數封裝Utils189
7.3.3 解決煩人的findViewById190
7.4 擴展不是萬能的193
7.4.1 調度方式對擴展函數的影響193
7.4.2 被濫用的擴展函數196
7.5 本章小結197
第8章 元編程198
8.1 程序和數據199
8.1.1 什麼是元編程199
8.1.2 常見的元編程技術201
8.2 Kotlin的反射202
8.2.1 Kotlin和Java反射202
8.2.2 Kotlin的KClass205
8.2.3 Kotlin的KCallable206
8.2.4 獲取參數信息208
8.3 Kotlin的注解210
8.3.1 無處不在的注解211
8.3.2 精確控製注解的位置212
8.3.3 獲取注解信息213
8.4 本章小結216
潛入篇 Kotlin探索
第9章 設計模式218
9.1 創建型模式218
9.1.1 伴生對象增強工廠模式219
9.1.2 內聯函數簡化抽象工廠222
9.1.3 用具名可選參數而不是構建者模式224
9.2 行為型模式228
9.2.1 Kotlin中的觀察者模式228
9.2.2 高階函數簡化策略模式、模闆方法模式231
9.2.3 運算符重載和迭代器模式235
9.2.4 用偏函數實現責任鏈模式237
9.2.5 ADT實現狀態模式241
9.3 結構型模式244
9.3.1 裝飾者模式:用類委托減少樣闆代碼245
9.3.2 通過擴展代替裝飾者246
9.4 本章小結248
第10章 函數式編程249
10.1 函數式編程的特徵249
10.1.1 函數式語言之爭250
10.1.2 純函數與引用透明性251
10.1.3 代換模型與惰性求值253
10.2 實現Typeclass254
10.2.1 高階類型:用類型構造新類型255
10.2.2 高階類型和Typeclass256
10.2.3 用擴展方法實現Typeclass257
10.2.4 Typeclass設計常見功能258
10.3 函數式通用結構設計262
10.3.1 Monoid262
10.3.2 Monad264
10.3.3 Monad組閤副作用269
10.4 類型代替異常處理錯誤271
10.4.1 Option與OptionT272
10.4.2 Either與EitherT276
10.5 本章小結279
第11章 異步和並發281
11.1 同步到異步281
11.1.1 同步與阻塞的代價281
11.1.2 利用異步非阻塞來提高效率284
11.1.3 迴調地獄284
11.2 Kotlin的Coroutine286
11.2.1 多綫程一定優於單綫程嗎287
11.2.2 協程:一個更輕量級的“綫程”287
11.2.3 閤理地使用協程288
11.2.4 用同步方式寫異步代碼290
11.3 共享資源控製293
11.3.1 鎖模式293
11.3.2 Actor:有狀態的並行計算單元296
11.4 CQRS架構302
11.4.1 Event Sourcing事件溯源—記錄對象操作軌跡302
11.4.2 Kotlin with Akka Persistence-Actor304
11.5 本章小結310
遨遊篇 Kotlin實戰
第12章 基於Kotlin的Android架構314
12.1 架構方式的演變314
12.1.1 經典的 MVC 問題315
12.1.2 MVP316
12.1.3 MVVM320
12.2 單嚮數據流模型327
12.2.1 Redux327
12.2.2 單嚮數據流的優勢329
12.3 ReKotlin331
12.3.1 初見 ReKotlin331
12.3.2 創建基於ReKotlin的項目332
12.4 解耦視圖導航341
12.4.1 傳統導航的問題341
12.4.2 rekotlin-router342
12.5 本章小結343
第13章 開發響應式Web應用345
13.1 響應式編程的關鍵:非阻塞異步編程模型345
13.1.1 使用CompletableFuture實現異步非阻塞346
13.1.2 使用RxKotlin進行響應式編程347
13.1.3 響應式Web編程框架348
13.2 Spring 5:響應式Web框架349
13.2.1 支持響應式編程349
13.2.2 適配Kotlin350
13.2.3 函數式路由351
13.2.4 異步數據庫驅動353
13.3 Spring 5響應式編程實戰354
13.4 本章小結360
· · · · · · (
收起)
本書不是一本簡單介紹Kotlin語法應用的圖書,而是一部專注於幫助讀者深入理解Kotlin的設計理念,指導讀者實現Kotlin高層次開發的實戰型著作。書中深入介紹瞭Kotlin的核心語言特性、設計模式、函數式編程、異步開發等內容,並以Android和Web兩個平颱為背景,演示瞭Kotlin的實戰應用。
全書共13章,分為4個部分:
熱身篇—Kotlin基礎(第1~2章),簡單介紹瞭Kotlin設計哲學、生態及基礎語法,其中包括Kotlin與Scala、Java之間的關聯與對比,以及Kotlin的類型聲明的特殊性、val和var的使用、高階函數的使用、麵嚮錶達式編程的使用、字符串的定義與操作等內容;
下水篇—Kotlin核心(第3~8章),深入介紹瞭麵嚮對象、代數數據類型、模式匹配、類型係統、Lambda、集閤、多態、擴展、元編程等Kotlin開發核心知識,這是本書的重點,其中涉及很多開發者特彆關心的問題,比如多繼承問題、模式匹配問題、用代數數據類型抽象業務問題、泛型問題、反射問題等。
潛入篇—Kotlin探索(第9~11章),探索Kotlin在設計模式、函數式編程、異步和並發等編程領域的應用,其中包括對4大類設計模式、Typeclass實現、函數式通用結構設計、類型替代異常處理、共享資源控製、CQRS架構等重點內容的深入剖析;
遨遊篇—Kotlin實戰(第12~13章),著重演示瞭Kotlin在Android和Web平颱的實戰案例,其中涉及架構方式、單嚮數據流模型、解耦視圖導航、響應式編程、Spring 5響應式框架和編程等內容。