C++11中的default函数

2024-09-04 07:58
文章标签 c++ 函数 default

本文主要是介绍C++11中的default函数，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

对于C++ 11标准中支持的default函数，编译器会为其自动生成默认的函数定义体，从而获得更高的代码执行效率，也可免除程序员手动定义该函数的工作量。

C++的类有四类特殊成员函数，它们分别是：

  • 默认构造函数
  • 析构函数
  • 拷贝构造函数
  • 拷贝赋值运算符

这些类的特殊成员函数负责创建、初始化、销毁，或者拷贝类的对象，如果程序员没有显式地为一个类定义某个特殊成员函数，而又需要用到该特殊成员函数时，则编译器会隐式的为这个类生成一个默认的特殊成员函数。例如：

清单 1

class X{
private:int a;
};X x;

在清单 1 中，程序员并没有定义类 X 的默认构造函数，但是在创建类 X 的对象 x 的时候，又需要用到类 X 的默认构造函数，此时，编译器会隐式的为类 X 生成一个默认构造函数。该自动生成的默认构造函数没有参数，包含一个空的函数体，即 X::X（）{ }。虽然自动生成的默认构造函数仅有一个空函数体，但是它仍可用来成功创建类 X 的对象 x，清单 1 也可以编译通过。

但是，如果程序员为类 X 显式的自定义了非默认构造函数，却没有定义默认构造函数的时候，清单 2 将会出现编译错误：

清单 2

class X{
public:X(int i){a = i;}
private:int a;
};X x; // 错误 , 默认构造函数 X::X() 不存在

清单 2 编译出错的原因在于类 X 已经有了用户自定义的构造函数，所以编译器将不再会为它隐式的生成默认构造函数。如果需要用到默认构造函数来创建类的对象时，程序员必须自己显式的定义默认构造函数。例如：

清单 3

class X{public:X(){}; // 手动定义默认构造函数X(int i){a = i;}private:int a;
};X x; // 正确，默认构造函数 X::X() 存在

从清单 3 可以看出，原本期望编译器自动生成的默认构造函数需要程序员手动编写了，即程序员的工作量加大了。此外，手动编写的默认构造函数的代码执行效率比编译器自动生成的默认构造函数低。类的其它几类特殊成员函数也和默认构造函数一样，当存在用户自定义的特殊成员函数时，编译器将不会隐式的自动生成默认特殊成员函数，而需要程序员手动编写，加大了程序员的工作量。类似的，手动编写的特殊成员函数的代码执行效率比编译器自动生成的特殊成员函数低。

为了解决如清单 3 所示的两个问题：

  1. 减轻程序员的编程工作量；
  2. 获得编译器自动生成的默认特殊成员函数的高的代码执行效率

C++11 标准引入了一个新特性：default函数。程序员只需在函数声明后加上=default;，就可将该函数声明为 default 函数，编译器将为显式声明的 default 函数自动生成函数体。例如：

清单 4

class X{
public:X()= default;X(int i){a = i;
}
private:int a;
};X x;

在清单 4 中，编译器会自动生成默认构造函数 X::X(){}，该函数可以比用户自己定义的默认构造函数获得更高的代码效率。

Default 函数特性仅适用于类的特殊成员函数，且该特殊成员函数没有默认参数。例如：

清单 5

class X {
public:int f() = default; // 错误 , 函数 f() 非类 X 的特殊成员函数X(int) = default; // 错误 , 构造函数 X(int, int) 非 X 的特殊成员函数X(int = 1) = default; // 错误 , 默认构造函数 X(int=1) 含有默认参数
};

Default 函数既可以在类体里（inline）定义，也可以在类体外（out-of-line）定义。例如：

清单 6

class X{
public:X() = default; //Inline default 默认构造函数X(const X&);X& operator = (const X&);~X() = default; //Inline default 析构函数
};X::X(const X&) = default; //Out-of-line default 拷贝构造函数
X& X::operator = (const X&) = default; //Out-of-line default
// 拷贝赋值操作符

在 C++ 代码编译过程中，如果程序员没有为类 X 定义析构函数，但是在销毁类 X 对象的时候又需要调用类 X 的析构函数时，编译器会自动隐式的为该类生成一个析构函数。该自动生成的析构函数没有参数，包含一个空的函数体，即 X::~X（）{ }。例如：

清单 7

class X {
private:int x;
};class Y: public X {
private:int y;
};int main(){X* x = new Y;delete x;
}

