在 C++ 中解包 std::vector 作为函数参数

栏目: C++ · 发布时间: 4年前

内容简介:昨天 jsteward 问我,有一个接受若干个同类型参数的函数这篇来解决这个问题。首先,待执行的函数的参数个数,在编译时就能知道;比如这里是 3 个。于是,很自然地,我们最终肯定需要类似这样的代码:

昨天 jsteward 问我,有一个接受若干个同类型参数的函数 template <typename U, typename T> U func(T a, T b, T c) ,现在有一个 std::vector<T> args ,希望将 std::vector<T> 当中的元素作为函数参数传进去,要怎么办。

这篇来解决这个问题。

首先,待执行的函数的参数个数,在编译时就能知道;比如这里是 3 个。于是,很自然地,我们最终肯定需要类似这样的代码:

func(args[0], args[1], args[2]);

现在的问题是,我们希望这种调用代码能够自动生成,而不是手动去写。因为 func 的参数,在实际情况下,可能不止 3 个。C++ 11 引入了参数包(parameter pack)的概念,能够将若干个模板参数,打包在一起,然后再用 ... 的方式展开。参数包可以是类型参数包,比如 template <typename... Args> ,这样 (*Args)... 就是各个类型的指针;参数包也可以是变量参数包,比如 size_t... I ,这样 args[I]... 就是 args[0], args[1], args[2] 这样的展开。后者正是我们要的。

于是,为了利用参数包,我们首先需要根据函数 func 的参数数量,构建一个参数包,作为索引。

namespace util {
template <size_t... Indices>
struct indices {
  using next = indices<Indices..., sizeof...(Indices)>;
};
template <size_t N>
struct build_indices {
  using type = typename build_indices<N - 1>::type::next;
};
template <>
struct build_indices<0> {
  using type = indices<>;
};
template <size_t N>
using BuildIndices = typename build_indices<N>::type;
}  // namespace util

这里用到了前作提到过的技巧。我们看:

  • BuildIndices<0>build_indices<0>::type 也就是全特化的 indices<>
  • BuildIndices<1>build_indices<1>::type 也就是 build_indices<0>::type::next 也就是 indices<>::next 也就是 indices<0>
  • 同理, BuildIndices<2>build_indices<2>::type 也就是 build_indices<1>::type::next 也就是 build_indices<0>::type::next::next 也就是 indices<0>::next 也就是 indices<0, 1>
  • 以此类推 BuildIndices<N>indices<0, 1, ..., N - 1>

于是我们很容易构建出 caller 如下:

template <typename Func, typename T, size_t... I>
void call(Func& func, std::vector<T>& args, indices<I...>) {
  f(args[I]...)
}

使用时只需要这样既可:

call(func, args, BuildIndices<num_args>());

我们将整个封装起来,写成一个完整的例子如下:

#include <iostream>
#include <utility>
#include <vector>

namespace util {
template <size_t... Indices>
struct indices {
  using next = indices<Indices..., sizeof...(Indices)>;
};
template <size_t N>
struct build_indices {
  using type = typename build_indices<N-1>::type::next;
};
template <>
struct build_indices<0> {
  using type = indices<>;
};
template <size_t N>
using BuildIndices = typename build_indices<N>::type;

template <typename returnT, typename valueT, size_t num_args>
struct unpack_caller {
 private:
  template <typename FuncType, size_t... I>
  returnT call(FuncType& f, std::vector<valueT>& args, indices<I...>) {
    return f(args[I]...);
  }

 public:
  template <typename FuncType>
  returnT operator()(FuncType& f, std::vector<valueT>& args) {
    return call(f, args, BuildIndices<num_args>());
  }
};
}  // namespace util

int func(int a, int b, int c) {
  return a + b + c;
}

int main() {
  std::vector<int> args = {1, 2, 3};
  int i = util::unpack_caller<int, int, 3>()(func, args);
  std::cout << i << std::endl;

  return 0;
}

以上所述就是小编给大家介绍的《在 C++ 中解包 std::vector 作为函数参数》,希望对大家有所帮助,如果大家有任何疑问请给我留言,小编会及时回复大家的。在此也非常感谢大家对 码农网 的支持!

查看所有标签

猜你喜欢:

本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们

网络经济的十种策略

网络经济的十种策略

(美)凯文・凯利 / 肖华敬/任平 / 广州出版社 / 2000-06 / 26.00元

全书介绍网络经济的十个新游戏规则,分别是:蜜蜂比狮子重要;级数比加法重要;普及比稀有重要;免费比利润重要;网络比公司重要;造山比登山重要;空间比场所重要;流动比平衡重要;关系比产能重要;机会比效率重要!一起来看看 《网络经济的十种策略》 这本书的介绍吧!

RGB转16进制工具
RGB转16进制工具

RGB HEX 互转工具

URL 编码/解码
URL 编码/解码

URL 编码/解码

html转js在线工具
html转js在线工具

html转js在线工具