如何编写正确的std :: initializer_list构造函数

Question

考虑以下代码:

#include <iostream>
#include <vector>

struct C {
    std::vector<int> a;
    std::string b;
    bool c;
};

void printC(const C &c) {
    // ...
}

int main() {
    printC({
        { 1, 2, 3 },
        "ehlo",
        false
    });
}

这是有效的,因为编译器可以为我生成适当的构造函数.但是,如果我将struct C更改为:

struct C {
    std::vector<int> a;
    std::string b;
    bool c;

    C() {
        c = false;
    }
};

printC调用停止工作,因为编译器停止生成适当的构造函数.我试过用std :: initializer_list写自己的构造函数但是失败了.

所以问题是 - 如何编写构造函数,使上面的代码再次编译和工作？

Answer 1

我试过用std :: initializer_list写自己的构造函数但是失败了.

你不需要一个.你只需要一个带矢量,字符串和布尔值的c'tor:

C(std::vector<int> a, std::string b, bool c) 
  : a(std::move(a))
  , b(std::move(b))
  , c(c) {
}

您的代码现在应该再次构建良好.虽然现在它会产生两个移动操作,而原始聚合版本可以直接初始化对象的元素.这是值得考虑的事情.

Answer 2

值得注意的是,在C++ 14及更高版本中,您只需使用默认成员初始值设定项:

struct C {
    std::vector<int> a;
    std::string b;
    bool c = false;
};

此外,聚合初始化不会生成构造函数.它完全绕过它们.