c++ - 如何在静态多态中声明基类的 std::list？

Question

快速提问，当我有一些静态多态类时

template <class Derived>
struct base
{
}

struct derived1 : public base<derived1>{
}

//do the same for derived2, derived3.

如何声明一个 std::list 将包含很多 derived1 派生 2 派生 3 对象？像 std::list < base > 之类的东西？我想不是，对吧？

PS：显然派生类将在运行时选择，我需要在运行时访问派生类的功能。

多谢！

Answer 1

由于您使用 CRTP，因此您需要为base类模板的所有实例定义一个公共基类：

class base_base { public: virtual ~base_base() = default; };
template<typename T> class base : public base_base;

其次，您需要额外的间接性，因此您必须使用std::unique_ptr.

template<typename T, typename... Args>
std::unique_ptr<T> make_unique(Args&&... args) {
    return std::unique_ptr<T>(new T(std::forward<Args>(args)...));
}

std::list<std::unique_ptr<base>> my_list;
my_list.emplace_back(make_unique<derived1>());
my_list.emplace_back(make_unique<derived2>());
my_list.emplace_back(make_unique<derived3>());

在 C++14 中，您很可能能够使用std::make_unique，因此您不必自己定义该函数。