11.3 类构造函数和析构函数

构造函数：是为了在定义对象时自动初始化其成员变量的值。

构造函数没有返回值，也没有被声明为void类型；因此，构造函数没有声明类型。

11.3.1 声明和定义一个构造函数

构造函数原型：在这里有个十分尴尬的情况，构造函数参数名和类的成员变量如果相同将会导致代码混乱，常见的解决方案就是加前缀或后缀：

//构造函数是这样，参数shares和share_val，如果类成员也是这样参数shares和share_val，将会导致混乱
Stock::Stock(const string & company, long shares, double share_val)
{...
}
//解决方案
class Stock
{private:string m_company;long m_shares;...orclass Stock
{private:string company_;long shares_;...
}

// constructor prototype with some default arguments
Stock(const std::string & co, long n = 0, double pr = 0.0);

构造函数定义：

// constructor definition
Stock::Stock(const std::string& co, long n, double pr)
{company = co;if (n < 0){std::cerr << "Number of shares can’t be negative; "<< company << " shares set to 0.\n";shares = 0;}elseshares = n;share_val = pr;set_tot();
}

11.3.2 使用构造函数

//下面这两种都是可以的嘿嘿
Stock food = Stock("World Cabbage", 250, 1.25);
Stock garment("Furry Mason", 50, 2.5);
//这个是结合了动态内存分配
Stock *pstock = new Stock("Electroshock Games", 18, 19.0);

11.3.3 默认构造函数

默认构造函数时在为提供显式初始值时，用来创建对象的构造函数。

//如果你没有给自定义类定义构造函数，那么系统会自动生成下面这个构造函数，称为默认构造函数
Stock::Stock() { }
//那么对于下面这个变量fluffy_the_cat，它的成员函数没有被初始化
Stock fluffy_the_cat; // uses the default constructor//如果自定义了构造函数，那么系统不再自动生成默认构造函数了，因此对于上面这句定义，系统将会报错
//因此需要自定义默认构造函数，有两种方式，一是给函数设置默认形参，如下所示：
Stock(const string & co = "Error", int n = 0, double pr = 0.0);
//二是自己定义一个无参数的默认构造函数
Stock::Stock() // default constructor
{company = "no name";shares = 0;share_val = 0.0;total_val = 0.0;
}//以下代码调用默认构造函数
Stock first; // calls default constructor implicitly
Stock first = Stock(); // calls it explicitly
Stock *prelief = new Stock; // calls it implicitly//以下代码调用其他构造函数
Stock first("Concrete Conglomerate"); // calls constructor

11.3.4 析构函数

析构函数就是在类名前加上_{。因此Stock类的析构函数为}Stock()。另外，与构造函数一样，析构函数也可以没有返回值和声明类型。与构造函数不同的是，析构函数没有参数。

析构函数原型：

~Stock();

析构函数定义：

Stock::~Stock()
{
}

析构函数什么时候调用呢？--------析构函数是自动调用的

如果创建的时静态存储类对象，则其析构函数将在程序结束时自动被调用。如果创建的是自动存储类对象，则其析构函数将在函数执行完代码块时自动被调用。如果对象时通过new创建的，则它将驻留在栈内存或自由存储区中，当使用delete来释放内存时，其析构函数将自动被调用。最后，程序可以创建临时对象来完成特定的功能，在这种情况下，程序将在结束对该对象的使用时自动调用其析构函数。

构造函数有默认构造函数，如果用户没有自定义析构函数，系统将会生成一个默认析构函数。

11.3.5 自定义类举例

11.3.5.1 源文件及运行结果

头文件：

#pragma once
// stock00.h -- Stock class interface
// version 00
#ifndef STOCK00_H_
#define STOCK00_H_
#include 
class Stock
{
private:std::string company;long shares;double share_val;double total_val;void set_tot() { total_val = shares * share_val; }
public:// two constructorsStock(); // default constructorStock(const std::string& co, long n = 0, double pr = 0.0);~Stock(); // noisy destructorvoid buy(long num, double price);void sell(long num, double price);void update(double price);void show();
};
#endif

函数实现文件：

将文件名放在双引号而不是方括号中意味着编译器将在源文件所在的目录中搜索它。

// stock00.cpp -- implementing the Stock class
// version 00
#include 
#include "stock00.h"// constructors (verbose versions)
Stock::Stock() // default constructor
{std::cout << "Default constructor called\n";company = "no name";shares = 0;share_val = 0.0;total_val = 0.0;
}
Stock::Stock(const std::string& co, long n, double pr)
{std::cout << "Constructor using " << co << " called\n";company = co;if (n < 0){std::cout << "Number of shares can’t be negative; "<< company << " shares set to 0.\n";shares = 0;}elseshares = n;share_val = pr;set_tot();
}
// class destructor
Stock::~Stock() // verbose class destructor
{std::cout << "Bye, " << company << "!\n";
}
// other methods
void Stock::buy(long num, double price)
{if (num < 0){std::cout << "Number of shares purchased can’t be negative. "<< "Transaction is aborted.\n";}else{shares += num;share_val = price;set_tot();}
}
void Stock::sell(long num, double price)
{using std::cout;if (num < 0){cout << "Number of shares sold can’t be negative. "<< "Transaction is aborted.\n";}else if (num > shares){cout << "You can’t sell more than you have! "<< "Transaction is aborted.\n";}else{shares -= num;share_val = price;set_tot();}
}
void Stock::update(double price)
{share_val = price;set_tot();
}
void Stock::show()
{using std::cout;using std::ios_base;// set format to #.###ios_base::fmtflags orig =cout.setf(ios_base::fixed, ios_base::floatfield);std::streamsize prec = cout.precision(3);cout << "Company: " << company<< " Shares: " << shares << '\n';cout << " Share Price: $" << share_val;// set format to #.##cout.precision(2);cout << " Total Worth: $" << total_val << '\n';// restore original formatcout.setf(orig, ios_base::floatfield);cout.precision(prec);
}

main文件：

// usestck0.cpp -- the client program
// compile with stock00.cpp
#include 
#include "stock00.h"
int main()
{{//这个大括号是为了制造一个块，然后这个块呢可以使得在程序结束之前调用析构函数并在窗口显示文字//如果没有这个块，那么就不会看到Bye, NanoSmart!和Bye, Nifty Foods!的显示了using std::cout;cout << "Using constructors to create new objects\n";Stock stock1("NanoSmart", 12, 20.0); // syntax 1stock1.show();Stock stock2 = Stock("Boffo Objects", 2, 2.0); // syntax 2stock2.show();cout << "Assigning stock1 to stock2:\n";stock2 = stock1;//When you assign one object to another of the same class, by default C++ copies the contents of each data member of the source object to the corresponding data member of the target object.cout << "Listing stock1 and stock2:\n";stock1.show();stock2.show();cout << "Using a constructor to reset an object\n";stock1 = Stock("Nifty Foods", 10, 50.0); // temp objectcout << "Revised stock1:\n";stock1.show();cout << "Done\n";}return 0;
}

运行结果：

Using constructors to create new objects
Constructor using NanoSmart called
Company: NanoSmart Shares: 12Share Price: $20.00 Total Worth: $240.00
Constructor using Boffo Objects called
Company: Boffo Objects Shares: 2Share Price: $2.000 Total Worth: $4.00
Assigning stock1 to stock2:
Listing stock1 and stock2:
Company: NanoSmart Shares: 12Share Price: $20.000 Total Worth: $240.00
Company: NanoSmart Shares: 12Share Price: $20.000 Total Worth: $240.00
Using a constructor to reset an object
Constructor using Nifty Foods called
Bye, Nifty Foods!
Revised stock1:
Company: Nifty Foods Shares: 10Share Price: $50.000 Total Worth: $500.00
Done
Bye, NanoSmart!
Bye, Nifty Foods!D:\Prj\C++\Class_Defined\Debug\Class_Defined.exe (进程 4956)已退出，代码为 0。
要在调试停止时自动关闭控制台，请启用“工具”->“选项”->“调试”->“调试停止时自动关闭控制台”。
按任意键关闭此窗口. . .

11.3.5.2 注意事项

有些编译器可能出现以下结果：

Using constructors to create new objects
Constructor using NanoSmart called
Company: NanoSmart Shares: 12
Share Price: $20.00 Total Worth: $240.00
Constructor using Boffo Objects called
Bye, Boffo Objects! << additional line
Company: Boffo Objects Shares: 2
Share Price: $2.00 Total Worth: $4.00
...

原因是：

对于以下语句C++标准给了两种方式执行：

Stock stock2 = Stock ("Boffo Objects", 2, 2.0);

第一种是下面这样的：

Constructor using Boffo Objects called
Company: Boffo Objects Shares: 2

第二种是生成一个临时变量：调用构造函数来创建一个临时对象，然后将该临时对象复制到stock2中，并丢弃它。如果编译器使用的时这种方式，则将为临时对象调用析构函数，因此生成下面的输出：

Constructor using Boffo Objects called
Bye, Boffo Objects!
Company: Boffo Objects Shares: 2

生成上述输出的编译器可能立刻删除临时对象，但也可能会等一段时间，在这种情况下，析构函数的消息将会过一段时间才显示。
由此得出结论：

如果既可以通过初始化，也可以通过复制来设置对象的值，则应采用初始化方式。通常这种方式的效率更高。

11.3.6 移动语义

11.3.6.1 移动构造函数

对于构造函数的深复制，在某些情况下源数据将被删除而不需要副本，而且涉及到的内存比较大，此时编译器可以将数据的所有权转让给相关的变量，就避免了做大量无用功。

实际文件还留在原来的地方，而只是修改了记录；这种方法称为移动语义。

默认移动构造函数—系统自动生成，如果程序员提供了则使用程序员的版本。

Someclass::Someclass(Someclass &&); // defaulted move constructor

vector vstr_copy1(vstr); // #1
vector vstr_copy2(allcaps(vstr)); // #2

要实现移动语义，需要采取某种方式，让编译器直到什么时候需要复制，什么时候不需要。这就是右值引用发挥作用的地方。可定义两个构造函数。其中一个是常规复制构造函数，它使用const左值引用作为参数，这个引用关联到左值实参，如语句#1中的vstr；另一个是移动构造函数，它使用右值引用作为参数，这个引用关联到右值实参，如语句#2中allcaps(vstr)的返回值。复制构造函数可执行深复制，而移动构造函数只调整记录。在将所有权转移给新对象的过程中，移动构造函数可能修改其实参，这意味着右值引用参数不应是const。

如何实现移动语义：
1.右值引用让编译器知道何时可使用移动语义；
2.编写移动构造函数，使其提供所需的行为。

11.3.6.2 移动赋值运算符

移动赋值运算符删除目标对象中的原始数据，并将源对象的所有权转让给目标。
移动赋值运算符的参数不能是const引用，因为这个方法修改了源对象。

默认移动赋值运算符—系统自动生成，如果程序员提供了则使用程序员的版本。

Someclass & Someclass::operator=(Someclass &&); // defaulted move assignment

11.3.6.3 强制移动

使用头文件utility头文件中的std::move()函数将对象的类型强制转换为移动类型。

11.3.6.4 举例

code
useless.h

#pragma once
#ifndef _USELESS_H_
#define _USELESS_H_
#include 
#include 
// interface
class Useless
{
private:int n; // number of elementschar* pc; // pointer to datastatic int ct; // number of objectsvoid ShowObject() const;
public:Useless();explicit Useless(int k);Useless(int k, char ch);Useless(const Useless& f); // regular copy constructorUseless(Useless && f); // move constructor~Useless();Useless operator+(const Useless& f)const;void ShowData() const;Useless& operator=(const Useless& f);// copy assignmentUseless& operator=(Useless&& f);// move assignment
};
#endif

useless.cpp

#include "useless.h"
using namespace std;// implementation
int Useless::ct = 0;
Useless::Useless()
{++ct;n = 0;pc = nullptr;cout << "default constructor called; number of objects: " << ct << endl;ShowObject();
}
Useless::Useless(int k) : n(k)
{++ct;cout << "int constructor called; number of objects: " << ct << endl;pc = new char[n];ShowObject();
}
Useless::Useless(int k, char ch) : n(k)
{++ct;cout << "int, char constructor called; number of objects: " << ct<< endl;pc = new char[n];for (int i = 0; i < n; i++)pc[i] = ch;ShowObject();
}
Useless::Useless(const Useless& f) : n(f.n)
{++ct;cout << "copy const called; number of objects: " << ct << endl;pc = new char[n];for (int i = 0; i < n; i++)pc[i] = f.pc[i];ShowObject();
}
Useless::Useless(Useless&& f) : n(f.n)
{++ct;cout << "move constructor called; number of objects: " << ct << endl;pc = f.pc; // steal addressf.pc = nullptr; // give old object nothing in returnf.n = 0;ShowObject();
}
Useless::~Useless()
{cout << "destructor called; objects left: " << --ct << endl;cout << "deleted object:\n";ShowObject();delete[] pc;
}
Useless Useless::operator+(const Useless& f)const
{cout << "Entering operator+()\n";Useless temp = Useless(n + f.n);for (int i = 0; i < n; i++)temp.pc[i] = pc[i];for (int i = n; i < temp.n; i++)temp.pc[i] = f.pc[i - n];cout << "temp object:\n";cout << "Leaving operator+()\n";return temp;
}
void Useless::ShowObject() const
{cout << "Number of elements: " << n;cout << " Data address: " << (void*)pc << endl;
}
void Useless::ShowData() const
{if (n == 0)cout << "(object empty)";elsefor (int i = 0; i < n; i++)cout << pc[i];cout << endl;
}Useless& Useless::operator=(const Useless& f) // copy assignment
{cout << "Entering operator=()\n";if (this == &f)return *this;delete[] pc;n = f.n;pc = new char[n];for (int i = 0; i < n; i++)pc[i] = f.pc[i];cout << "Leaving operator=()\n";return *this;
}Useless& Useless::operator=(Useless&& f) // move assignment
{cout << "Entering move operator=()\n";if (this == &f)return *this;delete[] pc;n = f.n;pc = f.pc;f.n = 0;f.pc = nullptr;cout << "Leaving move operator=()\n";return *this;
}

main.cpp

/*
Project name :			_36move_semantics
Last modified Date:		2022年5月23日21点48分
Last Version:			V1.0
Descriptions:			移动构造函数
*/
#include 
#include "useless.h"
using namespace std;int main()
{cout << "one*******************" << endl;Useless one(10, 'x');cout << "two*******************" << endl;Useless two;two = one; // calls copy constructorcout << "three*******************" << endl;Useless three(20, 'o');cout << "four*******************" << endl;Useless four(one + three); // calls operator+(), move constructorcout << "five*******************" << endl;Useless five; five = one + four;// calls operator+(), move constructor//默认构造，+运算符，移动构造，移动赋值cout << "six*******************" << endl;Useless six;six = std::move(one); // forced move assignment//默认构造函数，移动赋值cout << "object one: ";one.ShowData();cout << "object two: ";two.ShowData();cout << "object three: ";three.ShowData();cout << "object four: ";four.ShowData();cout << "object five: ";five.ShowData();cout << "object six: ";six.ShowData();return 0;
}

运行结果

one*******************
int, char constructor called; number of objects: 1
Number of elements: 10 Data address: 0000022953D00CE0
two*******************
default constructor called; number of objects: 2
Number of elements: 0 Data address: 0000000000000000
Entering operator=()
Leaving operator=()
three*******************
int, char constructor called; number of objects: 3
Number of elements: 20 Data address: 0000022953D011E0
four*******************
Entering operator+()
int constructor called; number of objects: 4
Number of elements: 30 Data address: 0000022953CFC650
temp object:
Leaving operator+()
move constructor called; number of objects: 5
Number of elements: 30 Data address: 0000022953CFC650
destructor called; objects left: 4
deleted object:
Number of elements: 0 Data address: 0000000000000000
five*******************
default constructor called; number of objects: 5
Number of elements: 0 Data address: 0000000000000000
Entering operator+()
int constructor called; number of objects: 6
Number of elements: 40 Data address: 0000022953CFDCA0
temp object:
Leaving operator+()
move constructor called; number of objects: 7
Number of elements: 40 Data address: 0000022953CFDCA0
destructor called; objects left: 6
deleted object:
Number of elements: 0 Data address: 0000000000000000
Entering move operator=()
Leaving move operator=()
destructor called; objects left: 5
deleted object:
Number of elements: 0 Data address: 0000000000000000
six*******************
default constructor called; number of objects: 6
Number of elements: 0 Data address: 0000000000000000
Entering move operator=()
Leaving move operator=()
object one: (object empty)
object two: xxxxxxxxxx
object three: oooooooooooooooooooo
object four: xxxxxxxxxxoooooooooooooooooooo
object five: xxxxxxxxxxxxxxxxxxxxoooooooooooooooooooo
object six: xxxxxxxxxx
destructor called; objects left: 5
deleted object:
Number of elements: 10 Data address: 0000022953D00CE0
destructor called; objects left: 4
deleted object:
Number of elements: 40 Data address: 0000022953CFDCA0
destructor called; objects left: 3
deleted object:
Number of elements: 30 Data address: 0000022953CFC650
destructor called; objects left: 2
deleted object:
Number of elements: 20 Data address: 0000022953D011E0
destructor called; objects left: 1
deleted object:
Number of elements: 10 Data address: 0000022953D015A0
destructor called; objects left: 0
deleted object:
Number of elements: 0 Data address: 0000000000000000D:\Prj\_C++Self\_36move_semantics\x64\Debug\_36move_semantics.exe (进程 4060)已退出，代码为 0。
要在调试停止时自动关闭控制台，请启用“工具”->“选项”->“调试”->“调试停止时自动关闭控制台”。
按任意键关闭此窗口. . .

11.3.7 default关键字

关键字default显式地声明方法为默认版本。

default关键字只能用于6个特殊成员函数(默认构造函数、复制构造函数、复制赋值运算符、析构函数、移动构造函数、移动赋值运算符)。

class Someclass
{
public:Someclass(Someclass &&);Someclass() = default; // use compiler-generated default constructorSomeclass(const Someclass &) = default;Someclass & operator=(const Someclass &) = default;...
};

11.3.8 delete关键字

关键字delete用于禁止编译器使用特定方法。例如，要禁止复制对象，可禁用复制构造函数和复制赋值运算符。

delete关键字可用于任何成员函数。

class Someclass
{
public:Someclass() = default; // use compiler-generated default constructor// disable copy constructor and copy assignment operator:Someclass(const Someclass&) = delete;Someclass& operator=(const Someclass&) = delete;// use compiler-generated move constructor and move assignment operator:Someclass(Someclass&&) = default;Someclass& operator=(Someclass&&) = default;Someclass& operator+(const Someclass&) const;...
};

要禁止复制，可以将复制构造函数和赋值运算符放在类定义的private部分，但使用delete也能达到这个目的，且更不容易犯错，更容易理解。
如果在启用移动方法同时禁用复制方法，那么将允许移动复制而不允许按值复制。

Someclass one;
Someclass two;
Someclass three(one); // not allowed, one an lvalue
Someclass four(one + two); // allowed, expression is an rvalue

delete的一种应用场景为：禁止特定的转换。

class Someclass
{
public:...void redo(double);...
};
Someclass sc;
sc.redo(5);//OKclass Someclass
{
public:...void redo(double);void redo(int) = delete;...
};Someclass sc;
sc.redo(5);//error---编译错误

11.3.9 委托构造函数

在一个构造函数的定义中使用另一个构造函数，被称为委托。

class Notes {int k;double x;std::string st;
public:Notes();Notes(int);Notes(int, double);Notes(int, double, std::string);
};
Notes::Notes(int kk, double xx, std::string stt) : k(kk),
x(xx), st(stt) {/*do stuff*/
}
Notes::Notes() : Notes(0, 0.01, "Oh") {/* do other stuff*/ }
Notes::Notes(int kk) : Notes(kk, 0.01, "Ah") {/* do yet other stuff*/ }
Notes::Notes(int kk, double xx) : Notes(kk, xx, "Uh") {/* ditto*/ }

默认构造函数使用第一个构造函数初始化数据成员并执行函数体，然后再执行自己的函数体。

11.3.10 继承构造函数

让派生类能够继承基类构造函数的机制。让派生类继承基类所有的构造函数，但是派生类自己定义的构造函数将覆盖与之参数相同的基类的构造函数。

class BS
{int q;double w;
public:BS() : q(0), w(0) {}BS(int k) : q(k), w(100) {}BS(double x) : q(-1), w(x) {}B0(int k, double x) : q(k), w(x) {}void Show() const { std::cout << q << ", " << w << '\n'; }
};
class DR : public BS
{short j;
public:using BS::BS;DR() : j(-100) {} // DR needs its own default constructorDR(double x) : BS(2 * x), j(int(x)) {}DR(int i) : j(-2), BS(i, 0.5 * i) {}void Show() const { std::cout << j << ", "; BS::Show(); }
};
int main()
{DR o1; // use DR()DR o2(18.81); // use DR(double) instead of BS(double)DR o3(10, 1.8); // use BS(int, double)...
}

11.3.11 const成员函数

const Stock land = Stock("Kludgehorn Properties");
land.show();

对于当前C++来说，编译器将拒绝第二行，这是为什么呢？因为show()的代码无法确保调用对象不被修改—调用对象和const一样，不应被修改。C++的解决方法是将const关键字放在函数的括号后面，使之成为const成员函数。

void show() const; // promises not to change invoking object
void stock::show() const // promises not to change invoking object