[C++知识库]C++模板的类的展开

突然明白了C++模板的类的展开
也就是C++模板的递归

template<int i>
struct sum {
    enum {
        value = i + sum<i-1>::value
    };
};

// 对i = 1特化
template<>
struct sum<0> {
    enum{
        value = 1
    };
};

int main() {
    std::cout << sum<20>::value << std::endl;
    return 0;
}

当实例化模板类的时候需要传递 模板参数
c++的语法使用classname 也就是 xxx不同就是不同的模板，也就是他实际的值不同就是不同的模板类
对应上面的类就是
sum<20>
sum<19>
sum<18>
sum<17>
sum<16>
…
sum<0>
直到最后一个结果0位置，递归结束
仅仅是值类型的参数才可以递归，

tamplate 参数类型
有以下三种：

（1）模板的类型形参 (type parameter)

template<typename T>
template<class T>

（2）模板的非类型形参 (non-type parameter)

模板的非类型行参只有以下几种形式

整型或枚举型
到对象的指针或函数指针
到对象的引用或函数引用
成员指针
? 因此，以下几种代码都是可以接受的

template<int a> struct A {};
template<int* b> struct B {};
template<void f(int)> struct C{};

（3）模板形参 (template template parameter)

模板行参的意思是模板里面可以是另一个模板，如

template<template<typename T>> class X{};