主页 / 问题 / 774989
Accepted
yrHeTateJlb
Asked:2020-01-24 19:47:36 +0800 CST2020-01-24 19:47:36 +0800 CST

统一初始化

  • 772

C++11 有一个新的初始化语法。这是 Scott Myers 在他的《Effective Modern C++》一书中所写的：

class Widget {
public:
  Widget();                                   // default ctor
  Widget(std::initializer_list<int> il);      // std::initializer_list ctor
  …                                           // no implicit conversion funcs
}; 

Widget w1;          // calls default ctor
Widget w2{};        // also calls default ctor
Widget w3();        // most vexing parse! declares a function!    

Widget w4({});      // calls std::initializer_list ctor with empty list
Widget w5{{}};      // ditto

如果我们以他的例子为例，去掉多余的部分，并将 print 添加到构造函数Widget中，事实证明Widget w4({});这Widget w5{{}};不是一回事：

#include <iostream>
#include <initializer_list>

class Widget{
public:
    Widget(){

    }
    Widget(std::initializer_list<int> l){
        std::cout << "l.size = " << l.size() << std::endl;
    }
};

int main(){
    Widget w4({}); //l.size = 0
    Widget w5{{}}; //l.size = 1
}

例子

我有两个问题：

  1. 斯科特在骗我们吗？
  2. 到底发生了什么？
c++

1 个回答

  1. Best Answer
    Widget(std::initializer_list<int> l)//Это initializer-list constructor

    按照标准，它优先于list-initialization.

    在列表初始化 (16.3.1.7) 中，初始化列表构造函数优于其他构造函数

    Widget w4({});

    这是direct-initialization. 初始化程序是空的std::initializer_list。

    Widget w4{{}};

    已经是了list-initialization。在这种情况下direct-list-initialization。

    如果初始化列表为空，则选择默认构造函数。如果初始化列表不为空，则分两个阶段选择构造函数：

    最初，候选函数是类 T 的初始化列表构造函数（11.6.4），参数列表由初始化列表作为单个参数组成

    如果找不到可行的初始化列表构造函数，则再次执行重载决议，其中候选函数是类 T 的所有构造函数，参数列表由初始化列表的元素组成。

    我们开始“手动”搜索合适的构造函数的第一阶段。
    在第一阶段，所有参数都被视为一个initializer list。

    如果我们将初始化程序中的括号视为创建 std::initializer_list，是否可以std::initializer_list<int>通过传递它来创建{}？是的你可以

    std::initializer_list<int>{{/*вот он наш единственный int со значением 0*/}}`

    就是这样，找到了合适的构造函数。

    也就是说，在我们的例子中

    Widget w5{{}};
//приведет к такому -->
Widget w5(std::initializer_list<int>{int{}});

    或更多示例：

    Widget w5{{1}, {2}};//-->
Widget w6(std::initializer_list<int>{int{1}, int{2}});
Widget w7{{1, 2}};//-->
Widget w8(std::initializer_list<int>{std::initializer_list<int>{1, 2}});

    我试图尽可能简单地解释，因此，“用我自己的话”的表述可能并不完全准确。

    • 5

相关问题