再探“构造函数”

一. 初始化列表

1.1 实现

在之前，我们了解了构造函数，它是用来初始化对象的，它是在函数体内(即在花括号里面)进行初始化的。

class Data
{
public:Data(int year, int month, int day){_year = year;_month = month;_day = day;}
private:int _year;int _month;int _day;
};

其实，初始化还有一种方法，叫做：初始化列表。它不在函数体里面，而是在花括号外面。

语法理解上，初始化列表可以认为是：每个成员变量定义初始化的地方。且每个成员变量在初始化列表中只能出现一次。

初始化列表的形式是什么？

以冒号:开始，以逗号, 分隔数据。每个成员变量后面有一个括号，括号里面是初始值/表达式。

class Data
{
public:Data(int year, int month, int day):_year(year),_month(month),_day(_day){}
private:int _year;int _month;int _day;
};

• 初始化列表初始化的顺序：
  按照类中声明的顺序来的（与在初始化列表中出现的先后顺序无关）

1.2 何时必须使用初始化列表

有三种情况，必须使用初始化列表：

1. 没有默认构造的类类型成员变量
2. 引用成员变量
3. const成员变量

那为什么单单是这三个必须使用初始化列表呢？

引用必须在定义的时候就初始化，我们没有见过int a=9;int& b; 这种形式的吧，它只定义了b，但又没说b是谁的别名，这种形式是错误的，正确的是定义+初始化(说清它是谁的别名)int a = 9;int& b=a;

const变量是必须初始化的。const变量是不可以修改的，只有一次修改的机会，就是在定义,初始化的时候。const int j; 这种是会报错的，因为没有初始化。const int j = 2;

//没有默认构造的类类型成员变量
class Stack
{};
class MyQueue
{
public://编译器默认生成的MyQueue默认构造函数调用了Stack的默认构造函数，完成了两个Stack类型的成员变量的初始化//那如果Stack没有默认构造函数呢？就只能初始化列表了MyQueue(int n = 90):_push(n), _pop(n){}
private://它的成员变量并不是内置类型，而是另一个类类型Stack _push;Stack _pop;
};
int main()
{MyQueue my1;return 0;
}

class Data
{
public:Data(int n=9,int& ret):yin(n) //int& 引用是不允许引用字面常量的,因为字面常量是没有身份的，不允许被取地址,而我们的引用是引用已经存在的变量哈,ref(1){_year = 2;_month = n;_day = 3;}private:
//这三个是普通类型，在函数体内/初始化列表 都可以int _year;int _month;int _day;
//引用，必须在初始化列表里面初始化。int& yin;   
//const修饰，必须在初始化列表里面初始化。const int ref;  
};
int main()
{int i = 0;Data d1(2, i);return 0;
}

2.3 尽量使用初始化列表

为什么尽量使用初始化列表呢？

因为无论你是否将成员变量在 初始化列表 初始化，这些成员变量都会先走初始化列表。

• private里的成员变量int a;，那是声明。C++11支持在成员变量声明的位置给缺省值，声明的地方的缺省值----->初始化列表的。

成员变量都会先走初始化列表，何意？

假设你在初始化列表写了这些成员变量，那初始化就会按照()里的值来初始化。
假设你没在初始化列表的地方写，成员变量也会走这个地方，然后用声明地方的缺省值。

成员变量走初始化列表的逻辑：
(前提：每个成员变量都会走初始化列表)

• 若成员变量显示在初始化列表初始化：则使用括号里的值初始化。_year(year);
• 成员变量未显示在初始化列表初始化：
  (1)若类的声明位置有缺省值，则按缺省值初始化
  (2)声明位置没有缺省值，内置类型初始化为0或者随机数，内置类型调用该成员的默认构造(没有默认构造就报错)
