C++函數(shù)式編程

目錄
譯者序
致謝
前言
關(guān)于本書
關(guān)于作者
第1 章 函數(shù)式編程簡(jiǎn)介
1.1 什么是函數(shù)式編程？
1.1.1 與面向?qū)ο缶幊痰年P(guān)系
1.1.2 命令式與聲明式編程的比較
1.2 純函數(shù)（Pure functions）
1.2.1 避免可變狀態(tài)
1.3 以函數(shù)方式思考問題 ·
1.4 函數(shù)式編程的優(yōu)點(diǎn)
1.4.1 代碼簡(jiǎn)潔易讀
1.4.2 并發(fā)和同步
1.4.3 持續(xù)優(yōu)化
1.5 C 作為函數(shù)式編程語言的進(jìn)化
1.6 將會(huì)學(xué)到什么
總結(jié)
第2 章 函數(shù)式編程之旅
2.1 函數(shù)使用函數(shù)？
2.2 STL 實(shí)例
2.2.1 求平均值
2.2.2 折疊（Folding）
2.2.3 刪除字符串空白符
2.2.4 基于謂詞分割集合
2.2.5 過濾（Filtering）和轉(zhuǎn)換（Transforming）
2.3 STL 算法的可組合性
2.4 編寫自己的高階函數(shù)
2.4.1 接收函數(shù)作為參數(shù)
2.4.2 用循環(huán)實(shí)現(xiàn)
2.4.3 遞歸（Recursion）和尾調(diào)用優(yōu)化（Tail-call optimization）
2.4.4 使用折疊實(shí)現(xiàn)
總結(jié)
第3 章 函數(shù)對(duì)象
3.1 函數(shù)和函數(shù)對(duì)象
3.1.1 自動(dòng)推斷返回值類型
3.1.2 函數(shù)指針
3.1.3 調(diào)用操作符重載
3.1.4 創(chuàng)建通用函數(shù)對(duì)象
3.2 lambda 和閉包（Closure）
3.2.1 lambda 語法
3.2.2 lambda 詳解
3.2.3 在lambda 中創(chuàng)建任意成員變量
3.2.4 通用lambda 表達(dá)式
3.3 編寫比lambda 更簡(jiǎn)潔的函數(shù)對(duì)象
3.3.1 STL 中的操作符函數(shù)對(duì)象
3.3.2 其他庫中的操作符函數(shù)對(duì)象
3.4 用std::function 包裝函數(shù)對(duì)象
總結(jié)
第4 章 以舊函數(shù)創(chuàng)建新函數(shù)
4.1 偏函數(shù)應(yīng)用
4.1.1 把二元函數(shù)轉(zhuǎn)換成一元函數(shù)的通用方法
4.1.2 使用std::bind 綁定值到特定的函數(shù)參數(shù)
4.1.3 二元函數(shù)參數(shù)的反轉(zhuǎn)
4.1.4 對(duì)多參數(shù)函數(shù)使用std::bind
4.1.5 使用lambda 替代std::bind
4.2 柯里化（Currying）：看待函數(shù)不同的方式
4.2.1 創(chuàng)建柯里化函數(shù)的簡(jiǎn)單方法
4.2.2 數(shù)據(jù)庫訪問柯里化
4.2.3 柯里化與偏函數(shù)應(yīng)用
4.3 函數(shù)組合
4.4 函數(shù)提升（復(fù)習(xí)）
4.4.1 鍵值對(duì)列表反轉(zhuǎn)
總結(jié)
第5 章 純潔性：避免可變狀態(tài)
5.1 可變狀態(tài)帶來的問題
5.2 純函數(shù)和引用透明
5.3 無副作用編程
5.4 并發(fā)環(huán)境中的可變狀態(tài)與不可變狀態(tài)
5.5 const 的重要性
5.5.1 邏輯const 與內(nèi)部const
5.5.2 對(duì)于臨時(shí)值優(yōu)化成員函數(shù)
5.5.3 const 的缺陷
總結(jié)
第6 章 惰性求值
6.1 C 的惰性
6.2 惰性作為一種優(yōu)化技術(shù)
6.2.1 集合惰性排序
6.2.2 用戶接口中的列表視圖
6.2.3 通過緩存函數(shù)結(jié)果修剪遞歸樹
6.2.4 動(dòng)態(tài)編程作為惰性形式
6.3 通用記憶化（Generalized memoization）
6.4 表達(dá)式模板與惰性字符串拼接
6.4.1 純潔性與表達(dá)式模板
總結(jié)
第7 章 range
7.1 range 簡(jiǎn)介
7.2 創(chuàng)建數(shù)據(jù)的只讀視圖
7.2.1 range 的filter 函數(shù)
7.2.2 range 的transform 函數(shù)
7.2.3 range 惰性求值
7.3 修改range 中的值
7.4 定界rang 和無限r(nóng)ange
7.4.1 用定界range 優(yōu)化用于輸入的range
7.4.2 用哨兵創(chuàng)建無限r(nóng)ange
7.5 用range 統(tǒng)計(jì)詞頻
總結(jié)
第8 章 函數(shù)式數(shù)據(jù)結(jié)構(gòu)
8.1 不可變鏈表（Immutable linked lists）
8.1.1 在表頭添加和刪除元素
8.1.2 在鏈表末尾添加和刪除元素
8.1.3 在鏈表中間添加和刪除元素
8.1.4 內(nèi)存管理
8.2 不可變類向量結(jié)構(gòu)
8.2.1 位圖向量樹中的元素查找
8.2.2 向位圖向量樹追加元素
8.2.3 位圖向量樹的修改
8.2.4 在位圖向量樹的末尾刪除元素
8.2.5 其他操作和位圖向量樹的整體效率
總結(jié)
第9 章 代數(shù)數(shù)據(jù)類型及模式匹配
9.1 代數(shù)數(shù)據(jù)類型
9.1.1 通過繼承實(shí)現(xiàn)和類型
9.1.2 通過union 和std::variant 實(shí)現(xiàn)和類型
9.1.3 特定狀態(tài)的實(shí)現(xiàn)
9.1.4 特殊的和類型：Optional
9.1.5 和類型用于錯(cuò)誤處理
9.2 使用代數(shù)數(shù)據(jù)類型進(jìn)行域建模
9.2.1 原始的方法及其缺點(diǎn)
9.2.2 更復(fù)雜的方法：自上而下的設(shè)計(jì)
9.3 使用模式匹配更好地處理代數(shù)數(shù)據(jù)類型
9.4 Mach7 的強(qiáng)大匹配功能
總結(jié)
第10 章 monad
10.1 仿函數(shù)并不是以前的仿函數(shù)
10.1.1 處理可選值
10.2 monad：更強(qiáng)大的仿函數(shù)
10.3 基本的例子
10.4 range 與monad 的嵌套使用
10.5 錯(cuò)誤處理
10.5.1 std::optional作為monad
10.5.2 expected作為monad
10.5.3 try monad
10.6 monad 狀態(tài)處理
10.7 并發(fā)和延續(xù)monad
10.7.1 future 作為monad
10.7.2 future 的實(shí)現(xiàn)
10.8 monad 組合
總結(jié)
第11 章 模板元編程
11.1 編譯時(shí)操作類型
11.1.1 推斷類型調(diào)試
11.1.2 編譯時(shí)的模式匹配
11.1.3 提供類型的元信息
11.2 編譯時(shí)檢查類型的屬性
11.3 構(gòu)造科里化函數(shù)
11.3.1 調(diào)用所有可調(diào)用的
11.4 DSL 構(gòu)建塊
總結(jié)
第12 章 并發(fā)系統(tǒng)的函數(shù)式設(shè)計(jì)
12.1 Actor 模型：組件思想
12.2 創(chuàng)建簡(jiǎn)單的消息源
12.3 將反應(yīng)流建模為monad
12.3.1 創(chuàng)建宿（Sink）接收消息
12.3.2 轉(zhuǎn)換反應(yīng)流
12.3.3 創(chuàng)建給定值的流
12.3.4 連接流
12.4 過濾反應(yīng)流
12.5 反應(yīng)流的錯(cuò)誤處理
12.6 響應(yīng)客戶端
12.7 創(chuàng)建狀態(tài)可修改的Actor
12.8 用Actor 編寫分布式系統(tǒng)
總結(jié)
第13 章 測(cè)試與調(diào)試
13.1 程序編譯正確嗎？
13.2 單元測(cè)試與純函數(shù)
13.3 自動(dòng)產(chǎn)生測(cè)試