## defaulted
### 背景问题
C++ 的类有四类特殊成员函数,它们分别是:**默认构造函数、析构函数、拷贝构造函数以及拷贝赋值运算符**。这些类的特殊成员函数负责创建、初始化、销毁,或者拷贝类的对象。如果程序员没有显式地为一个类定义某个特殊成员函数,而又需要用到该特殊成员函数时,则编译器会隐式的为这个类生成一个默认的特殊成员函数。
**示例 1:**
```cpp
class X {
private:
int a;
};
X obj;
```
在示例 1 中,程序员并没有定义类 X 的默认构造函数,但是在创建类 X 的对象 x 的时候,又需要用到类 X 的默认构造函数,此时,编译器会隐式的为类 X 生成一个默认构造函数。
该自动生成的默认构造函数没有参数,包含一个空的函数体,即 X::X(){ }。虽然自动生成的默认构造函数仅有一个空函数体,但是它仍可用来成功创建类 X 的对象 obj,示例 1 也可以编译通过。
**但是**,如果程序员为类 X 显式的自定义了非默认构造函数,却没有定义默认构造函数的时候,示例 2 将会出现编译错误:
```cpp
class X {
public:
X(int i) {
a = i;
}
private:
int a;
};
X obj; // 错误 ,类X不存在默认构造函数
```
示例 2 编译出错的原因在于:类 X 已经有了用户自定义的构造函数,所以编译器将不再会为它隐式的生成默认构造函数。
如果需要用到默认构造函数来创建类的对象时,程序员必须自己显式的定义默认构造函数。例如:
**示例 3:**
```cpp
class X {
public:
X() {}; // 手动定义默认构造函数
X(int i) {
a = i;
}
private:
int a;
};
X obj;
```
从示例 3 可以看出,原本期望编译器自动生成的默认构造函数却需要程序员手动编写了,即程序员的工作量加大了。此外,手动编写的默认构造函数的代码执行效率比编译器自动生成的默认构造函数低。
类的其它几类特殊成员函数也和默认构造函数一样,当存在用户自定义的特殊成员函数时,编译器将不会隐式的自动生成默认特殊成员函数,而需要程序员手动编写,加大了程序员的工作量。类似的,手动编写的特殊成员函数的代码执行效率比编译器自动生成的特殊成员函数低。
### defaulted 函数的提出
为了解决如示例 3 所示的两个问题:
1. 减轻程序员的编程工作量;
2. 获得编译器自动生成的默认特殊成员函数的高的代码执行效率。
C++11 标准引入了一个新特性:`defaulted` 函数。程序员只需在函数声明后加上`=default;`,就可将该函数声明为 `defaulted` 函数,编译器将为显式声明的 `defaulted` 函数自动生成函数体。例如:
**示例 4:**
```cpp
class X {
public:
X() = default;// 显式声明使用编译器生成的构造
X(int i) { a = i; }
private:
int a;
};
X obj;
```
在示例 4 中,编译器会自动生成默认构造函数 `X::X(){}`,该函数可以比用户自己定义的默认构造函数获得更高的代码效率。
### defaulted 函数的用法及示例
`defaulted` 函数特性仅适用于类的特殊成员函数,且该特殊成员函数没有默认参数。例如:
**示例 5:**
```cpp
class X {
public:
//int f() = default; //=default只能出现在默认构造函数、复制/移动构造函数、复制/移动赋值运算符和析构函数中
X() = default; //正确
X(int, int) = default; // 错误 , 构造函数 X(int, int) 非 X 的特殊成员函数
X(int = 1) = default; // 错误 , 默认构造函数 X(int=1) 含有默认参数
private:
int a;
};
```
defaulted 函数既可以在类体里(inline)定义,也可以在类体外(out-of-line)定义。例如:
**示例 6:**
```cpp
class X {
public:
X() = default;
X(const X&);
X& operator = (const X&);
~X() = default;
private:
int a;
};
X::X(const X&) = default; //Out-of-line defaulted 拷贝构造函数
X& X::operator = (const X&) = default; //Out-of-line defaulted 拷贝赋值操作符
```
在 C++ 代码编译过程中,如果程序员没有为类 X 定义析构函数,但是在销毁类 X 对象的时候又需要调用类 X 的析构函数时,编译器会自动隐式的为该类生成一个析构函数。该自动生成的析构函数没有参数,包含一个空的函数体,即 `X::~X(){}`。例如:
**示例 7:**
```cpp
class X {
public:
int x;
};
class Y : public X {
public:
Y() {
p = new int;
cout << "Y构造函数\n";
}
~Y() {
delete p;
cout << "Y析构函数\n";
}
private:
int* p;
};
int main() {
X* p = new Y;
delete p;
return 0;
}
```
在示例 7 中,程序员没有为基类 X 定义析构函数,当在主函数内 `delete` 基类指针 p 的时候,需要调用基类的析构函数。于是,编译器会隐式自动的为类 X 生成一个析构函数,从而可以成功的销毁 p 指向的派生类对象中的基类子对象。
但是,这段代码存在内存泄露的问题,当利用 delete 语句删除指向派生类对象的指针 p 时,系统调用的是基类的析构函数,而非派生类 Y 类的析构函数,因此,编译器无法析构派生类的已经在堆区分配空间 p 。
因此,一般情况下我们需要**将基类的析构函数定义为虚函数**,当利用 delete 语句删除指向派生类对象的基类指针时,系统会调用相应的派生类的析构函数(实现多态性),从而避免内存泄露。
但是编译器隐式自动生成的析构函数都是非虚函数,这就需要由程序员手动的为基类 X 定义虚析构函数,例如:
**示例 8:**
```cpp
#include <iostream>
using namespace std;
class X {
public:
int x;
virtual ~X() {}
};
class Y : public X {
public:
Y() {
p = new int;
cout << "Y构造函数\n";
}
~Y() {
delete p;
cout << "Y析构函数\n";
}
private:
int* p;
};
int main() {
X* p = new Y;
delete p;
return 0;
}
```
在示例 8 中,由于程序员手动为基类 X 定义了虚析构函数,当利用 delete 语句删除指向派生类对象的基类指针 p 时,系统会调用相应的派生类 Y 的析构函数以及基类 X 的析构函数,从而将派生类对象完整的销毁,可以避免内存泄露。
但是,在示例 8 中,程序员需要手动的编写基类的虚构函数的定义(哪怕函数体是空的),增加了程序员的编程工作量。更值得一提的是,手动定义的析构函数的代码执行效率要低于编译器自动生成的析构函数。
为了解决上述问题,我们可以将基类的虚析构函数声明为 defaulted 函数,这样就可以显式的指定编译器为该函数自动生成函数体。例如:
```cpp
class X {
public:
int x;
virtual ~X() = default; //将该函数声明为 "=default"函数,编译器将为显式声明的 "=default"函数自动生成函数体
};
class Y : public X {
public:
Y() {
p = new int;
cout << "Y构造函数\n";
}
~Y() {
delete p;
cout << "Y析构函数\n";
}
private:
int* p;
};
int main() {
X* p = new Y;
delete p;
return 0;
}
```
在示例 9 中,编译器会自动生成虚析构函数 `virtual X::X(){}`,该函数比用户自己定义的虚析构函数具有更高的代码执行效率。
## deleted
### 背景问题
对于 C++ 的类,如果程序员没有为其定义特殊成员函数,那么在需要用到某个特殊成员函数的时候,编译器会隐式的自动生成一个默认的特殊成员函数,比如拷贝构造函数,或者拷贝赋值操作符。例如:
**示例 10:**
```cpp
class X {
public:
X();
};
int main() {
X obj1;
X obj2 = obj1; // 正确,调用编译器隐式生成的默认拷贝构造函数
X obj3;
obj3 = obj1; // 正确,调用编译器隐式生成的默认拷贝赋值操作符
}
```
在示例 10 中,程序员不需要自己手动编写拷贝构造函数以及拷贝赋值操作符,依靠编译器自动生成的默认拷贝构造函数以及拷贝赋值操作符就可以实现类对象的拷贝和赋值。
这在某些情况下是非常方便省事的,但是在某些情况下,假设我们不允许发生类对象之间的拷贝和赋值,可是又无法阻止编译器隐式自动生成默认的拷贝构造函数以及拷贝赋值操作符,那这就成为一个问题了。
### deleted 函数的提出
为了能够让程序员显式的禁用某个函数,C++11 标准引入了一个新特性:deleted 函数。程序员只需在函数声明后上`=delete;`,就可将该函数禁用。
例如,可以将类 X 的拷贝构造函数以及拷贝赋值操作符声明为 `deleted` 函数,就可以禁止类 X 对象之间的拷贝和赋值。
**示例 11:**
```cpp
#include <iostream>
using namespace std;
class X {
public:
X();
X(const X&) = delete;
X& operator=(const X&) = delete;
};
int main() {
X obj1;
X obj2 = obj1;// 错误,无法引用函数 X::X(const X&),它是已删除的函数
X obj3;
obj3 = obj1;// 错误,无法引用函数 X::X& operator=(const X&),它是已删除的函数
return 0;
}
```
在示例 11 中,虽然只显式的禁用了一个拷贝构造函数和一个拷贝赋值操作符,但是由于编译器检测到类 X 存在用户自定义的拷贝构造函数和拷贝赋值操作符的声明,所以不会再隐式的生成其它参数类型的拷贝构造函数或拷贝赋值操作符,也就相当于类 X 没有任何拷贝构造函数和拷贝赋值操作符,所以对象间的拷贝和赋值被完全禁止了。
### deleted 函数的用法及示例
deleted 函数特性还可用于禁用类的某些转换构造函数,从而避免不期望的类型转换。
在示例 12 中,假设类 X 只支持参数为双精度浮点数 double 类型的转换构造函数,而不支持参数为整数 int 类型的转换构造函数,则可以将参数为 int 类型的转换构造函数声明为 deleted 函数。
**示例 12:**
```cpp
class X {
public:
X(double);
X(int) = delete;
};
int main() {
X obj1(1.1);
X obj2(2); // 错误,参数为整数 int 类型的转换构造函数被禁用
return 0;
}
```
deleted 函数特性还可以用来禁用某些用户自定义的类的 new 操作符,从而避免在自由存储区创建类的对象。例如:
**示例 13:**
```cpp
class X {
public:
void* operator new(size_t) = delete;
void* operator new[](size_t) = delete;
};
int main() {
X* pa = new X; // 错误,new 操作符被禁用
X* pb = new X[10];// 错误,new[] 操作符被禁用
return 0;
}
```
必须在函数第一次声明的时候将其声明为 deleted 函数,否则编译器会报错。即对于类的成员函数而言,deleted 函数必须在类体里(inline)定义,而不能在类体外(out-of-line)定义。例如:
**示例 14:**
```cpp
class X {
public:
X(const X&);
};
X::X(const X&) = delete; // 错误,deleted 函数必须在函数第一次声明处声明
```
虽然 defaulted 函数特性规定了只有类的特殊成员函数才能被声明为 defaulted 函数,但是 deleted 函数特性并没有此限制。非类的成员函数,即普通函数也可以被声明为 deleted 函数。例如:
**示例 15:**
```cpp
int add(int, int) = delete;
int main() {
int a, b;
add(a, b); // 错误,函数 add(int, int) 被禁用
}
```
值得一提的是,在示例 15 中,虽然 add(int, int)函数被禁用了,但是禁用的仅是函数的定义,即该函数不能被调用。但是函数标示符 add 仍是有效的,在名字查找和函数重载解析时仍会查找到该函数标示符。如果编译器在解析重载函数时,解析结果为 deleted 函数,则会出现编译错误。例如:
**示例 16:**
```cpp
int add(int, int) = delete;
double add(double a, double b) {
return a + b;
}
int main() {
cout << add(1, 3) << endl; // 错误,调用了 deleted 函数 add(int, int)
cout << add(1.2, 1.3) << endl;
return 0;
}
```
C++11:defaulted 和 deleted 函数