我正在尝试实现一个可变参数模板化成员函数,它可以接受一个 std::function 对象,该对象具有不同数量的模板参数或根本没有。
下面是我正在尝试的一个简化且可编译的示例。我希望能够将任何用户定义的数据对象动态添加到我的管理器中。然后,我希望能够使用可变参数模板迭代存储在管理器中的任何数据类型。我在哪里评论过//HowTo?//是我所坚持的。如何使用可变参数模板实现注释掉的代码?
我试图从这篇文章中得出一个解决方案: Possible Solution?
#include <functional>
#include <map>
#include <memory>
#include <typeindex>
#include <vector>
constexpr auto Count = 10;
struct Base
{
virtual ~Base()
{
}
};
template <typename T>
struct Container : public Base
{
std::vector<T> data;
std::vector<bool> valid;
};
struct Manager
{
template <typename T>
void add()
{
Container<T>* container{};
if(this->containers[typeid(T)] == nullptr)
{
auto c = std::make_unique<Container<T>>();
container = c.get();
this->containers[typeid(T)] = std::move(c);
}
else
{
container = static_cast<Container<T>*>(this->containers[typeid(T)].get());
}
container->data.push_back(T());
container->valid.push_back(true);
}
template <typename ...Args>
void each(std::function<void(Args&...)> f)
{
// HowTo? // auto oneContainer = static_cast<Container<T>*>(this->containers[typeid(DataOne)].get());
// HowTo? // auto twoContainer = static_cast<Container<T>*>(this->containers[typeid(DataTwo)].get());
for(auto i = 0; i < Count; i++)
{
// HowTo? // if(oneContainer->valid[i] == true && twoContainer->valid[i] == true)
// HowTo? // f(oneContainer->data[i], twoContainer->data[i]);
}
}
std::map<std::type_index, std::unique_ptr<Base>> containers;
};
struct DataOne
{
int value{};
};
struct DataTwo
{
double value{};
};
int main()
{
Manager manager;
for(auto i = 0; i < Count; i++)
{
manager.add<DataOne>();
manager.add<DataTwo>();
}
manager.each<DataOne>([](DataOne& a) {
a.value = 0;
});
manager.each<DataTwo>([](DataTwo& a) {
a.value = 0.0;
});
manager.each<DataOne, DataTwo>([](DataOne& a, DataTwo& b) {
a.value = 0;
b.value = 0.0;
});
}
最佳答案
auto containers = std::make_tuple<Container<Args>*...>(
static_cast<Container<Args>*>(this->containers[typeid(Args)].get())...
);
...
for(auto i = 0; i < Count; i++)
{
std::apply([&f](auto*... containers){
bool valid = (containers&&...) && (containers->valid[i]&&...);
if (valid)
f( containers->data[i]... );
}, containers);
}
如有错别字请见谅
关于c++ - 如何使用可变参数模板作为 std::type_index 映射的键?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/47243255/