delem＆lt; t，n＆gt;源自Belem＆lt; t＆gt;和dcontainer＆lt; delem＆lt; t，n＆gt;＆gt;源自bcontainer＆lt; belem＆lt; t＆gt;＆gt;如何编码？

Question

这个问题很容易在代码中解释。

我已经编码了几个模板类，它们是从唯一的模板类中得出的：

template<typename T,unsigned N> 
struct DElem : 
    public BElem<T> 
{};

我的问题是在我必须从基类的容器中编码这些前派生类型的容器时出现的：

template<typename T, unsigned N>
struct DContainer<DElem<T,N>> : 
    public BContainer<BElem<T>>
{};

在我的具体情况下，可以是std :: tuple容器或std ::数组。

我的第一个近似值是：

template<typename T, T B, std::size_t N>
struct DContainer : 
    public std::array<BElem<T>,N> 
{

   // This container is to hold **DElem<T,B>**
   // 
   // This class has to do a cast for every
   // 
   // **DElem<T,B>** (that is what the DContainer holds) 
   //
   // to **BElem\<T\>**
   // 
   // *If this task is easy I don't found the way*

};

有人有一个想法更简单地完成这些任务还是更适合其他设计？

Answer 1

你不幸。 的A 容器 delem＆lt; t，n＆gt;无法代替belem＆lt; t＆gt;的容器。如果可以的话，将允许以下废话。

DContainer<T, 10> d10Container;
BContainer<T> & bContainer = d10Container;
DElem<T, 20> d20;
bContainer.push_back(d20); // pushed a d20 into a container of d10

您可以拥有的是belem＆lt; t＆gt;的 view

template<typename T>
class BView {
    class iterator {
        using value_type = BElem<T>;
        using reference = BElem<T> &;
        using pointer = BElem<T> *;
        using difference_type = std::ptrdiff_t;
        using iterator_category = std::forward_iterator_tag; // or whatever
        reference operator*();
        pointer operator->();
        // etc...
    };

    virtual iterator begin() = 0;
    virtual iterator end() = 0;

    // no insert / push_back / whatever
};

您可能要隐藏（或delete）belem＆lt的分配操作员; t＆gt;，因为多态性分配也相当荒谬。

现在，您拥有所有dcontainer＆lt; t，n＆gt; s的共享基类，而不允许胡说八道。

另外，如果您不需要 Runtime 多态性，则可以为bcontainer定义概念。使用pre-concept clastica 要求href =“ https://stackoverflow.com/a/60450396/2610810”>作为基础：

template<container C, typename T>
concept BContainer = std::derived_from<typename C::value_type, BElem<T>>;