深入理解C++11: 03noncopyable(=default和=delete函数)

深入理解C++11: 03noncopyable(=default和=delete函数)

1. C++11前的noncopyable

#ifndef NOCOPYABLE_H
#define NOCOPYABLE_H

class nocopyable {
protected:
  nocopyable(){};
  ~nocopyable(){};
private:
  nocopyable(const nocopyable& );
  nocopyable& operator=(const nocopyable& );
};

#endif //NOCOPYABLE_H

我们可以实现一个不可拷贝的父类，子类对象继承父类对象，来达到子类对象不可拷贝的目的。实现一个不可拷贝对象就是把拷贝构造函数和赋值运算符声明为私有的，同时实现构造函数（必须有，由于提供了拷贝构造，编译器不在提供默认构造函数）和析构函数。

或者我们可以通过宏定义来实现：

// 禁止默认构造函数	
#define DISABLE_CONSTRUCTION(CLASS_NAME)         \
private:                                         \
	CLASS_NAME()
	
// 禁止析构函数	
#define DISABLE_DECONSTRUCTION(CLASS_NAME)       \
private:                                         \
	~CLASS_NAME()

// 禁止拷贝赋值类函数
#define DISABLE_COPY_ASSIGN(CLASS_NAME)          \
private:                                         \
	CLASS_NAME(const CLASS_NAME&);               \
	CLASS_NAME& operator =(const CLASS_NAME&)
	
// 禁止构造&拷贝&赋值类函数
#define DISABLE_CONSTRUCTION_ASSIGN(CLASS_NAME)  \
DISABLE_CONSTRUCTION(CLASS_NAME);                \
DISABLE_COPY_ASSIGN(CLASS_NAME)

// 禁止类基本函数
#define DISABLE_CLASS_BASE_FUNC(CLASS_NAME)      \
DISABLE_CONSTRUCTION_ASSIGN(CLASS_NAME);         \
DISABLE_DECONSTRUCTION(CLASS_NAME)

2. C++11之后noncopyable

class noncopyable
{
 public:
  noncopyable(const noncopyable&) = delete;
  void operator=(const noncopyable&) = delete;

 protected:
  noncopyable() = default;
  ~noncopyable() = default;
};

2.1 = delete

在C++11中，如果想要禁止类的拷贝行为只需要把相应的函数设为 = delete即可 .

=delete函数，编译器会对指定的函数禁用，从而避免了某些非法的函数调用或者类型转换，从而提高了代码的安全性。

编译器能自动生成类之间赋值、拷贝构造函数，在一定程度上减轻了代码量，但对于某些特定情况下，我们是不允许对象之间进行拷贝与赋值的，那么这时候，我们就需要考虑禁用拷贝、赋值构造函数。

• Tips:
  • 必须在函数第一次声明的时候将其声明为 = delete 函数，否则编译器会报错
  • = delete 函数特性可以作用于类的特殊成员函数、类的非特殊成员函数、普通成员函数

2.2 = default函数

C++11 标准引入了一个新特性："=default"函数。程序员只需在函数声明后加上“=default;”，就可将该函数声明为 "=default"函数，编译器将为其自动生成默认的函数定义体，提高代码的执行效率。

unique_ptr (const unique_ptr&) = delete;
unique_ptr& operator= (const unique_ptr&) = delete;
unique_ptr()=default;
~unique_ptr()=default;

我们知道C++ 的一个类中默认有下列特殊成员函数，它们分别是：

• 默认构造函数
• 拷贝构造函数
• 拷贝赋值函数(operator =)
• 移动构造函数
• 移动拷贝构造函数
• 析构函数

C++编译器还会为以下这些自定义类型提供全局默认操作符函数

• operator ,
• operator &
• operator &&
• operator *
• operator ->
• operator ->*
• operator new
• operator delete

Tips:

• default函数仅适用于类的特殊成员函数，且该特殊成员函数没有默认参数

class A
{
public:
	A() = default;//正确
	A(int _a) = default;//错误,构造函数需要没有默认参数
	int getA() = default;//错误，仅适用于类的特殊成员函数
};

• default函数既可以在类内声明类外定义，也可以在类内直接定义

class A
{
public:
	A() = default;
	A& operator=(const operator& );
};
//类外使用‘= default’来指定使用缺省版本
inline A& A::operator=(const operator& ) = default;