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

syn*_*gma 10 c++ template-meta-programming c++11 stdarray

我想将一个转换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;
}
Run Code Online (Sandbox Code Playgroud)

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

101*_*010 14

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

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])...}}; 
}
Run Code Online (Sandbox Code Playgroud)

现场演示

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

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)...}}; 
}
Run Code Online (Sandbox Code Playgroud)

现场演示

正如cppreference中所解释的那样:

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

  • 支持初始化
  • 初始化列表
  • 聚合初始化
  • 函数调用
  • 数组初始化

编辑:

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

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)...}}; 
}
Run Code Online (Sandbox Code Playgroud)

现场演示

  • `{{(src [Is]*mul)...}}`甚至`{{src [Is]*mul ...}}`工作正常.使用额外功能毫无意义. (4认同)