《C++ Templates 中文版》[陳偉柱譯] 續1

第2部分 深入模板  
第8章 深入模板基礎  
8.1 參數化聲明
 8.1.1 虛成員函數 【成員函數模板不能是虛函數】
 8.1.2 模板的鏈接 【缺省是外部的、extern "C++"的。static可以限制在內。所以不能在函數內部聲明模板】
 8.1.3 基本模板 【普通聲明-->只有一頂尖帽子的聲明-->基本模板】
8.2 模板參數 【類型>非類型>模板參數】【如果不用可以不寫，可以引用前面參數-->只要能推導】
 8.2.1 類型參數 【T不能被class之類修飾】
 8.2.2 非類型參數
【也可能出現typename（受限名稱必需！）：typename T::stack s】
【區別很明顯，】
 8.2.3 模板的模板參數 【應該只能是類模板】
 8.2.4 缺省模板實參 【只有類模板纔能有？】
8.3 模板實參
 8.3.1 函數模板實參  【SFINAG允許創建無效表達，不許計算之-->類型檢查】
 8.3.2 類型實參  
 8.3.3 非類型實參  
 8.3.4 模板的模板實參
 8.3.5 實參的等價性  
8.4 友元  
 8.4.1 友元函數
 8.4.2 友元模板
8.5 本章後記
第9章  模板中的名稱
9.1 名稱的分類
9.2 名稱查找
 9.2.1 Argument-Dependent Lookup（ADL）
 9.2.2 友元名稱插入
 9.2.3 插入式類名稱
9.3 解析模板
 9.3.1 非模板中的上下文相關性
 9.3.2 依賴型類型名稱
 9.3.3 依賴型模板名稱
 9.3.4 Using-Declarations中的依賴型名稱
 9.3.5 ADL和顯式模板實參  
9.4 派生和類模板  
 9.4.1 非依賴型基類  
 9.4.2 依賴型基類  
9.5 本章後記  
第10章 實例化  
10.1 On-Demand實例化  
10.2 延遲實例化  
10.3 C++的實例化模型  
 10.3.1 兩階段查找  
 10.3.2 POI   
 10.3.3 包含模型與分離模型  
 10.3.4 跨翻譯單元查找  
 10.3.5 例子  
10.4 幾種實現方案  
 10.4.1 貪婪實例化
 10.4.2 詢問實例化
 10.4.3 迭代實例化
10.5 顯式實例化
10.6 本章後記

第11章 模板實參演繹 【否則代碼複雜】
11.1 演繹的過程
11.2 演繹的上下文  
11.3 特殊的演繹情況  
11.4 可接受的實參轉型  
11.5 類模板參數  
11.6 缺省調用實參  
11.7 Barton－Nackman方法  
11.8 本章後記
 
第12章 特化與重載  
12.1當泛型代碼不再適用的時候  
 12.1.1透明自定義  
 12.1.2語義的透明性  
12.2 重載函數模板  
 12.1.1 簽名  
 12.2.2 重載的函數模板的局部排序 
 12.2.3 正式的排序原則  
 12.2.4 模板和非模板  
12.3 顯式特化  
 12.3.1 全局的類模板特化  
 12.3.2 全局的函數模板特化  
 12.3.3 全局成員特化  
12.4 局部的類模板特化  
12.5 本章後記  
第13章 未來的方向  
13.1 尖括號Hack  
13.2 放鬆typename的原則  
13.3 缺省函數模板實參  
13.4 字符串文字和浮點型模板實參  
13.5 放鬆模板的模板參數的匹配  
13.6 typedef模板  
13.7 函數模板的局部特化  
13.8 typeof運算符  
13.9 命名模板實參  
13.10 靜態屬性
13.11 客戶端的實例化診斷信息  
13.12 重載類模板  
13.13 List參數  
13.14 佈局控制  
13.15 初始化器的演繹  
13.16 函數表達式  
13.17 本章後記