std :: vector <Bar>作为类Foo中的成员变量需要Bar的空构造函数

Question

情况如下:

我有一个由以下文件定义的类.

Foo.h文件:

template<typename MyType>
class Foo
{
public:
    Foo(int number = 50);

private:
    typedef enum {VAR1, VAR2} Type;

    class Bar
    {
        MyType a;
        Type b;

        Bar(int param1, Type param2) : a(param1), b(param2) {}
    }

    std::vector<Bar> vec;
};

Foo.cpp文件:

template<typename MyType>
Foo::Foo(int number) : vec(number)
{ }

问题是当我编译它时,我在.cpp文件的第一行收到错误,说它需要一个没有参数的Bar的构造函数.我想它需要它在Foo中创建矢量.我为Bar添加了一个没有参数的构造函数,给出了以下.h文件:

template<typename MyType>
class Foo
{
public:
    Foo(int number = 50);

private:
    typedef enum {VAR1, VAR2} Type;

    class Bar
    {
        MyType a;
        Type b;

        Bar() {}   // <----  Line added
        Bar(int param1, Type param2) : a(param1), b(param2) {}
    }

    std::vector<Bar> vec;
};

现在我可以编译并且它可以正常工作,但是我刚刚添加的行中有一个警告说Member 'b' was no initialized in this constructor.恩欧的问题,也许吧？

我不明白我应该做什么,以便在没有这个警告的情况下让它工作.

编辑:我收到一些答案,说要向空构造函数添加初始化列表.但是,我的类实际上是一个模板类,a对我来说是一个未知的类型,所以我不能初始化它,因为我不知道它的类型.我尝试仅b在Bar中的初始化列表中进行初始化并且它有效.警告消失了,但是可以让它a未初始化吗？有没有办法删除没有Bar参数的构造函数,仍然给Foo的构造函数中的向量提供一个大小？

Answer 1

问题是定义中的初始化列表Foo::Foo(int).你在写

Foo::Foo(int n)
    : vec(n) { }

即你正在使用构造函数

std::vector<Bar>::vector(size_t number, const Bar &x = Bar())

请注意,x = Bar()这意味着您使用标准构造的实例填充向量Bar.由于Bar编译器中定义的至少一个构造函数不会自动提供标准构造函数.

Bar像其他答案建议一样定义标准构造函数,或者在构造函数中添加其他东西Foo,例如this

Foo::Foo(int n)
    : vec(n, Bar(1, VAR1)) { }

并且编译器错误消失了.

回答您的编辑:您收到的警告可能意味着:该成员a未正确初始化.因为int这可能是好的(C++不会强迫你初始化ints).但要注意a程序中稍后成员中的奇怪和任意值.一个更好的解决方案是将它在施工时设置为一个良好的定义状态,这意味着"这个值是未知的".

编辑:我删除了我写的有关异构容器的所有内容.但是,如果您需要这些内容,请查看我的帖子的编辑历史记录.

您可以a在标准构造函数中初始化,Bar如下所示:

Bar::Bar() : a(MyType()), b(UNKNOWN) { }

并通过添加UNKNOWN到枚举Type.这假设类型MyType是标准可构造的.这适用于所有基本类型,例如int,double等.这为您提供了一个明确定义的Bar对象状态,这可能意味着您未知.它可以通过比较b来测试UNKNOWN.

正如yakk在他的评论中所说:像枚举这样的原始类型可以保持单元化,但在你的情况下,编译器会警告你:它可能是你的成员b包含一个没有标签的值,VAR1或者根本没有VAR2.使用明确定义的值初始化所有成员总是一个好主意,除非你真的被迫不这样做 - 例如,如果执行是血腥的关键.