0
点赞
收藏
分享

微信扫一扫

C++模板的类的展开

穆风1818 2022-02-08 阅读 89
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{};
举报

相关推荐

0 条评论