接收错误：“错误：静态断言失败：结果类型必须是根据输入范围的值类型构造的。构造班级向量时

Question

我正在尝试创建一个脚本，该脚本使用多态性来创建父/子类结构中的一组链接向量。到目前为止，我已经设置了类，但是在尝试测试代码时，我会收到涉及静态断言的错误。在按行分析代码时，当我调用'vector.begin（）＆amp;时，我会遇到错误。 vector.end（）'。

这是完整的脚本：

#include <iostream>
#include <vector>
using namespace std;

class A
{
public:
    vector<vector<A *>> Container;
};

class B : A
{
};

class C : A
{
};

class D : A
{
};

int main()
{
    A ABaseClass;

    B b1, b2;
    C c1, c2;
    D d1, d2;

    vector<B *> b_classes = {&b1, &b2};
    vector<C *> c_classes = {&c1, &c2};
    vector<D *> d_classes = {&d1, &d2};

    ABaseClass.Container = {
        {b_classes.begin(), b_classes.end()},
        {c_classes.begin(), c_classes.end()},
        {d_classes.begin(), d_classes.end()}};
}

编译给出此错误：

error: static assertion failed: result type must be constructible from value type of input range
  138 |       static_assert(is_constructible<_ValueType2, decltype(*__first)>::value,
      |                                                                        ^~~~~

error: static assertion failed: result type must be constructible from value type of input range
note: 'std::integral_constant<bool, false>::value' evaluates to false

我将错误原因范围缩小到了本节：

ABaseClass.Container = {
        {b_classes.begin(), b_classes.end()},
        {c_classes.begin(), c_classes.end()},
        {d_classes.begin(), d_classes.end()}};

遵循问题的根部使我进入文件“ stl_uninitialized.h'，line：

[138]      static_assert(is_constructible<_ValueType2, decltype(*__first)>::value,
                                                                            ^~~~~

我一直在尝试让父母跟踪儿童课程，但我不熟悉媒介和指针，所以我有点卡住了。前进的任何帮助将不胜感激。

Answer 1

如果继承不是公开的，则升级到基类是不明式的。即，

struct base {};
class derived : base {}; // private inheritance

int main(){
    derived a;
    auto & b = static_cast<base &>(a); // invalid
}

这正是最后一个作业表达式正在尝试做的事情。您将需要公开继承。即

class A

public:
vector<vector<A *>> Container;
};

class B : public A
{
};

class C : public A
{
};

class D : public A
{
};

编辑：
这是最初引用的答案：

class A

public:
vector<vector<A *>> Container;
};

struct B : A
{
};

struct C : A
{
};

struct D : A
{
};

Answer 2

我的情况与上述不同。我发现错误定义新类型的错误结果。具体来说，我在单个标头文件中定义了一种新类型：

typedef std::vector<vector<uint32_t>> RRset;

错误是vector在＆lt中声明的; ＆gt; 未通过std ::指定。该标头文件中没有报告错误，但是实际上未定义新类型，这会导致我的错误。