c++ - 使用 {a,b,c} 作为参数的构造函数或 {a,b,c} 实际在做什么？

Question

我知道，我可以像这样初始化数据。

int array[3] = { 1, 2, 3 };

甚至

int array[2][2] = { {1, 2}, {3, 4} };

我也可以这样做std::vector

std::vector<int> A = { 1, 2, 3 };

假设我想编写自己的课程：

class my_class
{
     std::vector< int > A;
     public:
     //pseudo code
           my_class(*x) { store x in A;} //with x={ {1, 2}, {3, 4} }
     // do something
};

是否可以编写这样的构造函数，这怎么可能？这是什么声明

{{1, 2}, {3, 4}}实际上在做什么？

我总是发现，您可以以这种方式初始化数据，但永远不会精确地执行它。

Answer 1

它被称为列表初始化，你需要一个std::initilizer_list构造函数，它可以在你的my_class.

见（现场演示）

#include <iostream>
#include <vector>
#include <initializer_list> // std::initializer_list

class my_class
{
    std::vector<int> A;
public:
    // std::initilizer_list constructor 
    my_class(const std::initializer_list<int> v) : A(v) {}    

    friend std::ostream& operator<<(std::ostream& out, const my_class& obj) /* noexcept */;
};

std::ostream& operator<<(std::ostream& out, const my_class& obj) /* noexcept */
{
    for(const int it: obj.A) out << it << " ";
    return out;
}

int main()
{
    my_class obj = {1,2,3,4};  // now possible
    std::cout << obj << std::endl;
    return 0;
}

Answer 2

您可以在构造函数中使用initializer_list来获得这样的选项。

struct X {
    X() = default;
    X(const X&) = default;
};

struct Q {
    Q() = default;
    Q(Q const&) = default;
    Q(std::initializer_list<Q>) {}
};

int main() {
  X x;
  X x2 = X { x }; // copy-constructor (not aggregate initialization)
  Q q;
  Q q2 = Q { q }; // initializer-list constructor (not copy constructor)
}

Answer 3

这怎么可能？

如果你有一个初始化列表。

#include  <initializer_­list> // use std::initializer_list template
my_class(const std::initializer_list<int>& v) : A(v) {}

这个语句“{{1, 2}, {3, 4}}”实际上在做什么？

这就是所谓的list-initialization

如果初始值设定项是（无括号的）花括号初始化列表或花括号= 初始化列表，则对象或引用为列表初始化。