C++笔记：构造函数

构造函数

构造函数是特殊的成员函数,只要创建类类型的新对象,都要执行构造函数。

• 一个类声明的构造函数的数量没有限制,只要每个构造函数的形参表是唯一的，实参决定使用哪个构造函数
• 构造函数不能声明为 const
• 与任意的成员函数一样,构造函数可以定义在类的内部或外部
• 使用默认实参可以减少代码的重复

构造函数的执行

• 初始化阶段: 隐式或显式初始化阶段
  • 初始化阶段是显式或者是隐式，取决于是否存在成员初始化表
    
  • 隐式初始化阶段按照声明的顺序依次调用所有基类的默认构造函数，然后是所有成员类对象的默认构造函数。
  • 内置类型的成员不进行隐式初始化
  • 对非类类型的数据成员进行赋值或使用初始化式在结果和性能上都是等价的
• 一般的计算阶段: 构造函数体内的所以语句构成

构造函数初始化列表

• 必须使用构造函数初始化列表的情况
  • 没有默认构造函数的类类型的成员 (不能创建对象赋值)
    
  • const类型的成员 (不能赋值)
  • 引用类型的成员 (必须进行初始化)
• 成员的初始化次序
  • 造函数初始化列表仅指定用于初始化成员的值,并不指定这些初始化执行的次序。
    
  • 成员被初始化的次序就是定义成员的次序
• 与构造函数内赋值操作区别
  • 构造函数中的对成员进行设置值是赋值操作,不是初始化操作,其初始化操作已经在初始化表中进行。
  • 构造函数初始化列表调用的是类相匹配的构造函数,构造函数内赋值操作首先调用类默认构造函数初始化对象,然后在调用赋值构造函数进行赋值操作.(见下面Code1.1).
  • 构造函数的执行先是初始化阶段

默认构造函数

• 为所有形参提供默认实参的构造函数也定义了默认构造函数
• 只有当一个类没有定义构造函数时,编译器才会自动合成一个默认构造函数
  • 具有类类型的成员通过运行各自的默认构造函数来进行初始化。
    
  • 内置和复合类型的成员,如指针和数组,只对定义在全局作用域中的对象才初始化,在局部作用域中时不进行初始化
  • 如果类包含内置或复合类型的成员如:指针和数组,则该类不应该依赖于合成的默认构造函数。它应该定义自己的构造函数来初始化这些成员。
• 类通常应定义一个默认构造函数
  • 具有NoDefault成员的每个类的每个构造函数,必须通过传递一个初始的string值给 NoDefault构造函数来显式地初始化NoDefault成员。
    
  • 编译器将不会为具有NoDefault类型成员的类合成默认构造函数。如果这样的类希望提供默认构造函数,就必须显式地定义,并且默认构造函数必须显式地初始化其NoDefault成员。
  • NoDefault类型不能用作动态分配数组的元素类型
  • NoDefault类型的静态分配数组必须为每个元素提供一个显式的初始化式。
  • 如果有一个保存NoDefault对象的容器,例如 vector,就不能使用接受容器大小而没有同时提供一个元素初始化式的构造函数。
• 使用默认构造函数
  • My_class myobj;
    
  • My_class myobj = My_class();

隐式 类类型转换

• 可以用单个实参来调用的构造函数定义了从形参类型到该类类型的一个隐式转换
• 除非有明显的理由想要定义隐式转换,否则,单形参构造函数应该为explicit。item.same_isbn(null_book); // error: string constructor is explicit
• 将构造函数设置为explicit可以避免错误,并且当转换有用时,用户可以显式地构造对象。item.same_isbn(Sales_item(null_book));

类成员的显式初始化

• 没有定义构造函数并且其全体数据成员均为public的类,可以采用与初始化数组元素相同的方式初始化其成员
• 根据数据成员的声明次序来使用初始化式。ata val2 = { 1024, "Anna Livia Plurabelle" };
• 这种形式的初始化从 C 继承而来,支持与 C 程序兼容。
  • 要求类的全体数据成员都是public
    
  • 将初始化每个对象的每个成员的负担放在程序员身上。易出错,因为容易遗忘初始化式或提供不适当的初始化式。
  • 如果增加或删除一个成员,必须找到所有的初始化并正确更新

Code1.1 初始化列表与构造函数内赋值操作的区别

#include <iostream>
#include <stdio.h>
using namespace std;

class Book {
public:
Book(const string &str = "", double num = 0.0):
isbn(str),price(num) { cout << "Book::init" << endl; }
Book(const Book &book):
isbn(book.isbn),price(book.price) { cout << "Book::copy" << endl; }
Book& operator=(const Book &book)
{
cout << "Book::=" << endl;
isbn = book.isbn;
price = book.price;
return *this;
}

private:
string isbn;
double price;
};

class MyTest {
public:
MyTest(const Book &book):
books(book),num(0.0) { cout << "Mytest::init:" << endl; }

MyTest():
books("0-990-09",2.2),num(0.0) { cout << "Mytest::()" << endl; }

/*
MyTest(const Book &book)
{
cout << "Mytest::init" << endl;
books = book;
num = 0.0;
}
*/

private:
Book books;
double num;
};

int main()
{
string isbn("9-999-9999");
cout << "create book===" << endl;
Book book(isbn,1.1);
cout << "create test===" << endl;
MyTest test(book);
cout << "create test1===" << endl;
MyTest test1;

return 0;
}

构造函数初始化列表调用的是类相匹配的构造函数:

create book===
Book::init
create test===
Book::copy
Mytest::init:
create test1===
Book::init
Mytest::()

构造函数内赋值操作首先调用类默认构造函数初始化对象,然后在调用赋值构造函数进行赋值操作:

修改构造函数为

MyTest(const Book &book)
{
cout << "Mytest::init" << endl;
books = book;
num = 0.0;
}

create book===
Book::init
create test===
Book::init
Mytest::init
Book::=
create test1===
Book::init
Mytest::()