[cpp deep dive] 初始化initialization

我实在不喜欢纠结于语法,然而这些面试又很喜欢考。(我自己也很好奇到底真相是什么)
[Update 9.10]
====
总结一些关键点:
int *p = new int; - 默认初始化, 随机值.
int *p = new int(); - 值初始化,赋成0.

[Update 9.6]看起来官方一点的说法(常见用法,不严谨)

按照ref, 初始化有n种大类:

  • 默认初始化(default initialization)

    • 例如:T x; new T;

    • 什么时候发生:

      1. 局部变量没有提供initializer时,(没有括号)
      2. 动态申请变量(通过new),没有提供initializer时,(没有括号)
      3. 在类的构造列表中没有提到时,
    • 会有什么效果:

      1. non-POD 类型的,会调用其默认构造函数(没有参数列表的构造函数)
      2. 若该对象是一个数组类型,则数组内所有对象都会默认初始化.
      3. POD类型的,则除了分配给变量空间则什么都不做.局部变量就会有不确定的值;

      (若是static或者全局对象,在整个程序进入main之前就已初始化(g++是零初始化),这里则什么都不做)

    注:局部变量(对象)就是自动存储变量.the objects with automatic storage duration

  • 直接初始化(direct initialization)
    我觉得就是形式上根据重载, 直接调用了某个构造函数.

  • 复制初始化(copy initialization)

    • 举例: T x = ;
    • 什么时候发生:
      • 类似于T x = ;这样定义一个对象.
      • 函数参数的值传递形式
      • 函数返回值的值传递形式
    • 效果:
      • 如果是类,且expr的值类型与T一致,复制构造函数就会被调用.
      • 如果是类,且expr的值类型与T不一致, 会试图通过合适的构造函数生成一个临时变量,并通过该临时变量复制构造x.(overhead - 1个临时变量 + 2次构造函数调用,在实现上可能会有相应的编译器优化,例如RVO、-fno-elide-constructors等)
      • 如果不是类,则会试图进行类型转换.
  • 值初始化(value initialization)

    • 什么时候发生:简单地说就是加了一对空括号.T* x = new T(); T x = T();
    • 效果:简单地说就是类类型的,会调用默认构造函数,非类类型的,则会被零初始化.
stage_0 基本类型(或内建类型 build-in type).

简单粗暴地说就是:

  • 没有用户指定初始化时(e.g. int x;,简单地说就是没有括号)

    • 局部变量 - 随机值;
    • 全局变量 - 0;
  • 有用户指定初始化时

    • 用户提供的值;(e.g. int x = ; / int x();/ int x = int();
    • 假如用户没有提供值,就是0;(e.g. int x();/ int x=int();)<-----------int x();实际上是一个函数的声明,x的值是函数的地址.
  • 需要注意的是,POD类型(例如int)没有构造函数,它只是看起来很像有构造函数而已.

  • 对于new关键字,也是与上面的相同(7.24更新,不是与上面的相同,new所申请的空间在于堆,是否初始化在于用户是否指定了初始化的值;malloc同样也是没有初始化的(另外new实际上是通过malloc实现的,与之相对应的是calloc就有初始化成0).)

    • 用户没有指定初始化时, 简单滴说就是没有括号:(只分配动态空间,不负责初始化)
      • 随机值;
    • 用户指定初始化时:
      • 0或者用户指定的数.
  • 参考:
    c++_standard
    关于POD类型没有构造函数的可以看这个thread:do-built-in-types-have-default-constructors

stage_1 类类型的初始化. (类类型成员变量的初始化)

  • 初始化列表

    • 类成员的初始化是在构造函数的初始化列表中进行的;
    • 类成员的初始化严格按照声明的顺序进行(而非初始化列表中的顺序);
    • 类构造函数中如果有赋值的,那么初始化在其赋值前已经完成.
    • 若被调用的构造函数没有初始化列表,则会对内部成员进行自动初始化,规则就是局部变量初始化为随机值(只分配空间不赋给初值),全局变量会被零-初始化.
  • 类在被声明时,它的某个构造函数一定会被调用.

  • situation_01 如果没有构造函数怎么办?

    • 如果用户没有定义任何构造函数,编译器自动生成一个默认构造函数.
    • 该默认构造函数没有初始化列表,也没有在函数体内部对成员进行赋值.
    • 因此会进行自动初始化.
  • 编译器到底替我们生成了什么毛啊?

    (effective c++ 条款5)在有用到的情况下,会自动生成以下:默认构造函数(假如用户没有定义任何构造函数),复制构造函数,析构函数,赋值构造操作符.
    这个也是个大坑, 改天专门讨论 这里我们专心搞初始化.

代码片段
//initialization.cc
#include 
#include 
using namespace std;
int x;
float y;
#define ___(str) cout<<"====="<

运行结果.

root@vm1:/home/work/share/CSE274/02_Cpp_Intro# g++ initialization.cc -o test
root@vm1:/home/work/share/CSE274/02_Cpp_Intro# ./test 
build-in type
========global variable =======
0
0
========local variable default init=========
-782730784
4.94066e-323
========local variable explicit user-specified init=========
8
0
3
========dynamic variable with new_operator=========
651
5
0
user-defined type(class)
=====with initialization list====
11
0
10
=====initialization list's init order====
6299808
6299808
11
=====without initialization list====
-782736384
32607
-786215278
=====initialization list not include y&z====
=====in base1(double)====
11
0
-782106642
11
11
11
=====global auto-zero-init====
0
0
11
stage 2 初始化列表2点深入.
  • 什么时候必须使用初始化列表
    • 成员为const或引用类型 (因为他们有个特点就是必须在声明时初始化,这个谭浩强已经说的很清楚了)
    • 成员没有默认构造函数(因为这里如果不用初始化列表-->则进行默认的初始化-->默认初始化调用默认构造函数)
#include 
#include 
using namespace std;
#define ___(str) cout<<"====="<

todo:

  • 利用初始化列表给成员初始化和在构造函数内部进行赋值有什么差别呢?
    先上结论 - 结果大家都一样的,差在性能.
  • malloc出来的buffer空间内容是否是0呢?(猜想 - 应该与new出来的动态空间规则一致)
    malloc申请的空间是未经初始化的堆内存,
    calloc申请的空间是经过初始化的堆内存.
  • 初始化一个数组的流程是什么呢?

你可能感兴趣的:([cpp deep dive] 初始化initialization)