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。

相关文章

MySQL 中的 CAST 函数详解及常见用法

MySQL 中的 CAST 函数详解及常见用法

《MySQL中的CAST函数详解及常见用法》CAST函数是MySQL中用于数据类型转换的重要函数,它允许你将一个值从一种数据类型转换为另一种数据类型,本文给大家介绍MySQL中的CAST... 目录mysql 中的 CAST 函数详解一、基本语法二、支持的数据类型三、常见用法示例1. 字符串转数字2. 数字
阅读更多...
Python内置函数之classmethod函数使用详解

Python内置函数之classmethod函数使用详解

《Python内置函数之classmethod函数使用详解》：本文主要介绍Python内置函数之classmethod函数使用方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地... 目录1. 类方法定义与基本语法2. 类方法 vs 实例方法 vs 静态方法3. 核心特性与用法(1编程客
阅读更多...
Python函数作用域示例详解

Python函数作用域示例详解

《Python函数作用域示例详解》本文介绍了Python中的LEGB作用域规则,详细解析了变量查找的四个层级,通过具体代码示例,展示了各层级的变量访问规则和特性,对python函数作用域相关知识感兴趣... 目录一、LEGB 规则二、作用域实例2.1 局部作用域（Local）2.2 闭包作用域（Enclos
阅读更多...
从入门到精通C++11 ＜chrono＞ 库特性

从入门到精通C++11 ＜chrono＞ 库特性

《从入门到精通C++11＜chrono＞库特性》chrono库是C++11中一个非常强大和实用的库,它为时间处理提供了丰富的功能和类型安全的接口,通过本文的介绍,我们了解了chrono库的基本概念... 目录一、引言1.1 为什么需要<chrono>库1.2<chrono>库的基本概念二、时间段（Durat
阅读更多...
MySQL count()聚合函数详解

MySQL count()聚合函数详解

《MySQLcount()聚合函数详解》MySQL中的COUNT()函数,它是SQL中最常用的聚合函数之一,用于计算表中符合特定条件的行数,本文给大家介绍MySQLcount()聚合函数,感兴趣的朋... 目录核心功能语法形式重要特性与行为如何选择使用哪种形式？总结深入剖析一下 mysql 中的 COUNT
阅读更多...
C++20管道运算符的实现示例

C++20管道运算符的实现示例

《C++20管道运算符的实现示例》本文简要介绍C++20管道运算符的使用与实现,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 目录标准库的管道运算符使用自己实现类似的管道运算符我们不打算介绍太多，因为它实际属于c++20最为重要的
阅读更多...
Visual Studio 2022 编译C++20代码的图文步骤

Visual Studio 2022 编译C++20代码的图文步骤

《VisualStudio2022编译C++20代码的图文步骤》在VisualStudio中启用C++20import功能,需设置语言标准为ISOC++20,开启扫描源查找模块依赖及实验性标... 默认创建Visual Studio桌面控制台项目代码包含C++20的import方法。右键项目的属性：
阅读更多...
MySQL 中 ROW_NUMBER() 函数最佳实践

MySQL 中 ROW_NUMBER() 函数最佳实践

《MySQL中ROW_NUMBER()函数最佳实践》MySQL中ROW_NUMBER()函数,作为窗口函数为每行分配唯一连续序号,区别于RANK()和DENSE_RANK(),特别适合分页、去重... 目录mysql 中 ROW_NUMBER() 函数详解一、基础语法二、核心特点三、典型应用场景1. 数据分
阅读更多...
c++中的set容器介绍及操作大全

c++中的set容器介绍及操作大全

《c++中的set容器介绍及操作大全》：本文主要介绍c++中的set容器介绍及操作大全,本文通过实例代码给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考下吧... 目录​​一、核心特性​​️ ​​二、基本操作​​​​1. 初始化与赋值​​​​2. 增删查操作​​​​3. 遍历方
阅读更多...
解析C++11 static_assert及与Boost库的关联从入门到精通

解析C++11 static_assert及与Boost库的关联从入门到精通

《解析C++11static_assert及与Boost库的关联从入门到精通》static_assert是C++中强大的编译时验证工具,它能够在编译阶段拦截不符合预期的类型或值,增强代码的健壮性,通... 目录一、背景知识：传统断言方法的局限性1.1 assert宏1.2 #error指令1.3 第三方解决
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2