C++ 17 使用可变参数模板参数（参数包）时，折叠表达式和 if constexpr 有什么区别

Question

我试图理解处理参数包/可变参数模板参数的两种方法之间的区别。

下面的链接文章中提到了两种方法。

• 折叠表达式
• if constexpr （我不知道这是否有正式名称）

链接到文章

具体来说，我有兴趣知道编译器如何编译这两种方法，以及输出是否是单个函数，或者输出是否包含递归函数调用。

更广泛地说，使用这两种方法的优点或缺点是什么（如果有需要注意的话）。

（我从是否有可能因过多的嵌套函数调用而产生堆栈溢出的角度来思考这一点。）

我对本文中所写内容的解释是 if constexpr 方法在编译后会生成多个单个函数调用，每个函数调用一个，其参数数量不同。

然而我可能误解了这一点。

换句话说，我将其解释为如果程序包含对可变参数模板函数的两个函数调用，并且其中一个函数调用包含 3 个参数，另一个包含 5 个参数，则编译器会生成两个单独的函数，其中一个函数带有3 个参数，一个与 5 个参数。但我对此可能是错的。

谁能澄清一下情况吗？

Answer 1

首先，这

template <class... Ts>
void print_all(std::ostream& os, Ts const&... args) {
    ((os << args), ...);
}

是一个模板，该模板将仅生成一个函数这样的函数：

print_all(std::cout, "hello", ' ', "there", 5, "arguments");

其次，此：

template <class T, class... Ts>
void print_all(std::ostream& os, T const& first, Ts const&... rest) {
    os << first;

    if constexpr (sizeof...(rest) > 0) {        
        // this line will only be instantiated if there are further
        // arguments. if rest... is empty, there will be no call to
        // print_all(os). 
        print_all(os, rest...);
    }
}

是一个模板，将为同一调用生成5个函数。情况如下：

• print_all（std :: cout，“ hello”，''，''，''，5，“参数”）
• print_all（std :: cout :: cout，'''， “那里”，5，“参数”）
• print_all（std :: cout，“ were”，5，gragments'）
• print_all（std :: cout，5，5，5， “参数”）
• print_all（std :: cout，“ granments”）

Answer 2

折叠表达式是操作参数包的一种简单方法：

template<typename ...Args>
void print(const Args& ...args) {
    (std::cout << ... << args) << std::endl;
}

它是一个将展开 ... 的语法糖。 （如果没有折叠表达式，则必须使用 template 并递归获取 ... 中的每个内容）

---

if constexpr< /code> 是在 comile-time 运行的 if 语句。

template<typename T>
auto print_type_info(const T& t) {
    if constexpr (std::is_integral<T>::value) {
        return t + 1;
    } else {
        return t + 0.001;
    }
}

// Compiler will instancelize it like:

int print_type_info(const int& t) {
    return t + 1;
}

double print_type_info(const double& t) {
    return t + 0.001;
}

结论：
它们只是更干净的语法，并且在使用时没有明显的问题。

这只是我的理解。如果有任何错误，请告诉我。 :)