具有构造函数转发的类模板

Question

我想知道什么是实现以下内容的最佳方法。

我有许多从抽象类BaseClass派生的类。 我想创建一个新类ParallelBaseClass ，该类基本上对BaseClass的所有子级执行并行BaseClass 。

我想到的设计是这样的：

template <class D>
class ParallelBaseClass
{
  private:
     std::vector<D> _classes;

   public:

   ParallelBaseClass(int threads, constructor_args)
   {
       for(int i = 0; i < threads; i++)
         _classes.push_back(D(constructor_args));
   }
}

但是，我不知道这是最好的设计。 我有两个问题：

1. 确保模板类型是BaseClass的后代
2. 转发构造函数参数，如上所示。

任何指导，不胜感激。

谢谢！

Answer 1

以下内容可能会有所帮助：

template <class Base>
class ParallelBaseClass
{
private:
     std::vector<std::unique_ptr<Base>> classes;

 public:

    template<typename Derived, typename ... Ts>
    void Add(Ts&&...args)
    {
        classes.push_back(std::make_unique<Derived>(std::forward<Ts>(args)...));
    }

};

用法：

struct B { virtual ~B() = default; };
struct D : B { D(int) {} };

ParallelBaseClass<B> p;

p.Add<D>(42);

Answer 2

如果这些类都具有一个可以execute某些功能的函数（例如execute ），并且ParallelBaseClass应该在不同线程中的多个对象上同时调用它，则可能是一种设计：

#include <utility> // for std::forward

class Base {
public:
    virtual void execute() = 0;
}


class Example : public Base {
public:
    void execute() override { .... }
}

template<typename D>
class Parallel : public Base {
private:
    std::vector<D> objects_; // Called objects, since classes refers to the type and not instances of it
public:
    template<typename... Args>
    explicit ParallelBase(int threads, Args&&... args) {
        for(int i = 0; i < threads; ++i)
            objects_.emplace_back( args... );
            // not using std::forward<Args>(args)... here:
            // need to make (multiple) copies instead of moving
    }

    void execute() override {
        for(D& obj : objects_)
            //create thread and run objects_[i].execute()
    }
}

构造函数是可变参数的模板函数，它将参数转发给D的构造函数。 std::forward比作为右值引用或尽可能的引用std::forward转发。 ...展开模板参数包。 explicit确保使用零args参数的构造将int不能隐式转换为ParallelBase 。

这里的Base是抽象的和多态的。 这将对应于构图设计模式。 Parallel （此处不是基类）对应于D的功能的并行化，并且本身具有execute实现。

更新固定的移动构造。