在编译时将std :: array的每个元素相乘

我想将一个转换std::array为另一个std::array,将每个元素乘以一个特定的数字.

我现在拥有的东西显然不起作用:

#include 
#include 
#include 

template 
constexpr std::array multiply(std::array const &src,
                                  std::index_sequence) {
    return std::array{{src[Is]...}}; // How can I multiply each of src's elements?
}

int main(int argc, char *argv[]) {
    constexpr std::array arr = {1, 2, 3};
    constexpr auto t = multiply(arr, std::make_index_sequence<3>{});
    for (auto &el : t) std::cout << el << std::endl;
    return 0;
}

我的问题是:如何在编译时迭代每个元素,或者如何在编译时应用相同的函数(在我的情况下:乘以2)？

您可以通过以下方式执行此操作:

template
constexpr T mult(T const &a, T const &b) { return a * b; }

template 
constexpr std::array multiply(std::array const &src, 
                                    std::index_sequence) {
  return std::array{{mult(src[Is], src[Is])...}}; 
}

现场演示

或者,如果您想乘以一个数字,您可以更改为:

template
constexpr T mult(T const &a, T const &b) { return a * b; }

template 
constexpr std::array multiply(std::array const &src, 
                                    std::index_sequence, T const &mul) {
  return std::array{{mult(src[Is], mul)...}}; 
}

现场演示

正如cppreference中所解释的那样:

后跟省略号的模式,其中至少一个参数包的名称至少出现一次,将扩展为模式的零个或多个以逗号分隔的实例化,其中参数包的名称由每个类型替换从包装,按顺序.包扩展只能在包扩展上下文中发生.这些基本上是:

支持初始化

初始化列表

聚合初始化

函数调用

数组初始化

编辑:

正如TC在评论中指出的那样,你也可以这么简单:

template 
constexpr std::array multiply(std::array const &src, std::index_sequence, T const &mul) {
  return std::array{{(src[Is] * mul)...}}; 
}

现场演示