c++ - 如何在 C++ 中实现两个 vector 的编译时间乘积

Question

大小为“N”的两个 vector 的标量积定义为 SP(a, b) = a_1 * b_1 + ... + a_N * b_N。

编译时整数 vector 定义为:

template<int... I>
struct Vector;

功能产品界面:

template<typename Vector1, typename Vector2>
constexpr int product

例如，以下代码可用于测试:

static_assert(product<Vector<1, 2, 5>, Vector<1, 3, 4>> == 27);

产品如何实现以匹配上面的断言和接口(interface)？

Answer 1

使用 C++17 折叠

template <int...>
struct Vector
 { };

template <typename, typename>
constexpr int product = -1;

template <int ... Is, int ... Js>
constexpr int product<Vector<Is...>, Vector<Js...>> = (... + (Is*Js));

int main ()
 {
   static_assert(product<Vector<1, 2, 5>, Vector<1, 3, 4>> == 27);
 }