1、缺省构造函数。

2、缺省拷贝构造函数。

3、 缺省析构函数。

4、缺省赋值运算符。

5、缺省取址运算符。

6、 缺省取址运算符 const。

<span style="font-size:18px;">
class A
{
public:
A(){}//缺省构造函数 A(const A&){}//拷贝构造函数 ~A(){}//析构函数 A&operator=(const A&){}//赋值运算符 A*operator&(){}//取址运算符 const A*operator&()const{}//取址运算符 const
};
 </span>

在C++中。编译器会为空类提供哪些默认成员函数?分别有什么样的功能呢?

空类,声明时编译器不会生成不论什么成员函数

对于空类。编译器不会生成不论什么的成员函数。仅仅会生成1个字节的占位符。

有时可能会以为编译器会为空类生成默认构造函数等,其实是不会的。编译器仅仅会在须要的时候生成6个成员函数:一个缺省的构造函数、一个拷贝构造函数、一个析构函数、一个赋值运算符、一对取址运算符和一个this指针。

代码:

<span style="font-size:18px;">
#include <iostream>
using namespace std; class Empty_one
{
};
class Empty_two
{};
class Empty_three
{
virtual void fun() = 0;
};
class Empty_four : public Empty_two, public Empty_three
{
}; int main()
{
cout<<"sizeof(Empty_one):"<<sizeof(Empty_one)<<endl;
cout<<"sizeof(Empty_two):"<<sizeof(Empty_two)<<endl;
cout<<"sizeof(Empty_three):"<<sizeof(Empty_three)<<endl;
cout<<"sizeof(Empty_four):"<<sizeof(Empty_four)<<endl;
return 0;
}
</span>

结果:

watermark/2/text/aHR0cDovL2Jsb2cuY3Nkbi5uZXQvSXJlYW5fTGF1/font/5a6L5L2T/fontsize/400/fill/I0JBQkFCMA==/dissolve/70/gravity/Center" alt="">

分析:

类Empty_one、Empty_two是空类,但空类相同能够被实例化。而每一个实例在内存中都有一个独一无二的地址,为了达到这个目的。编译器往往会给一个空类隐含的加一个字节。这样空类在实例化后在内存得到了独一无二的地址,所以sizeof(Empty_one)和sizeof(Empty_two)的大小为1。

类Empty_three里面因有一个纯虚函数,故有一个指向虚函数的指针(vptr),32位系统分配给指针的大小为4个字节,所以sizeof(Empty_three)的大小为4。

类Empty_four继承于Empty_two和Empty_three,编译器取消Empty_two的占位符。保留一虚函数表。故大小为4。

2、空类。定义时会生成6个成员函数

当空类Empty_one定义一个对象时Empty_one pt;sizeof(pt)仍是为1,但编译器会生成6个成员函数:一个缺省的构造函数、一个拷贝构造函数、一个析构函数、一个赋值运算符、两个取址运算符。

  1. class Empty
  2. {};

等价于:

  1. class Empty
  2. {
  3. public:
  4. Empty();                            //缺省构造函数
  5. Empty(const Empty &rhs);            //拷贝构造函数
  6. ~Empty();                           //析构函数
  7. Empty& operator=(const Empty &rhs); //赋值运算符
  8. Empty* operator&();                 //取址运算符
  9. const Empty* operator&() const;     //取址运算符(const版本号)
  10. };

使用时的调用情况:

  1. Empty *e = new Empty();    //缺省构造函数
  2. delete e;                  //析构函数
  3. Empty e1;                  //缺省构造函数
  4. Empty e2(e1);              //拷贝构造函数
  5. e2 = e1;                   //赋值运算符
  6. Empty *pe1 = &e1;          //取址运算符(非const)
  7. const Empty *pe2 = &e2;    //取址运算符(const)

C++编译器对这些函数的实现:

  1. inline Empty::Empty()                          //缺省构造函数
  2. {
  3. }
  4. inline Empty::~Empty()                         //析构函数
  5. {
  6. }
  7. inline Empty *Empty::operator&()               //取址运算符(非const)
  8. {
  9. return this;
  10. }
  11. inline const Empty *Empty::operator&() const    //取址运算符(const)
  12. {
  13. return this;
  14. }
  15. inline Empty::Empty(const Empty &rhs)           //拷贝构造函数
  16. {
  17. //对类的非静态数据成员进行以"成员为单位"逐一拷贝构造
  18. //固定类型的对象拷贝构造是从源对象到目标对象的"逐位"拷贝
  19. }
  20. inline Empty& Empty::operator=(const Empty &rhs) //赋值运算符
  21. {
  22. //对类的非静态数据成员进行以"成员为单位"逐一赋值
  23. //固定类型的对象赋值是从源对象到目标对象的"逐位"赋值。

  24. }

比如:m是类C中的一个类型为T的非静态成员变量。若C没有声明拷贝构造函数(赋值运算符)。 m将会通过T的拷贝构造函数(赋值运算符)被拷贝构造(赋值);该规则递归应用到m的数据成员,直到找到一个拷贝构造函数(赋值运算符)或固定类型(比如:int、double、指针等)为止。

三、总结

