正在将可变模板参数解包到初始值设定项列表中

Unpacking variadic template parameters into initializer list

本文关键字：列表 参数      更新时间：2023-10-16

我目前正在尝试实现一个通用的初始化器，以减少我们的代码库的大小。然而，有一次，我的代码看起来是这样的：

template<typename T, typename Arg1, typename Arg2>
T* ManageDevice(Arg1 arg1, Arg2 arg2)
{
auto device = new T{ arg1, arg2 };
// More operations on device
return device;
}
template<typename T, typename Arg1, typename Arg2, typename Arg3>
T* ManageDevice(Arg1 arg1, Arg2 arg2, Arg3 arg3)
{
auto device = new T{ arg1, arg2, arg3 };
// More operations on device
return device;
}
template<typename T, typename Arg1, typename Arg2, typename Arg3, typename Arg4>
T* ManageDevice(Arg1 arg1, Arg2 arg2, Arg3 arg3, Arg4 arg4)
{
auto device = new T{ arg1, arg2, arg3, arg4 };
// More operations on device
return device;
}

这开始变得不那么优雅了。根据我的理解，可变模板似乎是解决这个问题的方法。但我不明白这怎么能适用于我的情况。

我更喜欢这样的东西：

T* ManageDevice(Args... args)
{
// The function I want
// Unpack as a std::initializer_list
auto allArguments = unpackAll(); 
auto device = new T{ allArguments };
// More operations on device
return device;
}

关于如何实现unpackAll((，有什么建议吗？谢谢

auto device = new T{ allArguments };

只需要成为

auto device = new T{ args... };

在T{ args... }中，args...将为您将参数包扩展到arg0, arg1, ..., argn。

你可以在中看到这一点

template <typename... Args>
std::vector<int> make_vector(Args... args)
{
return {args...};
}
int main()
{
auto foo = make_vector(1,2,3,4);
for (auto e : foo)
std::cout << e << " ";
}

编辑以添加完美的转发版本

template <typename... Args>
std::vector<int> make_vector(Args&&... args)
{
return {std::forward<Args>(args)...};
}

我的C++14答案，作为的最小工作示例

#include <initializer_list>
#include <utility>
#include <vector>
#include <type_traits>
#include <iostream>
struct example {
template <typename ...Args, typename T = std::common_type_t<Args...>>
static std::vector<T> foo(Args&& ...args) {
std::initializer_list<T> li{std::forward<Args>(args)...};
std::vector<T> res{li};
return res;
}
};
int main() {
std::vector<int> v1 = example::foo(1,2,3,4);
for(const auto& elem: v1)
std::cout << elem << " ";
std::cout << "n";
}

您需要根据自己的需要对其进行编辑，即对代码结构进行编辑。但请注意，vector构造函数采用initializer_list，该列表是从静态foo方法中的参数包生成的。

编辑：在您的情况下，正如其他人所指出的，您可以直接将参数包转发到您的呼叫。我的回答显示将它们传递给initializer_list。

所以事实上，你可以做

static std::vector<T> foo(Args&& ...args) {
std::vector<T> res{std::forward<Args>(args)...};
return res;
}

并且这些自变量将被隐式地转换为CCD_ 8。我明确地展示了参数包中initializer_list的构造。

相关文章：