在清单 7 中，程序员没有为基类 X 和派生类 Y 定义析构函数，当在主函数内 delete 基类指针 x 的时候，需要调用基类的析构函数。于是，编译器会隐式自动的为类 X 生成一个析构函数，从而可以成功的销毁 x 指向的派生类对象中的基类子对象（即 int 型成员变量 x）。

但是，这段代码存在内存泄露的问题，当利用 delete 语句删除指向派生类对象的指针 x 时，系统调用的是基类的析构函数，而非派生类 Y 类的析构函数，因此，编译器无法析构派生类的 int 型成员变量 y。

因此，一般情况下我们需要将基类的析构函数定义为虚函数，当利用 delete 语句删除指向派生类对象的基类指针时，系统会调用相应的派生类的析构函数（实现多态性），从而避免内存泄露。但是编译器隐式自动生成的析构函数都是非虚函数，这就需要由程序员手动的为基类 X 定义虚析构函数，例如：

清单 8

class X {
public:virtual ~X(){}; // 手动定义虚析构函数
private:int x;
};class Y: public X {
private:int y;
};int main(){X* x = new Y;delete x;
}

在清单 8 中，由于程序员手动为基类 X 定义了虚析构函数，当利用 delete 语句删除指向派生类对象的基类指针 x 时，系统会调用相应的派生类 Y 的析构函数（由编译器隐式自动生成）以及基类 X 的析构函数，从而将派生类对象完整的销毁，可以避免内存泄露。

但是，在清单 8 中，程序员需要手动的编写基类的虚构函数的定义（哪怕函数体是空的），增加了程序员的编程工作量。更值得一提的是，手动定义的析构函数的代码执行效率要低于编译器自动生成的析构函数。

为了解决上述问题，我们可以将基类的虚析构函数声明为 default 函数，这样就可以显式的指定编译器为该函数自动生成函数体。例如：

清单 9

class X {
public:virtual ~X()= default; // 编译器自动生成 default 函数定义体
private:int x;
};class Y: public X {
private:int y;
};int main(){X* x = new Y;delete x;
}

在清单 9 中，编译器会自动生成虚析构函数virtual X::X(){}，该函数比用户自己定义的虚析构函数具有更高的代码执行效率。

接下来引用知乎上的一篇文章，先贴个原文的链接：https://www.zhihu.com/question/467102319/answer/1958867605

来看一个简单的例子：

class Student
{int ID;std::string sName;
};Student s1;
Student s2(s1);

在不定义任何构造函数的情况下，Student对象能定义成功，因为编译器会默认为我们设置几个构造函数，多的不说了，就说最简单的两个

Student() {}
Student(const Student& o):ID(o.ID),sName(o.sName) {}

一个是在不提供任何参数的情况下的默认构造函数，另一个是通过另一个对象构造的拷贝构造函数。

class Student
{int ID;std::string sName;
public:Student(const string& _sName):sName(_sName){}
};Student s1;
Student s2(s1);

但是如果我们自己加了一个只指定名字参数的构造函数，上面这段代码就编译不过了。因为编译器就不自动为你生成默认的那些构造函数了，因为它觉得你想根据自己的需求定义构造函数。但是，如果你除了自己自定义的构造函数，还想用编译器为你生成默认的，怎么办？

class Student
{int ID;std::string sName;
public:Student() {}Student(const Student& o) :ID(o.ID), sName(o.sName) {}Student(const string& _sName):sName(_sName){}
};

传统的办法就是受点累，把编译器为你生成的那两个你亲自写一遍，这样不累吗？尤其是student成员变量很多的时候。有了default关键以后，省事多了

class Student
{int ID;std::string sName;
public:Student() = default;Student(const Student& o) = default;Student(const string& _sName):sName(_sName){}
};Student s1;
Student s2(s1);

那两个默认的构造函数，我们想要的实现跟编译器默认的一模一样，直接指定个default就行了，不用全部手打出来。这就是default这个关键字的作用。

  • 那个默认的拷贝构造函数，不写出来应该不会报错，Student(const Student& o) = default;不需要写。
    • 只要定义过一个构造函数，其他的不定义就会报错，这些我都是编译验证过的……当年有个同学的媳妇学编程，就遇到这个问题编译不通过，我给她编译试了，就是这个问题导致的，加上拷贝构造函数就可以了，她不信……后来我就不回答她问题了
  • 讲道理，= default 跟 {} 哪个省事？
    • {}是什么也不干，是= default默认的行为，不一样……

这篇关于C++11中的default函数的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！


http://www.chinasem.cn/article/1135445。

相关文章

Python的time模块一些常用功能(各种与时间相关的函数)

Python的time模块一些常用功能(各种与时间相关的函数)

