modern-CPP：constexpr的条件判断（控制流）和模板

阅读笔记

原文链接

控制流

constexpr 关键字的存在，可以将表达式或者函数在编译时，就转为为函数结果，我们可以利用这一点，将其在条件判断当中使用。

例如：

模板

模板的哲学在于将一切能够在编译期处理的问题丢到编译期进行处理，仅在运行时处理那些最核心的动态服务

• C++11 引入了外部模板，使我们能够显式的通知编译器何时进行模板的实例化,或者不进行实例化。

template class std::vector<bool>;          // 强行实例化
extern template class std::vector<double>; // 不在该当前编译文件中实例化模板

using与模板

对比以下两中方法，来定义函数指针

// 使用typedef定义一个名为handler的函数指针

typedef void (*handler)(int, const char*);

//使用 using（更为推荐）：
using handler = void(*)(int, const char*);

// using还支持模板
using TrueDarkMagic = MagicType<std::vector<T>, std::string>;

变长参数模板

写法：

template<typename... Ts> class Magic;

Magic 的对象，能够接受不受限制个数的 typename 作为模板的形式参数，例如下面的定义：

class Magic<int,
            std::vector<int>,
            std::map<std::string,
            std::vector<int>>> darkMagic;

解包参数

1.递归模板函数（比较冗余）

#include <iostream>
template<typename T0>
void printf1(T0 value) {
    std::cout << value << std::endl;
}

template<typename T, typename... Ts>
void printf1(T value, Ts... args) {
	 //注意这里的sizeof
    std::cout << "我的大小：" << sizeof...(args) << std::endl;
    std::cout << value << std::endl;
    printf1(args...);
}

int main() {
    printf1(1, 2, "123", 1.1);
    return 0;
}

输出

我的大小：3
1
我的大小：2
2
我的大小：1
123
1.1

2.变参模板展开

• 使用sizeof直接计算参数的个数