c++ - std::vector 作为 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 中创建 vector 。我为 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 对我来说是一个未知类型，所以我无法初始化它，因为我不知道它的类型。我尝试在 Bar 的初始化列表中仅初始化 b 并且它有效。警告消失了，但是可以让 a 未初始化吗？有没有一种方法可以删除没有 Bar 参数的构造函数，并仍然为 Foo 的构造函数中的 vector 提供大小？

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 的标准构造实例填充 vector 。由于 Bar 中至少定义了一个构造函数，因此编译器不会自动提供标准构造函数。

在 Bar 中定义一个标准构造函数，就像其他答案建议的那样，或者在 Foo 的构造函数中放置其他内容，例如这个

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

并且编译器错误消失了。

对您编辑的回答:您收到的警告可能意味着:成员 a 未正确初始化。因为它是一个 int，所以这可能没问题(C++ 不会强制您初始化 int)。但是要注意程序后面的成员 a 中的奇怪和任意值。更好的解决方案是在构建时将其设置为明确定义的状态，这对您来说意味着“此值未知”。

编辑:我删除了我写的关于异构容器的所有内容。但是，如果您需要这些东西，请查看我帖子的编辑历史。

你可以像这样在 Bar 的标准构造函数中初始化 a:

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

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

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