18、C++元编程：可变参数模板、异构容器与反射的实用指南

C++元编程：可变参数模板、异构容器与反射的实用指南

1. 可变参数模板参数包

可变参数模板参数包使程序员能够创建可以接受任意数量参数的模板函数。

1.1 可变数量参数函数示例

如果不使用可变参数模板参数包来创建一个将任意数量参数转换为字符串的函数，我们需要为每个不同数量的参数创建一个单独的函数：

// 一个参数的情况 template <typename T0> auto make_string(const T0& v0) -> std::string { auto sstr = std::ostringstream{}; sstr << v0; return sstr.str(); } // 两个参数的情况 template <typename T0, typename T1> auto make_string(const T0& v0, const T1& v1) -> std::string { return make_string(v0) + " " + make_string(v1); } // 三个参数的情况 template <typename T0, typename T1, typename T2> auto make_string(const T0& v0, const T1& v1, const T2& v2) -> std::string { return make_string(v0, v1) + " " + mak