内容简介：昨天 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 作为函数参数》，希望对大家有所帮助，如果大家有任何疑问请给我留言，小编会及时回复大家的。在此也非常感谢大家对 码农网 的支持！
猜你喜欢:
- Golang 中函数作为值与类型
- Python之在函数中使用列表作为默认参数
- golang-101-hacks(12)——切片作为函数参数传递
- Vue 中，如何将函数作为 props 传递给组件
- 将数组和矩阵传递给函数,作为C中指针的指针和指针
- React 组件模式-有状态组件 x 无状态组件、容器组件 x 展示组件、高阶组件 x 渲染回调(函数作为子组件)
本站部分资源来源于网络，本站转载出于传递更多信息之目的，版权归原作者或者来源机构所有，如转载稿涉及版权问题，请联系我们。
奔跑吧 Linux内核
张天飞 / 人民邮电出版社 / 2017-9-1 / CNY 158.00
本书内容基于Linux4.x内核，主要选取了Linux内核中比较基本和常用的内存管理、进程管理、并发与同步，以及中断管理这4个内核模块进行讲述。全书共分为6章，依次介绍了ARM体系结构、Linux内存管理、进程调度管理、并发与同步、中断管理、内核调试技巧等内容。本书的每节内容都是一个Linux内核的话题或者技术点，读者可以根据每小节前的问题进行思考，进而围绕问题进行内核源代码的分析。 本书内......一起来看看 《奔跑吧 Linux内核》 这本书的介绍吧!
