C++11 中的 Defaulted 和 Deleted 函数
http://blog.jobbole.com/103669/
C++11 中的 Defaulted 和 Deleted 函数
本文将介绍 C++11 标准的两个新特性:defaulted 和 deleted 函数。对于 defaulted 函数,编译器会为其自动生成默认的函数定义体,从而获得更高的代码执行效率,也可免除程序员手动定义该函数的工作量。对于 deleted 函数, 编译器会对其禁用,从而避免某些非法的函数调用或者类型转换,从而提高代码的安全性。本文将通过代码示例详细阐述 defaulted 和 deleted 函数的用法及益处。
Defaulted 函数
背景问题
C++ 的类有四类特殊成员函数,它们分别是:默认构造函数、析构函数、拷贝构造函数以及拷贝赋值运算符。这些类的特殊成员函数负责创建、初始化、销毁,或者拷贝类的对象。如果程序员没有显式地为一个类定义某个特殊成员函数,而又需要用到该特殊成员函数时,则编译器会隐式的为这个类生成一个默认的特殊成员函数。例如:
清单 1
1
2
3
4
5
6
|
classX{
private:
inta;
};
Xx;
|
在清单 1 中,程序员并没有定义类 X
的默认构造函数,但是在创建类 X
的对象 x
的时候,又需要用到类 X
的默认构造函数,此时,编译器会隐式的为类 X
生成一个默认构造函数。该自动生成的默认构造函数没有参数,包含一个空的函数体,即 X::X(){ }
。虽然自动生成的默认构造函数仅有一个空函数体,但是它仍可用来成功创建类 X
的对象 x
,清单 1 也可以编译通过。
但是,如果程序员为类 X 显式的自定义了非默认构造函数,却没有定义默认构造函数的时候,清单 2 将会出现编译错误:
清单 2
1
2
3
4
5
6
7
8
9
10
|
classX{
public:
X(inti){
a=i;
}
private:
inta;
};
Xx; // 错误 , 默认构造函数 X::X() 不存在
|
清单 2 编译出错的原因在于类 X
已经有了用户自定义的构造函数,所以编译器将不再会为它隐式的生成默认构造函数。如果需要用到默认构造函数来创建类的对象时,程序员必须自己显式的定义默认构造函数。例如:
清单 3
1
2
3
4
5
6
7
8
9
10
11
|
classX{
public:
X(){}; // 手动定义默认构造函数
X(inti){
a=i;
}
private:
inta;
};
Xx; // 正确,默认构造函数 X::X() 存在
|
从清单 3 可以看出,原本期望编译器自动生成的默认构造函数需要程序员手动编写了,即程序员的工作量加大了。此外,手动编写的默认构造函数的代码执行效率比编译器自动生成的默认构造函数低。类的其它几类特殊成员函数也和默认构造函数一样,当存在用户自定义的特殊成员函数时,编译器将不会隐式的自动生成默认特殊成员函数,而需要程序员手动编写,加大了程序员的工作量。类似的,手动编写的特殊成员函数的代码执行效率比编译器自动生成的特殊成员函数低。
Defaulted 函数的提出
为了解决如清单 3 所示的两个问题:1. 减轻程序员的编程工作量;2. 获得编译器自动生成的默认特殊成员函数的高的代码执行效率,C++11 标准引入了一个新特性:defaulted 函数。程序员只需在函数声明后加上“=default;
”,就可将该函数声明为 defaulted 函数,编译器将为显式声明的 defaulted 函数自动生成函数体。例如:
清单 4
1
2
3
4
5
6
7
8
9
10
11
|
classX{
public:
X()=default;
X(inti){
a=i;
}
private:
inta;
};
Xx;
|
在清单 4 中,编译器会自动生成默认构造函数 X::X(){}
,该函数可以比用户自己定义的默认构造函数获得更高的代码效率。
Defaulted 函数定义语法
Defaulted 函数是 C++11 标准引入的函数定义新语法,defaulted 函数定义的语法如图 1 所示:
图 1. Defaulted 函数定义语法图
Defaulted 函数的用法及示例
Defaulted 函数特性仅适用于类的特殊成员函数,且该特殊成员函数没有默认参数。例如:
清单 5
1
2
3
4
5
6
|
classX{
public:
intf()=default; // 错误 , 函数 f() 非类 X 的特殊成员函数
X(int)=default; // 错误 , 构造函数 X(int, int) 非 X 的特殊成员函数
X(int=1)=default; // 错误 , 默认构造函数 X(int=1) 含有默认参数
};
|
Defaulted 函数既可以在类体里(inline)定义,也可以在类体外(out-of-line)定义。例如:
清单 6
1
2
3
4
5
6
7
8
9
10
11
|
classX{
public:
X()=default;//Inline defaulted 默认构造函数
X(constX&);
X&operator=(constX&);
~X()=default; //Inline defaulted 析构函数
};
X::X(constX&)=default; //Out-of-line defaulted 拷贝构造函数
X&X::operator=(constX&)=default; //Out-of-line defaulted
// 拷贝赋值操作符
|
在 C++ 代码编译过程中,如果程序员没有为类 X
定义析构函数,但是在销毁类 X
对象的时候又需要调用类 X
的析构函数时,编译器会自动隐式的为该类生成一个析构函数。该自动生成的析构函数没有参数,包含一个空的函数体,即 X::~X(){ }
。例如:
清单 7
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
classX{
private:
intx;
};
classY:publicX{
private:
inty;
};
intmain(){
X*x=newY;
deletex;
}
|
在清单 7 中,程序员没有为基类 X 和派生类 Y 定义析构函数,当在主函数内 delete 基类指针 x 的时候,需要调用基类的析构函数。于是,编译器会隐式自动的为类 X 生成一个析构函数,从而可以成功的销毁 x 指向的派生类对象中的基类子对象(即 int 型成员变量 x)。
但是,这段代码存在内存泄露的问题,当利用 delete
语句删除指向派生类对象的指针 x
时,系统调用的是基类的析构函数,而非派生类 Y
类的析构函数,因此,编译器无法析构派生类的 int
型成员变量 y。
因此,一般情况下我们需要将基类的析构函数定义为虚函数,当利用 delete 语句删除指向派生类对象的基类指针时,系统会调用相应的派生类的析构函数(实现多态性),从而避免内存泄露。但是编译器隐式自动生成的析构函数都是非虚函数,这就需要由程序员手动的为基类 X
定义虚析构函数,例如:
清单 8
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
classX{
public:
virtual~X(){}; // 手动定义虚析构函数
private:
intx;
};
classY:publicX{
private:
inty;
};
intmain(){
X*x=newY;
deletex;
}
|
在清单 8 中,由于程序员手动为基类 X
定义了虚析构函数,当利用 delete
语句删除指向派生类对象的基类指针 x
时,系统会调用相应的派生类 Y
的析构函数(由编译器隐式自动生成)以及基类 X
的析构函数,从而将派生类对象完整的销毁,可以避免内存泄露。
但是,在清单 8 中,程序员需要手动的编写基类的虚构函数的定义(哪怕函数体是空的),增加了程序员的编程工作量。更值得一提的是,手动定义的析构函数的代码执行效率要低于编译器自动生成的析构函数。
为了解决上述问题,我们可以将基类的虚析构函数声明为 defaulted 函数,这样就可以显式的指定编译器为该函数自动生成函数体。例如:
清单 9
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
classX{
public:
virtual~X()=defaulted;// 编译器自动生成 defaulted 函数定义体
private:
intx;
};
classY:publicX{
private:
inty;
};
intmain(){
X*x=newY;
deletex;
}
|
在清单 9 中,编译器会自动生成虚析构函数 virtual X::X(){}
,该函数比用户自己定义的虚析构函数具有更高的代码执行效率。
Deleted 函数
背景问题
对于 C++ 的类,如果程序员没有为其定义特殊成员函数,那么在需要用到某个特殊成员函数的时候,编译器会隐式的自动生成一个默认的特殊成员函数,比如拷贝构造函数,或者拷贝赋值操作符。例如:
清单 10
1
2
3
4
5
6
7
8
9
10
11
|
classX{
public:
X();
};
intmain(){
Xx1;
Xx2=x1; // 正确,调用编译器隐式生成的默认拷贝构造函数
Xx3;
x3=x1; // 正确,调用编译器隐式生成的默认拷贝赋值操作符
}
|
在清单 10 中,程序员不需要自己手动编写拷贝构造函数以及拷贝赋值操作符,依靠编译器自动生成的默认拷贝构造函数以及拷贝赋值操作符就可以实现类对象的拷贝和赋值。这在某些情况下是非常方便省事的,但是在某些情况下,假设我们不允许发生类对象之间的拷贝和赋值,可是又无法阻止编译器隐式自动生成默认的拷贝构造函数以及拷贝赋值操作符,那这就成为一个问题了。
Deleted 函数的提出
为了能够让程序员显式的禁用某个函数,C++11 标准引入了一个新特性:deleted 函数。程序员只需在函数声明后加上“=delete;
”,就可将该函数禁用。例如,我们可以将类 X
的拷贝构造函数以及拷贝赋值操作符声明为 deleted 函数,就可以禁止类 X
对象之间的拷贝和赋值。
清单 11
1
2
3
4
5
6
7
8
9
10
11
12
13
|
classX{
public:
X();
X(constX&)=delete; // 声明拷贝构造函数为 deleted 函数
X&operator=(constX&)=delete;// 声明拷贝赋值操作符为 deleted 函数
};
intmain(){
Xx1;
Xx2=x1; // 错误,拷贝构造函数被禁用
Xx3;
x3=x1; // 错误,拷贝赋值操作符被禁用
}
|
在清单 11 中,虽然只显式的禁用了一个拷贝构造函数和一个拷贝赋值操作符,但是由于编译器检测到类 X
存在用户自定义的拷贝构造函数和拷贝赋值操作符的声明,所以不会再隐式的生成其它参数类型的拷贝构造函数或拷贝赋值操作符,也就相当于类 X
没有任何拷贝构造函数和拷贝赋值操作符,所以对象间的拷贝和赋值被完全禁止了。
Deleted 函数定义语法
Deleted 函数是 C++11 标准引入的函数定义新语法,deleted 函数定义的语法如图 2 所示:
图 2. Deleted 函数定义语法图
Deleted 函数的用法及示例
Deleted 函数特性还可用于禁用类的某些转换构造函数,从而避免不期望的类型转换。在清单 12 中,假设类 X
只支持参数为双精度浮点数 double 类型的转换构造函数,而不支持参数为整数 int 类型的转换构造函数,则可以将参数为 int 类型的转换构造函数声明为 deleted 函数。
清单 12
1
2
3
4
5
6
7
8
9
10
|
classX{
public:
X(double);
X(int)=delete;
};
intmain(){
Xx1(1.2);
Xx2(2);// 错误,参数为整数 int 类型的转换构造函数被禁用
}
|
Deleted 函数特性还可以用来禁用某些用户自定义的类的 new
操作符,从而避免在自由存储区创建类的对象。例如:
清单 13
1
2
3
4
5
6
7
8
9
10
11
12
13
|
#include
using namespacestd;
classX{
public:
void*operator new(size_t)=delete;
void*operator new[](size_t)=delete;
};
intmain(){
X *pa=newX; // 错误,new 操作符被禁用
X *pb=newX[10]; // 错误,new[] 操作符被禁用
}
|
必须在函数第一次声明的时候将其声明为 deleted 函数,否则编译器会报错。即对于类的成员函数而言,deleted 函数必须在类体里(inline)定义,而不能在类体外(out-of-line)定义。例如:
清单 14
1
2
3
4
5
6
|
classX{
public:
X(constX&);
};
X::X(constX&)=delete; // 错误,deleted 函数必须在函数第一次声明处声明
|
虽然 defaulted 函数特性规定了只有类的特殊成员函数才能被声明为 defaulted 函数,但是 deleted 函数特性并没有此限制。非类的成员函数,即普通函数也可以被声明为 deleted 函数。例如:
清单 15
1
2
3
4
5
6
|
intadd(int,int)=delete;
intmain(){
inta,b;
add(a,b);// 错误,函数 add(int, int) 被禁用
}
|
值得一提的是,在清单 15 中,虽然 add(int, int)
函数被禁用了,但是禁用的仅是函数的定义,即该函数不能被调用。但是函数标示符 add
仍是有效的,在名字查找和函数重载解析时仍会查找到该函数标示符。如果编译器在解析重载函数时,解析结果为 deleted 函数,则会出现编译错误。例如:
清单 16
1
2
3
4
5
6
7
8
9
10
11
|
#include <iostream>
using namespacestd;
intadd(int,int)=delete;
doubleadd(doublea,doubleb){
returna+b;
}
intmain(){
cout<<add(1,3)<<endl; // 错误,调用了 deleted 函数 add(int, int)
cout<<add(1.2,1.3)<<endl;
return0;
}
|
结束语
本文详细介绍了 C++11 新特性 defaulted 和 deleted 函数。该特性巧妙地对 C++ 已有的关键字 default 和 delete 的语法进行了扩充,引入了两种新的函数定义方式:在函数声明后加 =default 和 =delete。通过将类的特殊成员函数声明为 defaulted 函数,可以显式指定编译器为该函数自动生成默认函数体。通过将函数声明为 deleted 函数,可以禁用某些不期望的转换或者操作符。Defaulted 和 deleted 函数特性语法简单,功能实用,是对 C++ 标准的一个非常有价值的扩充。
C++11 中的 Defaulted 和 Deleted 函数
本文将介绍 C++11 标准的两个新特性:defaulted 和 deleted 函数。对于 defaulted 函数,编译器会为其自动生成默认的函数定义体,从而获得更高的代码执行效率,也可免除程序员手动定义该函数的工作量。对于 deleted 函数, 编译器会对其禁用,从而避免某些非法的函数调用或者类型转换,从而提高代码的安全性。本文将通过代码示例详细阐述 defaulted 和 deleted 函数的用法及益处。
Defaulted 函数
背景问题
C++ 的类有四类特殊成员函数,它们分别是:默认构造函数、析构函数、拷贝构造函数以及拷贝赋值运算符。这些类的特殊成员函数负责创建、初始化、销毁,或者拷贝类的对象。如果程序员没有显式地为一个类定义某个特殊成员函数,而又需要用到该特殊成员函数时,则编译器会隐式的为这个类生成一个默认的特殊成员函数。例如:
清单 1
1
2
3
4
5
6
|
classX{
private:
inta;
};
Xx;
|
在清单 1 中,程序员并没有定义类 X
的默认构造函数,但是在创建类 X
的对象 x
的时候,又需要用到类 X
的默认构造函数,此时,编译器会隐式的为类 X
生成一个默认构造函数。该自动生成的默认构造函数没有参数,包含一个空的函数体,即 X::X(){ }
。虽然自动生成的默认构造函数仅有一个空函数体,但是它仍可用来成功创建类 X
的对象 x
,清单 1 也可以编译通过。
但是,如果程序员为类 X 显式的自定义了非默认构造函数,却没有定义默认构造函数的时候,清单 2 将会出现编译错误:
清单 2
1
2
3
4
5
6
7
8
9
10
|
classX{
public:
X(inti){
a=i;
}
private:
inta;
};
Xx; // 错误 , 默认构造函数 X::X() 不存在
|
清单 2 编译出错的原因在于类 X
已经有了用户自定义的构造函数,所以编译器将不再会为它隐式的生成默认构造函数。如果需要用到默认构造函数来创建类的对象时,程序员必须自己显式的定义默认构造函数。例如:
清单 3
1
2
3
4
5
6
7
8
9
10
11
|
classX{
public:
X(){}; // 手动定义默认构造函数
X(inti){
a=i;
}
private:
inta;
};
Xx; // 正确,默认构造函数 X::X() 存在
|
从清单 3 可以看出,原本期望编译器自动生成的默认构造函数需要程序员手动编写了,即程序员的工作量加大了。此外,手动编写的默认构造函数的代码执行效率比编译器自动生成的默认构造函数低。类的其它几类特殊成员函数也和默认构造函数一样,当存在用户自定义的特殊成员函数时,编译器将不会隐式的自动生成默认特殊成员函数,而需要程序员手动编写,加大了程序员的工作量。类似的,手动编写的特殊成员函数的代码执行效率比编译器自动生成的特殊成员函数低。
Defaulted 函数的提出
为了解决如清单 3 所示的两个问题:1. 减轻程序员的编程工作量;2. 获得编译器自动生成的默认特殊成员函数的高的代码执行效率,C++11 标准引入了一个新特性:defaulted 函数。程序员只需在函数声明后加上“=default;
”,就可将该函数声明为 defaulted 函数,编译器将为显式声明的 defaulted 函数自动生成函数体。例如:
清单 4
1
2
3
4
5
6
7
8
9
10
11
|
classX{
public:
X()=default;
X(inti){
a=i;
}
private:
inta;
};
Xx;
|
在清单 4 中,编译器会自动生成默认构造函数 X::X(){}
,该函数可以比用户自己定义的默认构造函数获得更高的代码效率。
Defaulted 函数定义语法
Defaulted 函数是 C++11 标准引入的函数定义新语法,defaulted 函数定义的语法如图 1 所示:
图 1. Defaulted 函数定义语法图
Defaulted 函数的用法及示例
Defaulted 函数特性仅适用于类的特殊成员函数,且该特殊成员函数没有默认参数。例如:
清单 5
1
2
3
4
5
6
|
classX{
public:
intf()=default; // 错误 , 函数 f() 非类 X 的特殊成员函数
X(int)=default; // 错误 , 构造函数 X(int, int) 非 X 的特殊成员函数
X(int=1)=default; // 错误 , 默认构造函数 X(int=1) 含有默认参数
};
|
Defaulted 函数既可以在类体里(inline)定义,也可以在类体外(out-of-line)定义。例如:
清单 6
1
2
3
4
5
6
7
8
9
10
11
|
classX{
public:
X()=default;//Inline defaulted 默认构造函数
X(constX&);
X&operator=(constX&);
~X()=default; //Inline defaulted 析构函数
};
X::X(constX&)=default; //Out-of-line defaulted 拷贝构造函数
X&X::operator=(constX&)=default; //Out-of-line defaulted
// 拷贝赋值操作符
|
在 C++ 代码编译过程中,如果程序员没有为类 X
定义析构函数,但是在销毁类 X
对象的时候又需要调用类 X
的析构函数时,编译器会自动隐式的为该类生成一个析构函数。该自动生成的析构函数没有参数,包含一个空的函数体,即 X::~X(){ }
。例如:
清单 7
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
classX{
private:
intx;
};
classY:publicX{
private:
inty;
};
intmain(){
X*x=newY;
deletex;
}
|
在清单 7 中,程序员没有为基类 X 和派生类 Y 定义析构函数,当在主函数内 delete 基类指针 x 的时候,需要调用基类的析构函数。于是,编译器会隐式自动的为类 X 生成一个析构函数,从而可以成功的销毁 x 指向的派生类对象中的基类子对象(即 int 型成员变量 x)。
但是,这段代码存在内存泄露的问题,当利用 delete
语句删除指向派生类对象的指针 x
时,系统调用的是基类的析构函数,而非派生类 Y
类的析构函数,因此,编译器无法析构派生类的 int
型成员变量 y。
因此,一般情况下我们需要将基类的析构函数定义为虚函数,当利用 delete 语句删除指向派生类对象的基类指针时,系统会调用相应的派生类的析构函数(实现多态性),从而避免内存泄露。但是编译器隐式自动生成的析构函数都是非虚函数,这就需要由程序员手动的为基类 X
定义虚析构函数,例如:
清单 8
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
classX{
public:
virtual~X(){}; // 手动定义虚析构函数
private:
intx;
};
classY:publicX{
private:
inty;
};
intmain(){
X*x=newY;
deletex;
}
|
在清单 8 中,由于程序员手动为基类 X
定义了虚析构函数,当利用 delete
语句删除指向派生类对象的基类指针 x
时,系统会调用相应的派生类 Y
的析构函数(由编译器隐式自动生成)以及基类 X
的析构函数,从而将派生类对象完整的销毁,可以避免内存泄露。
但是,在清单 8 中,程序员需要手动的编写基类的虚构函数的定义(哪怕函数体是空的),增加了程序员的编程工作量。更值得一提的是,手动定义的析构函数的代码执行效率要低于编译器自动生成的析构函数。
为了解决上述问题,我们可以将基类的虚析构函数声明为 defaulted 函数,这样就可以显式的指定编译器为该函数自动生成函数体。例如:
清单 9
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
classX{
public:
virtual~X()=defaulted;// 编译器自动生成 defaulted 函数定义体
private:
intx;
};
classY:publicX{
private:
inty;
};
intmain(){
X*x=newY;
deletex;
}
|
在清单 9 中,编译器会自动生成虚析构函数 virtual X::X(){}
,该函数比用户自己定义的虚析构函数具有更高的代码执行效率。
Deleted 函数
背景问题
对于 C++ 的类,如果程序员没有为其定义特殊成员函数,那么在需要用到某个特殊成员函数的时候,编译器会隐式的自动生成一个默认的特殊成员函数,比如拷贝构造函数,或者拷贝赋值操作符。例如:
清单 10
1
2
3
4
5
6
7
8
9
10
11
|
classX{
public:
X();
};
intmain(){
Xx1;
Xx2=x1; // 正确,调用编译器隐式生成的默认拷贝构造函数
Xx3;
x3=x1; // 正确,调用编译器隐式生成的默认拷贝赋值操作符
}
|
在清单 10 中,程序员不需要自己手动编写拷贝构造函数以及拷贝赋值操作符,依靠编译器自动生成的默认拷贝构造函数以及拷贝赋值操作符就可以实现类对象的拷贝和赋值。这在某些情况下是非常方便省事的,但是在某些情况下,假设我们不允许发生类对象之间的拷贝和赋值,可是又无法阻止编译器隐式自动生成默认的拷贝构造函数以及拷贝赋值操作符,那这就成为一个问题了。
Deleted 函数的提出
为了能够让程序员显式的禁用某个函数,C++11 标准引入了一个新特性:deleted 函数。程序员只需在函数声明后加上“=delete;
”,就可将该函数禁用。例如,我们可以将类 X
的拷贝构造函数以及拷贝赋值操作符声明为 deleted 函数,就可以禁止类 X
对象之间的拷贝和赋值。
清单 11
1
2
3
4
5
6
7
8
9
10
11
12
13
|
classX{
public:
X();
X(constX&)=delete; // 声明拷贝构造函数为 deleted 函数
X&operator=(constX&)=delete;// 声明拷贝赋值操作符为 deleted 函数
};
intmain(){
Xx1;
Xx2=x1; // 错误,拷贝构造函数被禁用
Xx3;
x3=x1; // 错误,拷贝赋值操作符被禁用
}
|
在清单 11 中,虽然只显式的禁用了一个拷贝构造函数和一个拷贝赋值操作符,但是由于编译器检测到类 X
存在用户自定义的拷贝构造函数和拷贝赋值操作符的声明,所以不会再隐式的生成其它参数类型的拷贝构造函数或拷贝赋值操作符,也就相当于类 X
没有任何拷贝构造函数和拷贝赋值操作符,所以对象间的拷贝和赋值被完全禁止了。
Deleted 函数定义语法
Deleted 函数是 C++11 标准引入的函数定义新语法,deleted 函数定义的语法如图 2 所示:
图 2. Deleted 函数定义语法图
Deleted 函数的用法及示例
Deleted 函数特性还可用于禁用类的某些转换构造函数,从而避免不期望的类型转换。在清单 12 中,假设类 X
只支持参数为双精度浮点数 double 类型的转换构造函数,而不支持参数为整数 int 类型的转换构造函数,则可以将参数为 int 类型的转换构造函数声明为 deleted 函数。
清单 12
1
2
3
4
5
6
7
8
9
10
|
classX{
public:
X(double);
X(int)=delete;
};
intmain(){
Xx1(1.2);
Xx2(2);// 错误,参数为整数 int 类型的转换构造函数被禁用
}
|
Deleted 函数特性还可以用来禁用某些用户自定义的类的 new
操作符,从而避免在自由存储区创建类的对象。例如:
清单 13
1
2
3
4
5
6
7
8
9
10
11
12
13
|
#include
using namespacestd;
classX{
public:
void*operator new(size_t)=delete;
void*operator new[](size_t)=delete;
};
intmain(){
X *pa=newX; // 错误,new 操作符被禁用
X *pb=newX[10]; // 错误,new[] 操作符被禁用
}
|
必须在函数第一次声明的时候将其声明为 deleted 函数,否则编译器会报错。即对于类的成员函数而言,deleted 函数必须在类体里(inline)定义,而不能在类体外(out-of-line)定义。例如:
清单 14
1
2
3
4
5
6
|
classX{
public:
X(constX&);
};
X::X(constX&)=delete; // 错误,deleted 函数必须在函数第一次声明处声明
|
虽然 defaulted 函数特性规定了只有类的特殊成员函数才能被声明为 defaulted 函数,但是 deleted 函数特性并没有此限制。非类的成员函数,即普通函数也可以被声明为 deleted 函数。例如:
清单 15
1
2
3
4
5
6
|
intadd(int,int)=delete;
intmain(){
inta,b;
add(a,b);// 错误,函数 add(int, int) 被禁用
}
|
值得一提的是,在清单 15 中,虽然 add(int, int)
函数被禁用了,但是禁用的仅是函数的定义,即该函数不能被调用。但是函数标示符 add
仍是有效的,在名字查找和函数重载解析时仍会查找到该函数标示符。如果编译器在解析重载函数时,解析结果为 deleted 函数,则会出现编译错误。例如:
清单 16
1
2
3
4
5
6
7
8
9
10
11
|
#include <iostream>
using namespacestd;
intadd(int,int)=delete;
doubleadd(doublea,doubleb){
returna+b;
}
intmain(){
cout<<add(1,3)<<endl; // 错误,调用了 deleted 函数 add(int, int)
cout<<add(1.2,1.3)<<endl;
return0;
}
|
结束语
本文详细介绍了 C++11 新特性 defaulted 和 deleted 函数。该特性巧妙地对 C++ 已有的关键字 default 和 delete 的语法进行了扩充,引入了两种新的函数定义方式:在函数声明后加 =default 和 =delete。通过将类的特殊成员函数声明为 defaulted 函数,可以显式指定编译器为该函数自动生成默认函数体。通过将函数声明为 deleted 函数,可以禁用某些不期望的转换或者操作符。Defaulted 和 deleted 函数特性语法简单,功能实用,是对 C++ 标准的一个非常有价值的扩充。
C++11 中的 Defaulted 和 Deleted 函数的更多相关文章
- 【转】C++11 标准新特性:Defaulted 和 Deleted 函数
原文链接http://www.ibm.com/developerworks/cn/aix/library/1212_lufang_c11new/ 本文将介绍 C++11 标准的两个新特性:defaul ...
- [转]C++11 标准新特性:Defaulted 和 Deleted 函数
http://www.ibm.com/developerworks/cn/aix/library/1212_lufang_c11new/
- 从linux0.11中起动部分代码看汇编调用c语言函数
上一篇分析了c语言的函数调用栈情况,知道了c语言的函数调用机制后,我们来看一下,linux0.11中起动部分的代码是如何从汇编跳入c语言函数的.在LINUX 0.11中的head.s文件中会看到如下一 ...
- C++11中的tuple应用:让函数返回多个值
在没有tuple之前,如果函数需要返回多个值,则必须定义一个结构体,有了C++11,可以基于tuple直接做了,下面是个示例: // 编译:g++ -std=c++11 -g -o x x.cpp # ...
- 第三期 行为规划——11.在C ++中实现第二个成本函数
在大多数情况下,单一成本函数不足以产生复杂的车辆行为.在这个测验中,我们希望您在C ++中实现更多的成本函数.我们稍后会在本课中使用这两个C ++成本函数.这个测验的目标是创建一个成本函数,使车辆在最 ...
- C++11中default的使用
In C++11, defaulted and deleted functions give you explicit control over whether the special member ...
- C++11 中值得关注的几大变化(网摘)
C++11 中值得关注的几大变化(详解) 原文出处:[陈皓 coolshell] 源文章来自前C++标准委员会的 Danny Kalev 的 The Biggest Changes in C++11 ...
- C++11 中值得关注的几大变化(详解)
源文章来自前C++标准委员会的 Danny Kalev 的 The Biggest Changes in C++11 (and Why You Should Care),赖勇浩做了一个中文翻译在这里. ...
- 对C++11中的`移动语义`与`右值引用`的介绍与讨论
本文主要介绍了C++11中的移动语义与右值引用, 并且对其中的一些坑做了深入的讨论. 在正式介绍这部分内容之前, 我们先介绍一下rule of three/five原则, 与copy-and-swap ...
随机推荐
- 【转】Spring事务介绍
1. 事务的特性:ACID 原子性(Atomicity):事务是一个原子操作,由一系列动作组成.事务的原子性确保动作要么全部完成,要么完全不起作用. 一致性(Consistency):一旦事务完成(不 ...
- linux top 命令各参数详解
简介 top命令是Linux下常用的性能分析工具,能够实时显示系统中各个进程的资源占用状况,类似于Windows的任务管理器. top显示系统当前的进程和其他状况,是一个动态显示过程,即可以通过用户按 ...
- SpringBoot25 gradle安装、利用gradle创建SrpingBoot项目
1 gradle安装 技巧01:gradle依赖JDK或者JRE,而且版本至少时1.7 1.1 下载安装包 到gradle官网下载安装包[PS: 也可以利用命令的方式安装,本案例是利用安装包的方式] ...
- 599. Minimum Index Sum of Two Lists两个餐厅列表的索引和最小
[抄题]: Suppose Andy and Doris want to choose a restaurant for dinner, and they both have a list of fa ...
- Ubuntu 复制 拷贝和自适应屏幕
ubuntu 16.04安装vmtools实测无效!!!!!!11 1.解决VMware workstation与主机的粘贴.复制.文件拖拽问题. 2.解决VMware workstations中Ub ...
- Django--admin后台
需求 通过后台和models操作数据库表 实现 1.后台中看到数据库中的表 app01/admin.py 1 2 from app01 import models admin.site.regist ...
- Django-restframework25 Pagination(分页)
Django-restframework25 Pagination(分页) 2017年11月11日 15:14:36 敲代码的伪文青 阅读数:1021 标签: restful 更多 个人分类: res ...
- Requests接口测试(五)
使用python+requests编写接口测试用例 好了,有了前几章的的基础,写下来我把前面的基础整合一下,来一个实际的接口测试练习吧. 接口测试流程 1.拿到接口的URL地址 2.查看接口是用什么方 ...
- LightOJ 1027 A Dangerous Maze (数学期望)
题意:你面前有 n 个门,每次你可以选择任意一个进去,如果xi是正数,你将在xi后出去,如果xi是负数,那么xi后你将回来并且丢失所有记忆,问你出去的期望. 析:两种情况,第一种是直接出去,期望就是 ...
- 第18章-使用WebSocket和STOMP实现消息功能
Spring 4.0为WebSocket通信提供了支持,包括: 发送和接收消息的低层级API: 发送和接收消息的高级API: 用来发送消息的模板: 支持SockJS,用来解决浏览器端.服务器以及代理不 ...