c++ - 折叠表达式 vs 编译递归

Question

在 c++17 中，我们有折叠表达式，它可以大大简化原本可以使用编译器递归和 SFINAE 或重载实现的代码。例如，在下面的代码中

#include <iostream>
#include <utility>

template<typename ...Args>
void printer(Args&&... args) {
  (std::cout << ... << args) << '\n';
}

void printer_cpp11() { }

template <typename First, typename ...Args>
void printer_cpp11(First&& first, Args&&... args)
{
  std::cout << first;
  printer_cpp11(std::forward<Args>(args)...);
}

int main()
{
  printer(3, 4, "hello");

  std::cout << std::endl;

  printer_cpp11(3, 4, "hello");

  return 0;
}

c++17 函数 printer(取自 cpp reference)与其 c++11 版本做完全相同的工作printer_cpp11。

在编译时，生成函数 printer_cpp11 的多个重载，而使用折叠表达式需要单个函数 printer。

与 c++11 风格相比，使用折叠表达式在性能方面是否有优势？或者是否可以假设编译器内联 printer_cpp11 的所有重载，从而创建具有同等性能的代码？

Answer 1

由于内联，两个版本将导致相同的代码生成，因此运行时性能完全相同:https://gcc.godbolt.org/z/VIHTvZ (清除流困惑的代码)。

但是，与递归实例化相比，折叠表达式的编译时间和内存使用预计会更好，因此，折叠表达式通常是首选。更不用说它们还提供了更清晰、更易于推理的代码。