C++函數式編程
作 者: (塞爾)伊凡·庫奇(Ivan Cukic) 著 程繼洪,孫玉梅,婁山佑 譯
定 價: 99
出?版?社: 機械工業出版社
出版日期: 2020年01月01日
頁 數: 262
裝 幀: 平裝
ISBN: 9787111641988
●譯者序 致謝 前言 關於本書 關於作者 章函數式編程簡介 1.1什麼是函數式編程？ 1.1.1與面向對像編程的關繫 1.1.2命令式與聲明式編程的比較 1.2純函數（Pure functions） 1.2.1避免可變狀態 1.3以函數方式思考問題 1.4函數式編程的優點 1.4.1代碼簡潔易讀 1.4.2並發和同步 1.4.3持續優化 1.5C++作為函數式編程語言的進化 1.6將會學到什麼 總結 第2章函數式編程之旅 2.1函數使用函數？ 2.2STL實例 2.2.1求平均值 2.2.2折疊（Folding） 2.2.3刪除字符串空白符 2.2.4基於謂詞分割集合 2.2.5過濾（Filtering）和轉換（Transforming） 2.3STL算法的可組合性 2.4編寫自己的高階函數 2.4.1接收函數作為參數 2.4.2用循環實現 2.4.3遞歸（Recursion）和尾調用優化（Tail-call optimization） 2.4.4使用折疊實現 總結 第3章函數對像 3.1函數和函數對像 3.1.1自動推斷返回值類型 3.1.2函數指針 3.1.3調用操作符重載 3.1.4創建通用函數對像 3.2lambda和閉包（Closure） 3.2.1lambda語法 3.2.2lambda詳解 3.2.3在lambda中創建任意成員變量 3.2.4通用lambda表達式 3.3編寫比lambda更簡潔的函數對像 3.3.1STL中的操作符函數對像 3.3.2其他庫中的操作符函數對像 3.4用std：：function包裝函數對像 總結 第4章以舊函數創建新函數 4.1偏函數應用 4.1.函數轉函數的通用方法 4.1.2使用std：：bind綁定值到特定的函數參數 4.1函數參數的反轉 4.1.4對多參數函數使用std：：bind 4.1.5使用lambda替代std：：bind 4.2柯裡化（Currying）：看待函數不同的方式 4.2.1創建柯裡化函數的簡單方法 4.2.2數據庫訪問柯裡化 4.2.3柯裡化與偏函數應用 4.3函數組合 4.4函數提升（復習） 4.4.1鍵值對列表反轉 總結 第5章純潔性：避免可變狀態 5.1可變狀態帶來的問題 5.2純函數和引用透明 5.3無副作用編程 5.4並發環境中的可變狀態與不可變狀態 5.5const的重要性 5.5.1邏輯const與內部const 5.5.2對於臨時值優化成員函數 5.5.3const的缺陷 總結 第6章惰性求值 6.1C++的惰性 6.2惰性作為一種優化技術 6.2.1集合惰性排序 6.2.2用戶接口中的列表視圖 6.2.3通過緩存函數結果修剪遞歸樹 6.2.4動態編程作為惰性形式 6.3通用記憶化（Generalized memoization） 6.4表達式模板與惰性字符串拼接 6.4.1純潔性與表達式模板 總結 第7章range 7.1range簡介 7.2創建數據的隻讀視圖 7.2.1range的filter函數 7.2.2range的transform函數 7.2.3range惰性求值 7.3修改range中的值 7.4定界rang和無限range 7.4.1用定界range優化用於輸入的range 7.4.2用哨兵創建無限range 7.5用range統計詞頻 總結 第8章函數式數據結構 8.1不可變鏈表（Immutable linked lists） 8.1.1在表頭添加素 8.1.2在鏈表末尾添加素 8.1.3在鏈表中間添加素 8.1.4內存管理 8.2不可變類向量結構 8.2.1位圖向量素查找 8.2.2向位圖向量素 8.2.3位圖向量樹的修改 8.2.4在位圖向量樹的末素 8.2.5其他操作和位圖向量樹的整體效率 總結 第9章代數數據類型及模式匹配 9.1代數數據類型 9.1.1通過繼承實現和類型 9.1.2通過union和std：：variant實現和類型 9.1.3特定狀態的實現 9.1.4特殊的和類型：Optional 9.1.5和類型用於錯誤處理 9.2使用代數數據類型進行域建模 9.2.1原始的方法及其缺點 9.2.2更復雜的方法：自上而下的設計 9.3使用模式匹配更好地處理代數數據類型 9.4Mach7的強大匹配功能 總結 0章monad 10.1仿函數並不是以前的仿函數 10.1.1處理可選值 10.2monad：更強大的仿函數 10.3基本的例子 10.4range與monad的嵌套使用 10.5錯誤處理 10.5.1std：：optional作為monad 10.5.2expected作為monad 10.5.3trymonad 10.6monad狀態處理 10.7並發和延續monad 10.7.1future作為monad 10.7.2future的實現 10.8monad組合 總結 1編程 11.1編譯時操作類型 11.1.1推斷類型調試 11.1.2編譯時的模式匹配 11.1.3提供信息 11.2編譯時檢查類型的屬性 11.3構造科裡化函數 11.3.1調用所有可調用的 11.4DSL構建塊 總結 2章並發繫統的函數式設計 12.1Actor模型：組件思想 12.2創建簡單的消息源 12.3將反應流建模為monad 12.3.1創建宿（Sink）接收消息 12.3.2轉換反應流 12.3.3創建給定值的流 12.3.4連接流 12.4過濾反應流 12.5反應流的錯誤處理 12.6響應客戶端 12.7創建狀態可修改的Actor 12.8用Actor編寫分布式繫統 總結 3章測試與調試 13.1程序編譯正確嗎？ 13測試與純函數 13.3自動產生測試 13.3.1產生測試用例 13.3.2基於規則的測試 13.3.3比較測試 13.4測試基於monad的並發繫統 總結
內容簡介
《C++函數式編程》介紹了C++的面向函數式編程。面向函數式編程是繼面向對像編程之後又一編程範式，解決了命令式（過程式）編程與面向對像編程中出現的問題，是一種極具潛力的編程方式，值得研究學習。主要講解了函數對像、純潔性（Purity）、惰性求值、range、函數式數據結構、代數類型及模式匹配、monad編程、並發的函數式設計，以及測試與調試等有關內容，還介紹了使用原有函數創建新函數的知識。
《C++函數式編程》不僅可以作為C++程序員、編程愛好者以及軟件工程師學習函數式編程的參考書，還可以作為高等院校C++編程語言的不錯教材。
編程是一門罕見的學科，通過它可以從無到有地創建一些東西。編程可以根據自己的意志創建想要的東西，唯一需要的就是一臺電腦。我在上學的時候，大部分的編程課集中於命令式編程——首先是面向過程的C 語言，然後是面向對像編程的C++和Java。在我的大學裡情況也沒有太大的改變——主要的編程思想還是面向對像的編程（OOP）。在這段時間，幾乎使我認為所有的語言在概念上都是相同的——隻不過語法不同，在學習了某種語言的基礎之後，如循環和分支，通過很小的調整就可以編寫其他程序。次接觸函數式編程語言是在大學中，在課堂上學習了Lisp 語言。我的直覺反應是使用Lisp 來模擬if-then-else 語句和for 循環，這樣可以真正使它變得有用。不是使我的認識適合語言，卻決定使語言適合我的想法，以便用C 的方式編程。我隻想說那時候，沒有看到函數式編程的任何意義——Lisp 可以做的，用C 語言就可以實現，而且更加簡......
"