• 没有默认构造的类类型成员变量，引用成员变量，const成员变量，必须在初始化列表初始化。(也可以不在初始化的地方写，那么就需要在声明的地方给初始值。 [是当初始化列表，函数体内都没有初始化它的情况下]）

所以，重点是：先看是否在初始化列表写了，如果写了，那之后的缺省值啊什么的，都是白搭，已经在初始化列表那里初始化了。比如一个自定义类型的成员变量，它在初始化列表写了，也有缺省值，也有默认构造，那按照哪个来？必须是初始化列表呀。如果只有缺省值和默认构造，那就按缺省值来。初始化列表第一，缺省值第二，默认构造第三。

二. 类型转换

2.1 内置类型 转换 类类型

• C++内置(基本)类型–(隐式类型转换为)—>类类型，在这个过程中，需要（相关内置类型为参数）的构造函数

按道理来说

但是---------------------图片显示只调用了构造函数

由上图可知，编译器会进行优化，如果是构造+拷贝构造-----（则）---->直接构造。

并不是所有的情况都会优化，比如：

const A& aa = 1;  //临时对象具有常性，记得给类型加上const

但是这种情况不会优化，aa引用了临时对象，没有连续构造，所以不会优化。

如果不想内置—转—>类，则加explic

2.2 explicit：不转换

如果不想让内置类型转换成类类型，则在构造函数前面加explicit即可。

2.3 构造函数多参数

当构造函数是多参数的时候，需要用大括号。

A a1 = { 1 , 1 };

–
不可以是圆括号

2.4 使用隐式转换

class A
{
public:A(int a1 = 9):_a1(a1){std::cout << "A(int a)" << std::endl;}A(int a1 ,int a2 ):_a1(a1),_a2(a2){std::cout << "A(int a1,int a2)" << std::endl;}A(const A& a){std::cout << "A(const A& a)" << std::endl;}
private:int _a1=11;int _a2=22;
};
class Stack
{
public:void Push(const A& a1){}//......
};
int main()
{//如果想在栈Stack里面Push添加A类型的数据Stack st1;//A a1(2);//st1.Push(a1);//A a2(1,3 );//st1.Push(aa6);//有隐式类型转换，使用更加方便st1.Push(2); st1.Push({1,3});return 0;
}

2.5 自定义—转换为—>自定义类型

自定义—转换为—>自定义类型，这是可以的，但是也需要用到构造函数。但是默认情况下是不可以的，除非有一个用A构造B的函数，即B(const A& a){} ,参数是A类型。

class B
{
public:B(const A& a1):_b(a1.Get()){}
private:int _b;
};

三. 静态成员变量

概念

静态成员变量：用static修饰的成员变量。

• 静态成员变量是在类外面进行定义初始化的。
• 它并不是属于某个具体的对象，而是被所有的类对象共享。
• 静态成员变量存放在静态区。

class A
{
public:A(int a1 = 9):_a1(a1){std::cout << _a3 << std::endl;}
private:int _a1 = 11;int _a2 = 22;//在类里面声明静态成员变量static int _a3;
};//在类外面定义初始化
int A::_a3 = 33;
int main()
{A a1;return 0;
}

在main函数调用私有的静态成员变量

这种情况，我们可以写一个共有的Getxxx的函数

class A
{
public:A(int a1 = 9):_a1(a1){}static int Get_a3(){return _a3;}
private:int _a1 = 11;int _a2 = 22;//在类里面声明静态成员变量static int _a3;
};//在类外面定义初始化
int A::_a3 = 33;
int main()
{A aa1;std::cout << A::Get_a3() << std::endl;std::cout << aa1.Get_a3() << std::endl;return 0;
}

四. 静态成员函数

• 用static修饰的成员函数
• 静态成员函数没有this指针
• 静态成员函数可以访问静态成员（非静态的不行,因为没有this指针）

对象调用成员函数的时候，编译器会默认把对象的地址传给成员函数的第一个参数this指针，有了this指针函数里面使用成员变量的时候，编译器才能知道你用的是哪个对象的成员函数。静态函数没有这个参数，就访问不了类的普通成员。

• 非静态的成员函数，可以访问任意的静态成员变量和函数
• 突破类域访问静态成员，可以通过类名::静态成员，对象.静态成员 来访问静态成员变量
  和静态成员函数。

	std::cout << A::Get_a3() << std::endl;//         类名::静态成员std::cout << aa1.Get_a3() << std::endl;//         对象.静态成员

• 静态成员也是类的成员，受public、protected、private访问限定符的限制。
• 静态成员变量不可以在声明位置给初始化。（声明处的初始化值是给构造函数初始化列表的，但是静态成员变量不属于某个对象，不走构造函数初始化列表）