http://blog.jobbole.com/103669/

C++11 中的 Defaulted 和 Deleted 函数

2016/07/21 · C/C++, 开发 · C++

分享到：3
 
原文出处： IBM/卢昉   

本文将介绍 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 函数

2016/07/21 · C/C++, 开发 · C++

分享到：3
 
原文出处： IBM/卢昉   

本文将介绍 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 函数的更多相关文章

  1. 【转】C++11 标准新特性：Defaulted 和 Deleted 函数

    原文链接http://www.ibm.com/developerworks/cn/aix/library/1212_lufang_c11new/ 本文将介绍 C++11 标准的两个新特性:defaul ...

  2. [转]C++11 标准新特性：Defaulted 和 Deleted 函数

    http://www.ibm.com/developerworks/cn/aix/library/1212_lufang_c11new/

  3. 从linux0.11中起动部分代码看汇编调用c语言函数

    上一篇分析了c语言的函数调用栈情况,知道了c语言的函数调用机制后,我们来看一下,linux0.11中起动部分的代码是如何从汇编跳入c语言函数的.在LINUX 0.11中的head.s文件中会看到如下一 ...

  4. C++11中的tuple应用：让函数返回多个值

    在没有tuple之前,如果函数需要返回多个值,则必须定义一个结构体,有了C++11,可以基于tuple直接做了,下面是个示例: // 编译:g++ -std=c++11 -g -o x x.cpp # ...

  5. 第三期 行为规划——11.在C ++中实现第二个成本函数

    在大多数情况下,单一成本函数不足以产生复杂的车辆行为.在这个测验中,我们希望您在C ++中实现更多的成本函数.我们稍后会在本课中使用这两个C ++成本函数.这个测验的目标是创建一个成本函数,使车辆在最 ...

  6. C++11中default的使用

    In C++11, defaulted and deleted functions give you explicit control over whether the special member ...

  7. C++11 中值得关注的几大变化（网摘）

    C++11 中值得关注的几大变化(详解) 原文出处:[陈皓 coolshell] 源文章来自前C++标准委员会的 Danny Kalev 的 The Biggest Changes in C++11 ...

  8. C++11 中值得关注的几大变化（详解）

    源文章来自前C++标准委员会的 Danny Kalev 的 The Biggest Changes in C++11 (and Why You Should Care),赖勇浩做了一个中文翻译在这里. ...

  9. 对C++11中的`移动语义`与`右值引用`的介绍与讨论

    本文主要介绍了C++11中的移动语义与右值引用, 并且对其中的一些坑做了深入的讨论. 在正式介绍这部分内容之前, 我们先介绍一下rule of three/five原则, 与copy-and-swap ...

随机推荐

  1. AJAX省市县三级联动的实现

    省市县数据 本例子中省市县数据保存在MySQL数据库中,部分数据截图如下: 从数据库中读取数据 导入需要的jar包 连接池配置文件 <c3p0-config> <!-- 默认配置,如 ...

  2. Win10 pip安装pycocotools报错解决方法(cl: 命令行 error D8021 :无效的数值参数“/Wno-cpp”)

    参考: https://blog.csdn.net/chixia1785/article/details/80040172 https://blog.csdn.net/gxiaoyaya/articl ...

  3. 9. Palindrome Number 回文数的判断

    ［抄题］: Determine whether an integer is a palindrome. An integer is a palindrome when it reads the sam ...

  4. Hadoop对数据仓库的影响

    转载http://www.dwway.com/portal.php?mod=view&aid=9065 在过去三年,Hadoop生态系统已经大范围扩展,很多主要IT供应商都推出了Hadoop连 ...

  5. 数字图像处理实验（10）：PROJECT 05-01 [Multiple Uses]，Noise Generators 标签： 图像处理MATLAB 2017-05-26 23:36

    实验要求: Objective: To know how to generate noise images with different probability density functions ( ...

  6. GO程序设计2——面向过程基础知识

    1 简介 GO语言google开发的新语言.有如下特性: 自动垃圾回收.更丰富的内置数据类型.函数多返回值.错误处理.匿名函数和闭包.类型和接口.并发编程.反射.多语言混合编程 package mai ...

  7. 跨域问题hbuilder

    1.借助jquery-jsonp插件 $.jsonp({ url: url, data: { 'name': usd, 'passwd': pass }, callbackParameter: &qu ...

  8. Mathematical optimization数学上的最优化

    https://en.wikipedia.org/wiki/Mathematical_optimization In mathematics, computer science and operati ...

  9. 【Andoid学习】GridView学习

    简介 一个在平面上可显示多个条目的可滚动的视图组件,该组件中的条目通过一个ListAdapter和该组件进行关联.比如实现九宫格图,用GridView是首选,也是最简单的. 属性:android:co ...

  10. Maven整理笔记の初步窥探

    第一部分:引言 Maven是一款跨平台的项目管理工具,作为Apache组织的一个开源项目,主要服务于基于java平台的项目构建.依赖管理和项目信息管理. 项目构建:编译.运行单元测试.生成文档.打包和 ...