Question

我正在尝试实现一个可变参数模板化成员函数，该函数可以接受具有不同数量模板参数的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;
    });
}

Answer 1

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);
    }

请原谅任何错别字。

如何使用可变参数模板作为std :: type_index映射的键？

1 个答案: