【发布时间】：2018-06-17 21:20:35
【问题描述】：
短版：
我希望能够将结构转换为元组。至少类型。在下面的代码中，convertToTuple 函数不起作用，因为可变参数不能用于结构化绑定（据我所知）。关键是：auto& [values...] = value;
struct Vec3 {
float x;
float y;
float z;
};
template <typename T>
auto structToTuple(T &value) {
auto& [values...] = value; //doesn't work
return std::make_tuple<decltype(values)...>(values...);
}
Vec3 v;
std::tuple<float, float, float> t = structToTuple(v);
基本上，我需要一种将自定义结构的类型转换为元组的方法，该元组包含结构中的所有类型。例如：
struct Ray {Vec3, Vec3} -> std::tuple<
std::tuple<float, float, float>,
std::tuple<float, float, float>>;
详细问题：
我想创建一个模板化函数，它接受一个类型或类型列表作为模板参数，并生成一个纹理列表，每个纹理包含一个项目。另一个函数可以对纹理列表进行采样并将这些值打包在一起以返回相同的类型。例如，如果我有一个类型：
std::pair<std::tuple<int, int>, int> value;
std::tuple<Texture<int, int>, Texture<int>> tex = createTexture(value);
std::pair<std::tuple<int, int>, int> thisshouldwork = sample(tex);
上面的代码只是我想做的一个简单的例子，不是我的实际代码。在这种情况下，将创建 2 个纹理，一个纹理将包含来自元组的两个 int，另一个将包含单个 int 类型。我的目的是将纹理处理隐藏在一个界面后面，在那里我可以在纹理中存储任意值（只要它由一些简单类型组成），我可以将这些值上传到 GPU 以供着色器使用。 只要我只使用 std::tuple 和 std::pair，它就可以工作，因为我可以从中提取类型：
template <typename... Args>
void f(std::tuple<Args...> t);
当模板参数是自定义结构时，我希望能够做同样的事情。例如：
struct Vec3 {
float x;
float y;
float z;
};
Vec3 v;
Texture<float, float, float> tex = createTexture(v);
struct Ray{
Vec3 pos;
Vec3 dir;
};
Ray r;
std::tuple<Texture<float,float,float>, Texture<float,float,float>> tex2 = createTexture(r);
我不相信这甚至可能与当前的 C++ 标准一致，但基于结构化绑定，这似乎是可能的。 我的想法是这样的：
template <typename T>
auto structToTuple(T &value) {
auto& [values...] = value;
return std::make_tuple<decltype(values)...>(values...);
}
Vec3 v;
std::tuple<float, float, float> t = structToTuple(v);
就我而言，可变参数仅适用于函数或模板参数。但是如果 structToTuple 函数可以工作，那将解决我的问题。
提前感谢您的帮助，伙计们！
更新：
我找到了解决问题的方法（不是通用解决方案）： https://github.com/Dwarfobserver/AggregatesToTuples/blob/master/single_include/aggregates_to_tuples.hpp
这个库的作者定义了一个结构到元组的转换，但它只有在结构的参数不超过 50 个时才有效。这在实践中解决了我的问题，尽管我仍然很好奇是否可以使用任意结构。
【问题讨论】：
-
抱歉，我不清楚您到底想获得什么。例如，来自
struct foo { float a; float b; float c; };你到底想要什么“纹理”（？）？来自struct bar { short a; int b; long c; long long d; }; -
我认为所有关于“纹理”的讨论确实让这个问题感到困惑。您似乎想将结构中的某些值提取到其他可以重建确切原始结构的结构中。
-
所以你想根据你描述的结构有类似
f的东西，你想如何调用f？你能告诉我完整的伪代码吗？ -
您想要的称为反射，它在委员会的agenda 上。在此之前，您的解决方法确实是可能的（也可以查看 magic_get）。
标签： c++ variadic-templates c++17 structured-bindings