《Python的time模块一些常用功能(各种与时间相关的函数)》Python的time模块提供了各种与时间相关的函数,包括获取当前时间、处理时间间隔、执行时间测量等,：本文主要介绍Python的... 目录1. 获取当前时间2. 时间格式化3. 延时执行4. 时间戳运算5. 计算代码执行时间6. 转换为指
阅读更多...
Python正则表达式语法及re模块中的常用函数详解

Python正则表达式语法及re模块中的常用函数详解

《Python正则表达式语法及re模块中的常用函数详解》这篇文章主要给大家介绍了关于Python正则表达式语法及re模块中常用函数的相关资料,正则表达式是一种强大的字符串处理工具,可以用于匹配、切分、... 目录概念、作用和步骤语法re模块中的常用函数总结 概念、作用和步骤概念： 本身也是一个字符串，其中
阅读更多...
C++如何通过Qt反射机制实现数据类序列化

C++如何通过Qt反射机制实现数据类序列化

《C++如何通过Qt反射机制实现数据类序列化》在C++工程中经常需要使用数据类,并对数据类进行存储、打印、调试等操作,所以本文就来聊聊C++如何通过Qt反射机制实现数据类序列化吧... 目录设计预期设计思路代码实现使用方法在 C++ 工程中经常需要使用数据类，并对数据类进行存储、打印、调试等操作。由于数据类
阅读更多...
Linux下如何使用C++获取硬件信息

Linux下如何使用C++获取硬件信息

《Linux下如何使用C++获取硬件信息》这篇文章主要为大家详细介绍了如何使用C++实现获取CPU,主板,磁盘,BIOS信息等硬件信息,文中的示例代码讲解详细,感兴趣的小伙伴可以了解下... 目录方法获取CPU信息：读取"/proc/cpuinfo"文件获取磁盘信息：读取"/proc/diskstats"文
阅读更多...
C++使用printf语句实现进制转换的示例代码

C++使用printf语句实现进制转换的示例代码

《C++使用printf语句实现进制转换的示例代码》在C语言中,printf函数可以直接实现部分进制转换功能,通过格式说明符（formatspecifier）快速输出不同进制的数值,下面给大家分享C+... 目录一、printf 原生支持的进制转换1. 十进制、八进制、十六进制转换2. 显示进制前缀3. 指
阅读更多...
C++中初始化二维数组的几种常见方法

C++中初始化二维数组的几种常见方法

《C++中初始化二维数组的几种常见方法》本文详细介绍了在C++中初始化二维数组的不同方式,包括静态初始化、循环、全部为零、部分初始化、std::array和std::vector,以及std::vec... 目录1. 静态初始化2. 使用循环初始化3. 全部初始化为零4. 部分初始化5. 使用 std::a
阅读更多...
shell编程之函数与数组的使用详解

shell编程之函数与数组的使用详解

《shell编程之函数与数组的使用详解》：本文主要介绍shell编程之函数与数组的使用,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录shell函数函数的用法俩个数求和系统资源监控并报警函数函数变量的作用范围函数的参数递归函数shell数组获取数组的长度读取某下的
阅读更多...
MySQL高级查询之JOIN、子查询、窗口函数实际案例

MySQL高级查询之JOIN、子查询、窗口函数实际案例

《MySQL高级查询之JOIN、子查询、窗口函数实际案例》：本文主要介绍MySQL高级查询之JOIN、子查询、窗口函数实际案例的相关资料,JOIN用于多表关联查询,子查询用于数据筛选和过滤,窗口函... 目录前言1. JOIN（连接查询）1.1 内连接（INNER JOIN）1.2 左连接（LEFT JOI
阅读更多...
C++ vector的常见用法超详细讲解

C++ vector的常见用法超详细讲解

《C++vector的常见用法超详细讲解》：本文主要介绍C++vector的常见用法,包括C++中vector容器的定义、初始化方法、访问元素、常用函数及其时间复杂度,通过代码介绍的非常详细,... 目录1、vector的定义2、vector常用初始化方法1、使编程用花括号直接赋值2、使用圆括号赋值3、ve
阅读更多...
MySQL中FIND_IN_SET函数与INSTR函数用法解析

MySQL中FIND_IN_SET函数与INSTR函数用法解析

《MySQL中FIND_IN_SET函数与INSTR函数用法解析》：本文主要介绍MySQL中FIND_IN_SET函数与INSTR函数用法解析,本文通过实例代码给大家介绍的非常详细,感兴趣的朋友一... 目录一、功能定义与语法1、FIND_IN_SET函数2、INSTR函数二、本质区别对比三、实际场景案例分
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2