上述执行结果依赖于编译器和64位、32位不同的系统。

【C++缺省函数】 空类默认产生的6个类成员函数的更多相关文章

  1. C++中的const成员函数(函数声明后加const,或称常量成员函数)用法详解

    http://blog.csdn.net/gmstart/article/details/7046140 在C++的类定义里面,可以看到类似下面的定义: 01 class List { 02 priv ...

  2. C++空类产生哪些成员函数 || C++类可以自动生成的6个成员函数

    class Empty {     public:     Empty(); // 缺省构造函数     Empty( const Empty& ); // 拷贝构造函数     ~Empty ...

  3. python类中保存非绑定方法作为成员函数

    习惯了函数式,动不动传一个函数.但是直接把函数作为类方法保存,再调用时会报错. 举一个unittest时的例子 class MyTestCase(unittest.TestCase): @classm ...

  4. 聊聊 C++ 中几类特殊成员函数

    一:背景 在 C# 中要说类默认给我们定义的特殊成员函数,莫过于 构造函数,但在 C++ 中这样的特殊函数高达 6 种,有必要整合一下聊一聊. 二:特殊成员函数 1. 默认构造函数 和 C# 一样,很 ...

  5. C++ 空类默认产生的类成员函数

    C++的空类有哪些成员函数:. 缺省构造函数.. 缺省拷贝构造函数.. 缺省析构函数.. 缺省赋值运算符.. 缺省取址运算符.. 缺省取址运算符 const.     注意:有些书上只是简单的介绍了前 ...

  6. c++11 类默认函数的控制:"=default" 和 "=delete"函数

    c++11 类默认函数的控制:"=default" 和 "=delete"函数 #define _CRT_SECURE_NO_WARNINGS #include ...

  7. c++11 类默认函数的控制:"=default" 和 "=delete"函数 void fun() = default; void fun()=delete;

    转自:lsgxeva #define _CRT_SECURE_NO_WARNINGS #include <iostream> #include <string> #includ ...

  8. c++基础知识_c++11 类默认函数的控制:"=default" 和 "=delete"函数

    #define _CRT_SECURE_NO_WARNINGS #include <iostream> #include <string> #include <vecto ...

  9. C++学习46 getline()函数读入一行字符 一些与输入有关的istream类成员函数

    getline函数的作用是从输入流中读取一行字符,其用法与带3个参数的get函数类似.即    cin.getline(字符数组(或字符指针), 字符个数n, 终止标志字符) [例13.7] 用get ...

随机推荐

  1. Python-try except else finally有return时执行顺序探究

    学习python或者其他有异常控制的编程语 言, 大家很有可能说try except finally(try catch finally)的执行很简单,无非就是有异常的话执行except, final ...

  2. 那些最好的轮子 - PHP篇

    转载于:http://avnpc.com/pages/best-wheels-for-php 在关于不要重复造轮子的二三事一文中,交代了一些背景和想法.本篇则完全是一些干货,列举一些我用过或者即将会用 ...

  3. Android—— 定制界面风格

    统一的用户界面是可以使得应用程序更友好.要做到用户界面的统一,我们就必须用到风格(style)和主题(theme).OPhone系统提供了很多系统默认的风格和主题,但是很多情况下,这些不能满足我们的需 ...

  4. EMQ ---客户端clientid为空,emq会随机帮忙生成

    mqtt v3.1.1协议有规定clientid可以为空,所以当客户端clientid为空,emq会随机帮忙生成. 如果clientid为空,随机生成clientid.例如'emqttd_105789 ...

  5. 对象语义与值语义、资源管理(RAII、资源所有权)、模拟实现auto_ptr<class>、实现Ptr_vector

    一.对象语义与值语义 1.值语义是指对象的拷贝与原对象无关.拷贝之后就与原对象脱离关系,彼此独立互不影响(深拷贝).比如说int,C++中的内置类型都是值语义,前面学过的三个标准库类型string,v ...

  6. Ubuntu 14.04主机上部署k8s集群

    部署结构 3台虚拟机,其中1台作为master,2台作为minion,都安装了最新版本的docker engine(目前是1.11.2) k8s版本是1.3.0 主要问题 部署步骤基本按照官方文档:h ...

  7. 交叉编译Node.js到OpenWrt(HG255D)

    操作系统:deepin linux 2013 或 ubuntu 13.04 1.安装交叉编译前.须要安装的包 sudo apt-get install build-essential subversi ...

  8. 【iOS开发之Objective-C】书签管理器项目

    1.项目 新建一个书签管理器的项目,能够存储书签的网址.中文名.星级.訪问量和权限信息.具有增.删.改.查和排序的功能. 2.找对象,抽象类 书签管理器,书签管理器.书签管理器--  多读几次书是不是 ...

  9. C# 获得文件名

    string strFilePaht="文件路径"; Path.GetFileNameWithoutExtension(strFilePath);这个就是获取文件名的 还有的就是用 ...

  10. Windows API中的坑

    本文主页链接:Windows API中的坑 ExpandEnvironmentStrings 风险: 进程会继承其父进程的环境变量.在展开如%APPDATA%等文件夹时,有可能父进程对此环境变量进行过 ...