【Struct(结构体)杂谈之六】无既是有---没有成员变量的Struct(结构体)

2024-03-20 06:08

本文主要是介绍【Struct(结构体)杂谈之六】无既是有---没有成员变量的Struct(结构体),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

没有成员变量的Struct(结构体)


       在开始本篇之前,想问大家一个问题:

       ---0是什么?

       ---呵呵,就是没有呗!

       ---那好,这5块钱拿去,就当抵我上次向你借的500块钱。

       ---什么?这哪和哪啊!这不一样

       ---可是你自己说的, 0就是“没有”。

       ----我说不清,反正不行,你必须还我500.

 

       0是什么?起什么作用呢?为什么500 ≠ 5?

       这节我们来讨论0 的作用。例如,500块钱,它后面0起到了什么作用呢? 500 的0,表示十和个位“没有”。虽说“没有”,但这个0 却不能省略。因为如果省略了0,一件500块的衣服,你只给5块,小心遭到暴打。


那原因是什么呢?

       在按位计数法中,数位具有很重要的意义。即使十位的数“没有”,也不能不写数字。这时就轮到0 出场了,即0 的作用就是占位。换言之,0 占着一个位置以保证数位高于它的数字不会产生错位。

正因为有了表示“没有”的0,数值才能正确地表现出来。可以说在按位计数法中0是不可或缺的。

 

       打住,这和我们讲的struct有什么关系?

       当然有关系了,请问下面这段代码输出的是什么呢?

#include <iostream>using namespace std;struct NoMember
{};int main(void)
{cout<<"The size of the struct NoMem is:"<<endl;cout<<sizeof(NoMember)<<endl;getchar();return 0;
}

是0呢?还是1?2?3?想必大部分人还是说不出来的,那我们先看看输出结果:

一个没有任何变量的Struct居然占了1个字节的空间。

这不科学!


那这是为什么呢?

不急,让子弹先飞一会儿.....


再看下面一段代码:

#include <iostream>using namespace std;struct NoMember
{};struct NoMember1
{int mA[0];
};int main(void)
{//cout<<endl<<"The size of the struct NoMember is: "<<sizeof(NoMember)<<endl;cout<<endl<<"The size of the struct NoMember1 is: "<<sizeof(NoMember1)<<endl;getchar();return 0;
}

一个结构体里面定义了一个空的数组,那这次的输出会是什么呢?
厄, 这还是一个空的结构体,所以输出还是1吧?
好的,你还真蒙对了,请看结果:



但是,如果struct里面还有另外的变量呢?会是什么情况呢?

#include <iostream>using namespace std;struct NoMember
{};struct NoMember1
{int mA[0];
};struct NoMember2
{char mB;int mA[0];
};int main(void)
{//cout<<endl<<"The size of the struct NoMember is: "<<sizeof(NoMember)<<endl;//cout<<endl<<"The size of the struct NoMember1 is: "<<sizeof(NoMember1)<<endl;cout<<endl<<"The size of the struct NoMember2 is: "<<sizeof(NoMember2)<<endl;getchar();return 0;
}

这一次的输出是什么呢?

char mB占据4个字节,然后int mA[0]占据1个字节,所以结果应该是5吧? 


但是结果是4,为什么呢?


其实结合500 ≠ 5的话也很好理解,虽然结构体包含0个成员变量,但是结构体起到“占位”的作用,“空结构体”变量必须被存储,编译器为其分配一个字节的空间用于占位了。这样一来,不光可以取地址,两个不同的“空结构体”变量又可以得以区分

我们可以输出各个结构体的地址:

#include <iostream>using namespace std;struct NoMember
{};struct NoMember1
{int mA[0];
};struct NoMember2
{char mB;int mA[0];
};int main(void)
{NoMember nm0;NoMember1 nm1;NoMember2 nm2;cout<<endl<<"The size of the struct NoMember is: "<<sizeof(NoMember)<<endl;cout<<"The address of the struct of NoMember: 0x"<<&nm0<<endl;cout<<endl<<"The size of the struct NoMember1 is: "<<sizeof(NoMember1)<<endl;cout<<"The address of the struct of NoMember: 0x"<<&nm1.mA<<endl;cout<<endl<<"The size of the struct NoMember2 is: "<<sizeof(NoMember2)<<endl;cout<<"The address of the struct of NoMember: 0x"<<&nm2.mA<<"\t0x"<<&nm2.mA<<endl;getchar();return 0;
}

输出结果如下:



注意下面这份简谱,注意到乐谱上也有很多的休止符,在简谱上也是用0来表示,但是它们不是“没有”, 而是表示不发音!


 

       这些0都不能去掉的,因为去掉,节奏肯定乱了。

0与其说是“空”,还不如说是“填空”更恰当。因为它的作用是占位。


结合这个例子,想必大家就理解了, “空结构体” 为什么需要占用一个字节的空间。


       可见,科学和艺术不分家的啊!


对数组比较熟悉的同学可能会问,怎么可以有0元素数组呢?

是的,如果我们在struct 和class之后定义0元素数组,会编译报错,如下代码所示:

#include <iostream>using namespace std;struct NoMember
{};struct NoMember1
{int mA[0];
};struct NoMember2
{char mB;int mA[0];
};struct NoMember3
{int arr[0];
};int arr[0];int main(void)
{NoMember nm0;NoMember1 nm1;NoMember2 nm2;cout<<endl<<"The size of the struct NoMember is: "<<sizeof(NoMember)<<endl;cout<<"The address of the struct of NoMember: 0x"<<&nm0<<endl;cout<<endl<<"The size of the struct NoMember1 is: "<<sizeof(NoMember1)<<endl;cout<<"The address of the struct of NoMember: 0x"<<&nm1.mA<<endl;cout<<endl<<"The size of the struct NoMember2 is: "<<sizeof(NoMember2)<<endl;cout<<"The address of the struct of NoMember: 0x"<<&nm2.mA<<"\t0x"<<&nm2.mA<<endl;getchar();return 0;
}

出错信息如下:

1>e:\code\vs2010_prjs\struct\structdeclare\nomems.cpp(28): error C2466: 不能分配常量大小为 0 的数组


而Stuct里面的0元素数组报的是warning,如下所示:

1>e:\code\vs2010_prjs\struct\structdeclare\nomems.cpp(24): warning C4200: 使用了非标准扩展 : 结构/联合中的零大小数组
1>          当 UDT 包含大小为零的数组时,无法生成复制构造函数或副本赋值运算符

那么,问题又来了,这些 struct里面的0元素数组有什么意义呢?


欲知后事如何,请听下回分解......



这篇关于【Struct(结构体)杂谈之六】无既是有---没有成员变量的Struct(结构体)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/828512

相关文章

jupyter代码块没有运行图标的解决方案

《jupyter代码块没有运行图标的解决方案》:本文主要介绍jupyter代码块没有运行图标的解决方案,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录jupyter代码块没有运行图标的解决1.找到Jupyter notebook的系统配置文件2.这时候一般会搜索到

使用Java实现通用树形结构构建工具类

《使用Java实现通用树形结构构建工具类》这篇文章主要为大家详细介绍了如何使用Java实现通用树形结构构建工具类,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 目录完整代码一、设计思想与核心功能二、核心实现原理1. 数据结构准备阶段2. 循环依赖检测算法3. 树形结构构建4. 搜索子

利用Python开发Markdown表格结构转换为Excel工具

《利用Python开发Markdown表格结构转换为Excel工具》在数据管理和文档编写过程中,我们经常使用Markdown来记录表格数据,但它没有Excel使用方便,所以本文将使用Python编写一... 目录1.完整代码2. 项目概述3. 代码解析3.1 依赖库3.2 GUI 设计3.3 解析 Mark

mysql通过frm和ibd文件恢复表_mysql5.7根据.frm和.ibd文件恢复表结构和数据

《mysql通过frm和ibd文件恢复表_mysql5.7根据.frm和.ibd文件恢复表结构和数据》文章主要介绍了如何从.frm和.ibd文件恢复MySQLInnoDB表结构和数据,需要的朋友可以参... 目录一、恢复表结构二、恢复表数据补充方法一、恢复表结构(从 .frm 文件)方法 1:使用 mysq

Python中顺序结构和循环结构示例代码

《Python中顺序结构和循环结构示例代码》:本文主要介绍Python中的条件语句和循环语句,条件语句用于根据条件执行不同的代码块,循环语句用于重复执行一段代码,文章还详细说明了range函数的使... 目录一、条件语句(1)条件语句的定义(2)条件语句的语法(a)单分支 if(b)双分支 if-else(

使用Navicat工具比对两个数据库所有表结构的差异案例详解

《使用Navicat工具比对两个数据库所有表结构的差异案例详解》:本文主要介绍如何使用Navicat工具对比两个数据库test_old和test_new,并生成相应的DDLSQL语句,以便将te... 目录概要案例一、如图两个数据库test_old和test_new进行比较:二、开始比较总结概要公司存在多

在Rust中要用Struct和Enum组织数据的原因解析

《在Rust中要用Struct和Enum组织数据的原因解析》在Rust中,Struct和Enum是组织数据的核心工具,Struct用于将相关字段封装为单一实体,便于管理和扩展,Enum用于明确定义所有... 目录为什么在Rust中要用Struct和Enum组织数据?一、使用struct组织数据:将相关字段绑

电脑没有仿宋GB2312字体怎么办? 仿宋GB2312字体下载安装及调出来的教程

《电脑没有仿宋GB2312字体怎么办?仿宋GB2312字体下载安装及调出来的教程》仿宋字体gb2312作为一种经典且常用的字体,广泛应用于各种场合,如何在计算机中调出仿宋字体gb2312?本文将为您... 仿宋_GB2312是公文标准字体之一,仿China编程宋是字体名称,GB2312是字php符编码标准名称(简

浅析Rust多线程中如何安全的使用变量

《浅析Rust多线程中如何安全的使用变量》这篇文章主要为大家详细介绍了Rust如何在线程的闭包中安全的使用变量,包括共享变量和修改变量,文中的示例代码讲解详细,有需要的小伙伴可以参考下... 目录1. 向线程传递变量2. 多线程共享变量引用3. 多线程中修改变量4. 总结在Rust语言中,一个既引人入胜又可

Java中switch-case结构的使用方法举例详解

《Java中switch-case结构的使用方法举例详解》:本文主要介绍Java中switch-case结构使用的相关资料,switch-case结构是Java中处理多个分支条件的一种有效方式,它... 目录前言一、switch-case结构的基本语法二、使用示例三、注意事项四、总结前言对于Java初学者