《【深入理解C】从初始化列表和构造函数谈C的初始化机制.pdf》由会员分享,可在线阅读,更多相关《【深入理解C】从初始化列表和构造函数谈C的初始化机制.pdf(10页珍藏版)》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、【深入理解 C+】从初始化列表和构造函数谈 C+的初始化机制前段时间被人问及“初始化列表和构造有什么区别?”我竟一时语塞,只好回头拿起几本 C+的大部头书,打开 VS2012 和 vim 开始倒腾。最后总结出如下几点,希望对大家理解 C+能有些帮助。(题外话:我认为好的技术书籍和师者对人最大的帮助就是:帮助学者节省时间。)综合而言,C+中类的初始化操作有四个部分组成:1.初始化列表:所有类非静态数据成员都可以在这里初始化,所有类静态数据成员都不能在这里初始化2.构造函数体:对于类非静态数据成员:const 型成员不能在这里初始化引用型成员不能在这里初始化没有默认构造函数的成员不能在这里初始化对
2、于类静态数据成员:可以在这里修改可修改的静态成员,但静态成员必须已经在类外部初始化3.类外初始化:除一个特例外,所有类 static 数据成员必须在这里初始化,特例是类 static const int 数据成员可以在这里初始化,也可以在成员的声明处初始化4.类中声明时直接赋值:类 static const int 数据成员可以选在这里初始化。直接罗列这样的规则,是我国大多数教科书的展开方式,记得经典的三部曲吗?(1)定义(2)定理(3)例题至于来龙去脉就只能靠我们这些学子的悟性了。何其苦载!事实证明需要理清一些定理和思想的来龙去脉往往需要比这个定理更加广阔的知识和视野,让学生拿着空洞的课本靠
3、领悟?(不要意思,又吐槽了)让我们从一段简单的代码开始:cpp view plaincopyclass A const int x;public:A()this->x=1;/*Error!*/;对很多人而言,这是什么直观写法,为什么就错了呢?其实这本质上相当于写:cpp view plaincopyconst int x;x=1;所以我们只能按如下方式声明其初始化:cpp view plaincopyclass A const int x;public:A():x(1);再来看一段简单的代码:html view plaincopyclass A int&x;public:A(in
4、t k)this->x=k;/*Error!*/;同理这这本质上相当于写:cpp view plaincopyint&x;x=k;所以我们只能按如下方式声明其初始化:cpp view plaincopyclass A const int x;public:A(int k):x(k);有了上面两个简单例子作为引子,我们开始进一步讨论 C+初始化的全过程。其实我相信很多人还是怀着这样一些疑问“写在初始化列表里就相当于 int&x=k;吗?”且让我们来看看 C+类的初始化的全过程:(1)静态成员初始化阶段:所有类的静态成员应该都是在这个阶段初始化的。注意初始化的顺序,就是操作语
5、句的顺序,例如你有一个 Test 类:cpp view plaincopyint Test:x=2;int Test:y=3;需要注意的是 2 点,一是初始化语句不再需要 static关键字,二是执行顺序就是语句的顺序,这里是先初始化 t1,再初始化 t2。执行顺序的问题在静态成员是类的时候就关系到构造函数的调用顺序了。另外需要注意的是,这些静态成员的初始化在任何具体实例被创建前就已经完成了。(2)实例初始化列表工作阶段:需要说的是,在用户使用 new 或者其他方法开始构建实例的时候,第一步首先是向操作系统申请内存,初始化列表是在申请成功后才开始工作的。然后,根据非静态成员的声明顺序开始执行如
6、下操作:1.如果该成员没有出现在初始化列表中:1)如果是内置非 const 且非引用类型,不设定初值2)如果是 const 类型,报错,必须在这里给定初值3)如果是引用类型,报错,必须在这里给定初值4)如果是 class 类型,就调用默认构造函数,进行初始化操作2.如果该成员出现在初始化列表中:1)如果是内置类型,就按初始化列表指定的值设定初值2)如果是 const 类型,就按初始化列表指定的值设定初值3)如果是引用类型,就按初始化列表指定的值设定初值4)如果是 class 类型,就调用初始化列表指定的构造函数进行初始化操作(3)计算阶段:根据构造函数的函数体进行赋值操作,或者修改操作,在这里
7、,静态和非静态数据都可以赋值和修改下面用一段代码来测试这个过程:cpp view plaincopyclass Test1 /*用于测试 Test2 中含有没有默认构造函数的成员时的情况*/public:inti;Test1(int a):i(a)/*这就取消了Test1的默认构造函数*/;class Test2 public:int a;/int a=1;Error:不允许数据成员初始值设定项const int b;static int c;static const int d=4;/正确,这样赋值也是可以的,也可以选在类声明外进行赋值/但是如果不赋值,则程序中没有使用 d 不出错,使用了就
8、会有 link error/无法解析的外部命令/static const float ff=4.0;Error:只有静态常量整形数据成员才可以在类中初始化int&e;const int&f;static int&g;static const int&h;/staticconst int&h=x_h;Error:只有静态常量整形数据成员才可以在类中初始化Test1 t1;const Test1 t2;static Test1 t3;const staticTest1 t4;Test2(int b,int e,int f,Test1 t1,Test1 t2)
9、:b(b),/d(4),Error:d不是类的非静态成员或基类e(e),/如果没有这句,Error:Test2:e 没有提供初始化值f(f),t1(t1),/如果没有这句,Error:Test1 没有默认构造函数t2(t2)a=1;/b=2;/Error:表达式必须是可修改的左值,b 是左值,不能修改c=3;/d=4;/Error:表达式必须是可修改的左值,d 是左值,但不能修改;/intTest2:a=1;/Error:非静态数据成员不能在其类的外部定义/int Test2:b=2;/Error:非静态数据成员不能在其类的外部定义int Test2:c=3;/如果没有这句,会出现无法解析的外
10、部符号 public:static int A:c/int Test2:d=4;/Error:int 与声明 const int 不兼容/int const Test2:d=4;/和在类声明里面直接写赋值等价int x_g=5;/*这个全局变量主要用户后续的静态成员赋值*/int x_h=6;/*这个全局变量主要用户后续的静态成员赋值*/Test1x_t3(7);/*这个全局变量主要用户后续的静态成员赋值*/Test1 x_t4(8);/*这个全局变量主要用户后续的静态成员赋值*/int&Test2:g=x_g;const int&Test2:h=x_h;Test1 Test2
11、:t3=x_t3;const Test1Test2:t4=x_t4;前面讲了这么多具体的细节,我个人建议按如下简化规则来记忆:(1)所有 static 成员变量在类外初始化(不管它是 const,是引用,还是没默认构造函数的对象)(2)普通成员变量,是 const,是引用,是没默认构造函数的,必须在初始化列表初始化(3)普通成员变量,需要复杂运算的初始化变量,应该在构造函数内初始化,否则尽量在初始化列表中初始化。另外补充 2 个小点:(1)初始化列表的使用可能提高性能cpp view plaincopyclass Test3 public:int a;Test3()a=0;puts(Test3
12、constructor);Test3(Test3&t3)this->a=t3.a;puts(Test3copy constructor);Test3&operator=(Test3&t)puts(Test3 assignoperator);this->a=t.a;return*this;Test3();class Test4 public:Test3 t3;/Test4(Test3&t3):t3(t3)/这种方式和下面的方式有相同的效果,不同的效率/Test4(Test3&t3)this->t3=t3;(2)成员是按照他们在类中出现的顺
13、序进行初始化的,而不是按照他们在初始化列表出现的顺序初始化的参考如下代码cpp view plaincopystruct fooint i;int j;foo(int x):i(x),j(i);/ok,先初始化 i,后初始化 j;再看下面的代码cpp view plaincopystruct fooint i;int j;foo(int x):j(x),i(j)/i 值未定义;这里 i 的值是未定义的因为虽然 j 在初始化列表里面出现在 i前面,但是 i 先于 j 定义,所以先初始化 i,但 i 由 j 初始化,此时 j 尚未初始化,所以导致 i 的值未定义。所以,一个好的习惯是,按照成员定义的顺序进行初始化。也就是说相当于实际执行顺序是:i(j);j(x);所以会出现错误。欢迎大家拍砖指正。版权声明:本文为博主原创文章,未经博主允许不得转载。