In C++11, defaulted and deleted functions give you explicit control over whether the special member functions are automatically generated.
The opposite of a defaulted function is a deleted function.
Deleted functions are useful for preventing object copying, among the rest. Recall that C++ automatically declares a copy constructor and an assignment operator for classes. To disable copying, declare these two special member functions “=delete”.
The delete specifier can also be used to make sure member functions with particular parameters aren’t called.
=default: it means that you want to use the compiler-generated version of that function, so you don't need to specify a body.
=delete: it means that you don't want the compiler to generate that function automatically.
C++11中,对于deleted函数,编译器会对其禁用,从而避免某些非法的函数调用或者类型转换,从而提高代码的安全性。
对于 C++ 的类,如果程序员没有为其定义特殊成员函数,那么在需要用到某个特殊成员函数的时候,编译器会隐式的自动生成一个默认的特殊成员函数,比如默认的构造函数、析构函数、拷贝构造函数以及拷贝赋值运算符。
为了能够让程序员显式的禁用某个函数,C++11标准引入了一个新特性:deleted函数。程序员只需在函数声明后加上”=delete;”,就可将该函数禁用。
deleted函数特性还可用于禁用类的某些转换构造函数,从而避免不期望的类型转换。
deleted函数特性还可以用来禁用某些用户自定义的类的new操作符,从而避免在自由存储区创建类的对象。
必须在函数第一次声明的时候将其声明为deleted函数,否则编译器会报错。即对于类的成员函数而言,deleted函数必须在类体里(inline)定义,而不能在类体外(out-of-line)定义。
虽然defaulted函数特性规定了只有类的特殊成员函数才能被声明为defaulted函数,但是deleted函数特性并没有此限制。非类的成员函数,即普通函数也可以被声明为deleted函数。
下面是从其他文章中copy的测试代码,详细内容介绍可以参考对应的reference:
- #include "delete.hpp"
- #include <iostream>
- //
- // reference: http://www.learncpp.com/cpp-tutorial/b-6-new-virtual-function-controls-override-final-default-and-delete/
- class Foo
- {
- Foo& operator=(const Foo&) = delete; // disallow use of assignment operator
- Foo(const Foo&) = delete; // disallow copy construction
- };
- class Foo_1
- {
- Foo_1(long long); // Can create Foo() with a long long
- Foo_1(long) = delete; // But can't create it with anything smaller
- };
- class Foo_2
- {
- Foo_2(long long); // Can create Foo() with a long long
- template<typename T> Foo_2(T) = delete; // But can't create it with anything else
- };
- ///
- // reference: http://www.bogotobogo.com/cplusplus/C11/C11_default_delete_specifier.php
- class A_
- {
- public:
- A_(int a){};
- A_(double) = delete; // conversion disabled
- A_& operator=(const A_&) = delete; // assignment operator disabled
- };
- int test_delete1()
- {
- A_ a_(10); // OK
- // A_ b(3.14); // Error: conversion from double to int disabled
- // a = b; // Error: assignment operator disabled
- return 0;
- }
- // reference: https://msdn.microsoft.com/zh-cn/library/dn457344.aspx
- struct widget
- {
- // deleted operator new prevents widget from being dynamically allocated.
- void* operator new(std::size_t) = delete;
- };
GitHub: https://github.com/fengbingchun/Messy_Test