◆如果说面向对象是一种通过间接层来调用函数, 以换取一种抽象，那么泛型编程则是更直接的抽象，它不会因为间接层而损失效率;
    ◆不同于面向对象的动态期多态，泛型编程是一种静态期多态，通过编译器生成最直接的代码;
    ◆泛型编程可以将算法与特定类型，结构剥离，尽可能复用代码;

    1. #include <iostream>
    2. #include <string.h>
    4. using namespace std;
    6. template <class T>
    7. T maxValue(T a, T b){
    8.     cout << "maxValue(T a, T b)" << endl;
    9.     return a > b? a:b;
    10. }
    12. //特化处理
    13. template<>
    14. char* maxValue(char *a, char *b){
    15.     cout << "maxValue(char *a, char *b)" << endl;
    16.     return (strcmp(a, b) > 0?(a):(b));
    17. }
    19. template<class T1, class T2>
    20. int maxValue(T1 a, T2 b){
    21.     return static_cast<int>(a > b? a: b);
    22. }
    24. int main(){
    26.     cout << maxValue(1, 2) << endl;
    27.     cout << maxValue(1.0, 2.9) << endl;
    29.     char* s1 = "hello";
    30.     char* s2 = "world";
    32.     cout << maxValue(s1, s2) << endl;
    34.     cout << maxValue(1, '2') << endl;
    36.     return 0;
    37. }

    求和

    1. #include <iostream>
    3. using namespace std;
    5. template<int n>  //带个特殊值进去
    6. struct Sum{
    7.     enum Value{N = Sum<n-1>::N + n};
    8. };
    10. template <>
    11. struct Sum<1>{
    12.     enum  Value{ N = 1 };
    13. };
    15. int main(){
    17.     cout << Sum<100>::N << endl;
    19.     return 0;
    20. }

    模板编程的难点很大程度上在于对编译器的理解，我们需要知道怎么帮助编译器提供需要生成代码的信息;