为什么我们在迭代可变模板参数时必须使用额外的构造

Why do we have to use additional construction when iterating variadic template parameters?

本文关键字：迭代 我们 参数 为什么      更新时间：2023-10-16

为什么在迭代可变模板参数时必须使用额外的构造，如（non()-函数、temp[]-数组或空[](...){}-lambda）？

众所周知，我们可以使用以下方法在C++中迭代具有可变模板的参数包：

http://ideone.com/GXDPDw

#include <iostream>
#include <cstdlib>
#include <valarray>
#include <numeric>
using namespace std;
template<typename ...Args> constexpr inline void non(Args ...) {}
template<typename T, typename ...Args>
inline T sum1(T val, Args ...args) { non(val += args ...); return val; }   // v1
// why do we need some function non() here?
template<typename T, typename ...Args>
inline T sum2(T val, Args ...args) { auto tmp = { val += args... }; return val; }   // v2
// why do we need some array tmp[] here?
template<typename T, typename ...Args>
inline T sum3(T val, Args ...args) { [](...){}((val += args)... ); return val; }   // v3
// why do we need empty lambda [](...){} here?
template<typename T, typename ...Args>
inline T sum4(T val, Args ...args) { for(auto &i:{ args... }) val += i; return val; }//v4
template<typename ...Args, typename T = common_type_t<Args...>>
inline T sum5(Args ...args) { return std::valarray<T>({ args... }).sum(); }   // v5

template<typename T> constexpr inline T sum6(T val) { return val; }
template<typename T, typename ...Args>
constexpr inline T sum6(T val, Args ...args) { return val + sum6(args...); }  // v6

int main() {    
    cout << sum1(1, 2, 3) << endl;
    cout << sum2(1, 2, 3) << endl;
    cout << sum3(1, 2, 3) << endl;
    cout << sum4(1, 2, 3) << endl;
    cout << sum5(1, 2, 3) << endl;
    cout << sum6(1, 2, 3) << endl;
    return 0;
}

但为什么我们需要使用：

  1. non(val += args ...);而不是val += args...;
  2. auto tmp = { val += args... };而不是val += args...;
  3. [](...){}((val += args)... );而不是val += args...;

它会更清晰、更容易使用，所以：

template<typename T, typename ...Args>
inline T sum(T val, Args ...args) { val += args...; return val; }

为什么标准中没有这种可能性，或者这种可能性会带来任何危险？

在C++17或更高版本中会有这样的可能性吗？

这是因为参数包必须在需要语法列表的上下文中展开。正常的函数作用域不是这样的上下文，所以不能只编写val += args...;。

然而，在C++17中，我们将获得fold表达式，这将允许您像这样重写代码：

template<typename T, typename ...Args>
inline T sum(T val, Args ...args) { (val += ... += args) ; return val; }

这将扩展到三个参数的(((val += arg0)) += arg1) += arg2)。

另一种选择是这样写：

val += (... + args);

这扩展到val += ((arg0 + arg1) + arg2)

Fold表达式还支持扩展涉及参数包的任意表达式，如下所示：

(foo(args), ...);
((mymap[args] = 42), ...);

这使您能够轻松地在函数范围内使用参数包扩展表达式。

TarlanLlama给出了答案。

在C++17中http://en.cppreference.com/w/cpp/language/fold您可以重写为：

template<typename ...Args>
decltype(auto) sum(Args ...args) {
  return (... + args);
}

现场演示http://coliru.stacked-crooked.com/a/801be0c57eca8890

相关文章：