• Effective C++(4) 确定对象被使用前已先被初始化


    危害:读取未初始化的值会导致不明确甚至是半随机化的行为。
    最佳处理办法:永远在使用对象之前先将它初始化;确保每一个构造函数都将对象的每一个成员初始化。


    1 注意区分赋值和初始化:



    从初始化的角度而言,这不是一个最佳的处理办法。虽然这会让对象的指最终为你期望的值,但是实际上,对象的成员变量的初始化动作发生在进入构造函数本体之前。而在构造函数本体之内,不是被初始化,而是被赋值。


    2 较佳的写法:使用成员变量初始化列表


    结果和上一个的最终结果相同,但是效率较高。

    规定:总是在初值列表中列出所有成员变量,以免遗漏需要初始化的成员变量。即,总使用成员初始化列表。

    一个特例再次印证了上句的价值:如果成员变量是const或reference,它们就一定需要初值,不能被赋值。


    3 成员初始化次序:

    一般地:
    base classes更早于其derived classes被初始化,而class的成员变量总是以其声明次序被初始化。

    特别低:
    不同编译单元内定义的non-local static对象的初始化次序

    解析:
    1 non-local static:  包括:
    • global对象
    • 定义于namespace作用域内的对象
    • 在classes内、在file作用域内被声明为static的对象
      local static对象,指在函数内被声明为static的对象。

    2 编译单元:产出单一目标文件的那些源码。基本上可以认为是一个源码文件加上它所包含的头文件。

    问题:
    C++对“不同编译单元内的non-local static对象”的初始化相对次序并无明确定义。
    原因:
    决定它们的初始化次序相当困难,甚至是无解的。
    解决:
    reference-returning函数(示例如下)
    原理:
    C++保证,函数内的local static对象会在该函数被调用期间首次遇上该对象的定义式时被初始化。
    所以以函数调用替换直接的对象访问,就保证获得一个已经初始化的对象的引用。
    Demo:
    可能会发生初始化次序问题的版本:
    a.cpp 

              

    b.cpp

     
     


    改进后的版本:
              
     
     


    小结:
    • 为内置类型对象进行手工初始化,以为C++不保证初始化它们;
    • 构造函数最好使用成员变量初始化列表,其排列次序应该和它们在class中的声明次序相同;
    • 为免除“跨编译单元之初始化次序”问题,请以local static对象(referance returning函数)替换non-local static对象。

    参考资料:
    《Effective C++ 3rd》


  • 相关阅读:
    HDU1542 Atlantis(矩形面积并)
    HDU4784 Dinner Coming Soon(dp)
    1023: [SHOI2008]cactus仙人掌图(DP+单调队列优化)
    BZOJ 1004: [HNOI2008]Cards(群论)
    BZOJ USACO 银组 水题集锦
    BZOJ 3401: [Usaco2009 Mar]Look Up 仰望(离线+平衡树)
    BZOJ 3404: [Usaco2009 Open]Cow Digit Game又见数字游戏(博弈论)
    BZOJ 3208: 花神的秒题计划Ⅰ
    BZOJ 2456: mode(乱搞)
    BZOJ 2424: [HAOI2010]订货(费用流)
  • 原文地址:https://www.cnblogs.com/suzhou/p/3638967.html
Copyright © 2020-2023  润新知