C++之模板超程式設計

關於模板原程式設計知識強烈推薦：http://blog.jobbole.com/83461/，非常好！

這篇文章通過舉例詳細介紹了模板的模板引數，模板特例化，模板例項化以及編譯連結等模板基礎知識。

本文主要分析文章中的模板超程式設計例子：

首先複述一下模板超程式設計，以下標紅或者加粗的地方是模板超程式設計的精髓：

從程式設計範型（programming paradigm）上來說，C++ 模板是函數語言程式設計（functional programming），它的主要特點是：函式呼叫不產生任何副作用（沒有可變的儲存），用遞迴形式實現迴圈結構的功能。C++ 模板的特例化提供了條件判斷能力

，而模板遞迴巢狀提供了迴圈的能力，這兩點使得其具有和普通語言一樣通用的能力（圖靈完備性）。

從程式設計形式來看，模板的“<>”中的模板引數相當於函式呼叫的輸入引數，模板中的 typedef 或 static const 或 enum 定義函式返回值（型別或數值，數值僅支援整型，如果需要可以通過編碼計算浮點數），程式碼計算是通過型別計算進而選擇型別的函式實現的（C++ 屬於靜態型別語言，編譯器對型別的操控能力很強）

模板下的控制結構：

template < bool c , typename Then ,

typename Else > class IF_ { } ; template < typename Then , typename Else > class IF_ < true , Then , Else > { public : typedef Then reType ;

} ; template < typename Then , typename Else > class IF_ < false , Then , Else > { public : typedef Else reType ; } ; // 隱含要求： Condition 返回值 ret，Statement 有型別 Next template < template < typename > class Condition , typename Statement > class WHILE_ { template < typename Statement > class STOP { public : typedef Statement reType ; } ; public : typedef typename IF_ < Condition < Statement > :: ret , WHILE_ < Condition , typename Statement :: Next > , STOP < Statement >> :: reType :: reType reType ; } ;
template < int n , int e > class sum_pow { template < int i , int e > class pow_e { public : enum { ret = i * pow_e < i ,

C++之模板超程式設計

C++之模板超程式設計

現代c++與模板超程式設計

c++模板超程式設計：std::invoke原始碼分析及其實現

c++模板超程式設計七：型別判斷的traits類

C++模板超程式設計

C++模板超程式設計----選擇排序

C++模板超程式設計----快速排序

C++模板超程式設計----堆排序

現代c++模板超程式設計：遍歷tuple

C++之模板Template的使用

基於Visual C++之Windows核心程式設計程式碼分析（1）實現裝置管理器列舉裝置

C++之模板

模板超程式設計（2）：計算最值

模板超程式設計（3）：型別選擇

模板超程式設計（1）：選擇API

C++之模板詳解（一）

基於visual c++之windows核心程式設計程式碼分析（21）獲取和設定環境變數

Item 48：瞭解模板超程式設計

C++11模版超程式設計

C++自動化(模板元)程式設計基礎與應用

C++之模板超程式設計

相關推薦