Question

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

我现在所拥有的显然不起作用：

#include <array>
#include <iostream>
#include <utility>

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

int main(int argc, char *argv[]) {
    constexpr std::array<int, 3> 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）？

Answer 1

您可以通过以下方式完成此操作：

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

template <class T, size_t... Is, size_t N>
constexpr std::array<T, N> multiply(std::array<T, N> const &src, 
                                    std::index_sequence<Is...>) {
  return std::array<T, N>{{mult(src[Is], src[Is])...}}; 
}

Live Demo

或者如果您想乘以一个数字，您可以改为：

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

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

Live Demo

在cppreference中解释：

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

支持初始化
初始化列表
汇总初始化
函数调用
数组初始化

编辑：

作为T.C.在评论中指出你也可以这么简单：

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

Live Demo

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

1 个答案: