空结构体 — 专题

Introduction

空结构体是没有位段的结构体,以下是空结构体的一些例子:

type Q struct{}
var q struct{}

但是如果一个结构体没有位段,不包含任何数据,那么他的用处是什么?我们能够利用空结构体完成什么任务?

Width

在深入研究空结构体之前,我想先简短的介绍一下关于结构体宽度的知识。

宽度描述了存储一个数据类型实例需要占用的字节数,由于进程的内存空间是一维的,我更倾向于将宽度理解为Size(这个词实在不知道怎么翻译了,请谅解)。

宽度是数据类型的一个属性。Go程序中所有的实例都是一种数据类型,一个实例的宽度是由他的数据类型决定的,通常是8bit的整数倍

我们可以通过unsafe.Sizeof()函数获取任何实例的宽度:

var s string
var c complex128
fmt.Println(unsafe.Sizeof(s))    // prints 8
fmt.Println(unsafe.Sizeof(c))    // prints 16

  数组的宽度是他元素宽度的整数倍

var a [3]uint32
fmt.Println(unsafe.Sizeof(a)) // prints 12

  结构体提供了定义组合类型的灵活方式,组合类型的宽度是字段宽度的和,然后再加上填充宽度

type S struct {
        a uint16
        b uint32
}
var s S
fmt.Println(unsafe.Sizeof(s)) // prints 8, not 6

An empty struct

现在我们清楚的认识到空结构体的宽度是0,他占用了0字节的内存空间

var s struct{}
fmt.Println(unsafe.Sizeof(s)) // prints 0

  由于空结构体占用0字节,那么空结构体也不需要填充字节。所以空结构体组成的组合数据类型也不会占用内存空间

type S struct {
        A struct{}
        B struct{}
}
var s S
fmt.Println(unsafe.Sizeof(s)) // prints 0

What can you do with an empty struct

由于Go的正交性,空结构体可以像其他结构体一样正常使用。正常结构体拥有的属性,空结构体一样具有。

你可以定义一个空结构体组成的数组,当然这个切片不占用内存空间

var x [1000000000]struct{}
fmt.Println(unsafe.Sizeof(x)) // prints 0

  空结构体组成的切片的宽度只是他的头部数据的长度,就像上例展示的那样,切片元素不占用内存空间

var x = make([]struct{}, 1000000000)
fmt.Println(unsafe.Sizeof(x)) // prints 12 in the playground

  当然切片的内置子切片、长度和容量等属性依旧可以工作

var x = make([]struct{}, 100)
var y = x[:50]
fmt.Println(len(y), cap(y)) // prints 50 100

  你甚至可以寻址一个空结构体,空结构体是可寻址的,就像其他类型的实例一样

var a struct{}
var b = &a

  有意思的是两个空结构体的地址可以相等

var a, b struct{}
fmt.Println(&a == &b) // true

  空结构体的元素也具有一样的属性

a := make([]struct{}, 10)
b := make([]struct{}, 20)
fmt.Println(&a == &b)       // false, a and b are different slices
fmt.Println(&a[0] == &b[0]) // true, their backing arrays are the same

  为什么会这样?因为空结构体不包含位段,所以不存储数据。如果空结构体不包含数据,那么就没有办法说两个空结构体的值不相等,所以空结构体的值就这样相等了

a := struct{}{} // not the zero value, a real new struct{} instance
b := struct{}{}
fmt.Println(a == b) // true

struct{} as a method receiver

现在让我们展示一下空结构体如何像其他结构体工作,空结构体可以作为方法的接收者

type S struct{}

func (s *S) addr() { fmt.Printf("%p\n", s) }

func main() {
        var a, b S
        a.addr() // 0x1beeb0
        b.addr() // 0x1beeb0
}

  在这篇文章中空结构体的地址是0x1beeb0,但是这个值可能随着Go版本的不同而发生变化

原文地址:https://www.cnblogs.com/yorkyang/p/12072019.html

时间: 2024-10-10 20:57:56

空结构体 — 专题的相关文章

C++中的空类与空结构体大小

今天面试遇到了一个很有意思的问题,即空结构体在C++中所占的内存大小是多少?参见如下代码: #include <iostream> struct S0 { }; int main() { std::cout << sizeof S0 << std::endl; return 0; } 面试官当场提醒了我一下,说如果S0对象所占用的内存大小为0,那么将可以申请无限多个此类型的对象数组,并且大小永远为0.我当时觉得有点道理,不过转念一想,还是有点疑惑. 回来研究了一下,原来

C++ c++与C语言的区别(空结构体)

//区别⑨:空结构体声明(C++版本) #include<iostream> using namespace std; struct A{}; class B{}; void main(){ printf("C++中空结构体内存大小是%d\n", sizeof(A));//打印 1 printf("C++中空类内存大小是%d\n", sizeof(B)); //打印1 //在C++中,空结构体,空类都在内存中占一个字节大小的内存空间 system(&qu

平面点排序(一)(结构体专题)

1183: 平面点排序(一)(结构体专题) Time Limit: 1 Sec  Memory Limit: 128 MB Submit: 803  Solved: 555 SubmitStatusWeb Board Description 平面上有n个点,坐标均为整数.请按与坐标原点(0,0)距离的远近将所有点排序输出.可以自己写排序函数,也可以用qsort库函数排序. Input 输入有两行,第一行是整数n(1<=n<=10),接下来有n行,每行一对整数(每对整数对应一个点). Outpu

结构体专题

===定义结构体的两种方法:========================================= 第一种: struct 结构体名{成员列表}变量名列表: 第二种://省略了结构体名,直接定义结构体变量 struct{成员列表}变量名列表: ===举例:=========================================== 第一种定义方法 (1)声明结构体类型 struct 高三班级 { 语文课代表 数学课代表 -- 历史课代表 } (2)定义结构体变量 struc

字节对齐 空结构体长度

请仔细查看和对比,尤其是注释掉的结果. 1.代码: /* 编辑编译环境:Dev-C++ 4.9.9.2 */ /* source: */ #include "stdio.h" struct S{ }; struct S1{ char a; long b; }; struct S2 { char c; struct S1 d; long long e; }; struct S3{ long b; char a; }; int main(void) { // result: printf(

【程序设计】C与C++中空结构体与空类的大小

今天碰到了一道笔试题,问的是C++空类的大小是什么,用程序测试了一下. #include <iostream> using namespace std; class ClassA { }; // struct StructA { // // }; int main() { cout << "ClassA " << sizeof(ClassA) << endl; } 输出结果是1: 扩展开来,对于一个空类跟空结构体在C与C++中所占的空间是

C++中结构体和类的区别

在C++中,结构体是一种特殊形态的类. 结构体和类的唯一区别就是:  结构体和类具有不同的默认访问控制属性. 类中,对于未指定访问控制属性的成员,其访问控制属性为私有类型(private) 结构体中,对于未指定任何访问控制属性的成员,其访问控制属性为公有类型(public) C++中,不使用结构体丝毫不会影响程序的表达能力.C++之所以要引入结构体,是为了保持和C程序的兼容性. 但有时仍会在C++中使用结构体,是因为,可以使用结构体将不同类型数据组成整体,方便于保存数据.(若用类来保存,因类中成

结构体字节对齐问题(转)

原文出处:http://wenku.baidu.com/view/019e26b765ce0508763213e2.html 初学C,对结构体的使用sizeof计算所占字节数不是很明白,看了此篇文章,终于豁然开朗,转载过来,方便以后温故. #include<stdio.h> struct a {   char no[10];   int p;   long int pp;   unsigned int ppp;   char x;   float y;   double h; }xy; voi

结构体字节对齐

结构体字节对齐 在用sizeof运算符求算某结构体所占空间时,并不是简单地将结构体中所有元素各自占的空间相加,这里涉及到内存字节对齐的问题.从理论上讲,对于任何 变量的访问都可以从任何地址开始访问,但是事实上不是如此,实际上访问特定类型的变量只能在特定的地址访问,这就需要各个变量在空间上按一定的规则排列, 而不是简单地顺序排列,这就是内存对齐. 内存对齐的原因: 1)某些平台只能在特定的地址处访问特定类型的数据: 2)提高存取数据的速度.比如有的平台每次都是从偶地址处读取数据,对于一个int型的