Go语言中没有"类"的概念,也不支持"类"的继承等面向对象的概念.Go语言中通过结构体的内嵌再配合接口比面向对象具有更高的扩展性和灵活性.
自定义类型
在Go语言中有一些基本的数据类型,如string、整型、浮点型、布尔等数据类型, Go语言中可以使用type关键字来定义自定义类型.
自定义类型是定义了一个全新的类型.我们可以基于内置的基本类型定义,也可以通过struct定义.例如:
通过Type关键字的定义,MyInt就是一种新的类型,它具有int的特性.
类型别名
类型别名规定:TypeAlias只是Type的别名,本质上TypeAlias与Type是同一个类型.就像一个孩子小时候有小名、乳名,上学后用学名,英语老师又会给他起英文名,但这些名字都指的是他本人.
type TypeAlias = Type
我们之前见过的rune和byte就是类型别名,他们的定义如下:
类型定义和类型别名的区别
类型别名与类型定义表面上看只有一个等号的差异,我们通过下面的这段代码来理解它们之间的区别.
结果显示a的类型是main.NewInt,表示main包下定义的NewInt类型.b的类型是int.MyInt类型只会在代码中存在,编译完成时并不会有MyInt类型.
Go语言中的基础数据类型可以表示一些事物的基本属性,但是当我们想表达一个事物的全部或部分属性时,这时候再用单一的基本数据类型明显就无法满足需求了,Go语言提供了一种自定义数据类型,可以封装多个基本数据类型,这种数据类型叫结构体,英文名称struct. 也就是我们可以通过struct来定义自己的类型了.
Go语言中通过struct来实现面向对象.
结构体的定义
使用type和struct关键字来定义结构体,具体代码格式如下:
其中:
举个例子,我们定义一个Person(人)结构体,代码如下:
同样类型的字段也可以写在一行,
这样我们就拥有了一个person的自定义类型,它有name、city、age三个字段,分别表示姓名、城市和年龄.这样我们使用这个person结构体就能够很方便的在程序中表示和存储人信息了.
语言内置的基础数据类型是用来描述一个值的,而结构体是用来描述一组值的.比如一个人有名字、年龄和居住城市等,本质上是一种聚合型的数据类型
结构体实例化
只有当结构体实例化时,才会真正地分配内存.也就是必须实例化后才能使用结构体的字段.
基本实例化
举个例子:
我们通过.来访问结构体的字段(成员变量),例如p1.name和p1.age等.
匿名结构体
在定义一些临时数据结构等场景下还可以使用匿名结构体.
创建指针类型结构体
我们还可以通过使用new关键字对结构体进行实例化,得到的是结构体的地址. 格式如下:
需要注意的是在Go语言中支持对结构体指针直接使用.来访问结构体的成员.
取结构体的地址实例化
使用对结构体进行取地址操作相当于对该结构体类型进行了一次new实例化操作.
结构体初始化
没有初始化的结构体,其成员变量都是对应其类型的零值.
使用键值对初始化
使用键值对对结构体进行初始化时,键对应结构体的字段,值对应该字段的初始值.
也可以对结构体指针进行键值对初始化,例如:
当某些字段没有初始值的时候,该字段可以不写.此时,没有指定初始值的字段的值就是该字段类型的零值.
使用值的列表初始化
初始化结构体的时候可以简写,也就是初始化的时候不写键,直接写值:
使用这种格式初始化时,需要注意:
结构体内存布局
结构体占用一块连续的内存.
输出:
【进阶知识点】关于Go语言中的内存对齐推荐阅读:在 Go 中恰到好处的内存对齐
面试题
请问下面代码的执行结果是什么?
构造函数
Go语言的结构体没有构造函数,我们可以自己实现. 例如,下方的代码就实现了一个person的构造函数. 因为struct是值类型,如果结构体比较复杂的话,值拷贝性能开销会比较大,所以该构造函数返回的是结构体指针类型.
调用构造函数
方法和接收者
Go语言中的方法(Method)是一种作用于特定类型变量的函数.这种特定类型变量叫做接收者(Receiver).接收者的概念就类似于其他语言中的this或者 self.
方法的定义格式如下:
其中,
方法与函数的区别是,函数不属于任何类型,方法属于特定的类型.
指针类型的接收者
指针类型的接收者由一个结构体的指针组成,由于指针的特性,调用方法时修改接收者指针的任意成员变量,在方法结束后,修改都是有效的.这种方式就十分接近于其他语言中面向对象中的this或者self. 例如我们为Person添加一个SetAge方法,来修改实例变量的年龄.
调用该方法:
值类型的接收者
当方法作用于值类型接收者时,Go语言会在代码运行时将接收者的值复制一份.在值类型接收者的方法中可以获取接收者的成员值,但修改操作只是针对副本,无法修改接收者变量本身.
什么时候应该使用指针类型接收者
任意类型添加方法
在Go语言中,接收者的类型可以是任何类型,不仅仅是结构体,任何类型都可以拥有方法. 举个例子,我们基于内置的int类型使用type关键字可以定义新的自定义类型,然后为我们的自定义类型添加方法.
注意事项: 非本地类型不能定义方法,也就是说我们不能给别的包的类型定义方法.
结构体的匿名字段
匿名字段默认采用类型名作为字段名,结构体要求字段名称必须唯一,所以呢一个结构体中同种类型的匿名字段只能有一个.
嵌套结构体
一个结构体中可以嵌套包含另一个结构体或结构体指针.
嵌套匿名结构体
当访问结构体成员时会先在结构体中查找该字段,找不到再去匿名结构体中查找.
嵌套结构体的字段名冲突
嵌套结构体内部可能存在相同的字段名.这个时候为了避免歧义需要指定具体的内嵌结构体的字段.
结构体的"继承"
Go语言中使用结构体也可以实现其他编程语言中面向对象的继承.
结构体字段的可见性
结构体中字段大写开头表示可公开访问,小写表示私有(仅在定义当前结构体的包中可访问).
结构体与JSON序列化
JSON(JavaScript Object Notation) 是一种轻量级的数据交换格式.易于人阅读和编写.同时也易于机器解析和生成.JSON键值对是用来保存JS对象的一种方式,键/值对组合中的键名写在前面并用双引号""包裹,使用冒号:分隔,然后紧接着值;多个键值之间使用英文,分隔.
结构体标签(Tag)
Tag是结构体的元信息,可以在运行的时候通过反射的机制读取出来. Tag在结构体字段的后方定义,由一对反引号包裹起来,具体的格式如下:
结构体标签由一个或多个键值对组成.键与值使用冒号分隔,值用双引号括起来.键值对之间使用一个空格分隔. 注意事项: 为结构体编写Tag时,必须严格遵守键值对的规则.结构体标签的解析代码的容错能力很差,一旦格式写错,编译和运行时都不会提示任何错误,通过反射也无法正确取值.例如不要在key和value之间添加空格.
例如我们为Student结构体的每个字段定义json序列化时使用的Tag:
①.、反射可以在运行时 动态获取变量的各种信息 ,比如变量的类型、类别;
①.、不知道接口调用哪个函数,根据传入参数在运行时确定调用的具体接口,这种需要对函数或方法反射.
例如以下这种桥接模式:
示例第一个参数funcPtr以接口的形式传入函数指针,函数参数args以可变参数的形式传入,bridge函数中可以用反射来动态执行funcPtr函数.
①.、reflect.TypeOf(变量名),获取变量的类型,返回reflect.Type类型.
①.、reflect.Value.Kind,获取变量的 类别(Kind) ,返回的是一个 常量 .在go语言文档中:
示例如下所示:
输出如下:
Kind的范畴要比Type大.比如有Student和Consumer两个结构体,他们的 Type 分别是 Student 和 Consumer ,但是它们的 Kind 都是 struct .
如果是x是float类型的话,也是要用reflect.Value(x).Float().但是如果是struct类型的话,由于type并不确定,所以没有相应的方法,只能 断言.
① 保留但大幅度简化指针
Go语言保留着C中值和指针的区别,但是对于指针繁琐用法进行了大量的简化,引入引用的概念.所以在Go语言中,你几乎不用担心会因为直接操作内寸而引起各式各样的错误.
还记得在C里面为了回馈多个参数,不得不开辟几段指针传到目标函数中让其操作么?在Go里面这是完全不必要的.而且多参数的支持让Go无需使用繁琐的exceptions体系,一个函数可以返回期待的返回值加上error,调用函数后立刻处理错误信息,清晰明了.
如果你习惯了Python中简洁的list和dict操作,在Go语言中,你不会感到孤单.一切都是那么熟悉,而且更加高效.如果你是C++程序员,你会发现你又找到了STL的vector 和 map这对朋友.
Go语言最让人赞叹不易的特性,就是interface的设计.任何数据结构,只要实现了interface所定义的函数,自动就implement了这个interface,没有像Java那样冗长的class申明,提供了灵活太多的设计度和OO抽象度,让你的代码也非常干净.千万不要以为你习惯了Java那种一条一条加implements的方式,感觉还行,等接口的设计越来越复杂的时候,无数Bug正在后面等着你.
同时,正因为如此,Go语言的interface可以用来表示任何generic的东西,比如一个空的interface,可以是string可以是int,可以是任何数据类型,因为这些数据类型都不需要实现任何函数,自然就满足空interface的定义了.加上Go语言的type assertion,可以提供一般动态语言才有的duck typing特性, 而仍然能在compile中捕捉明显的错误.
Go语言本质上不是面向对象语言,它还是过程化的.但是,在Go语言中, 你可以很轻易的做大部分你在别的OO语言中能做的事,用更简单清晰的逻辑.是的,今天这一节,不需要class,仍然可以继承,仍然可以多态,但是速度却快得多.因为本质上,OO在Go语言中,就是普通的struct操作.
这个几乎算是Go语言的招牌特性之一了,我也不想多提.如果你完全不了解Goroutine,那么你只需要知道,这玩意是超级轻量级的类似线程的东西,但通过它,你不需要复杂的线程操作锁操作,不需要care调度,就能玩转基本的并行程序.在Go语言里,触发一个routine和erlang spawn一样简单.基本上要掌握Go语言,以Goroutine和channel为核心的内存模型是必须要懂的.不过请放心,真的非常简单.
和C比较,Go语言完全就是一门现代化语言,原生支持的Unicode, garbage collection, Closures(是的,和functional programming language类似), function是first class object,等等等等.
看到这里,你可能会发现,我用了很多轻易,简单,快速之类的形容词来形容Go语言的特点.我想说的是,一点都不夸张,连Go语言的入门学习到提高,都比别的语言门槛低太多太多.在大部分人都有C的背景的时代,对于Go语言,从入门到能够上手做项目,最多不过半个月.Go语言给人的感觉就是太直接了,什么都直接,读源代码直接,写自己的代码也直接.
golang定义可变参数的函数方法是:
—- 采用ANSI标准形式时,参数个数可变的函数的原型声明是:
—- 这种形式至少需要一个普通的形式参数,后面的省略号不表示省略,而是函数原型的一部分.type是函数返回值和形式参数的类型.
—- 采用与UNIX System V兼容的声明方式时,参数个数可变的函数原型是:
type funcname(va_alist)
va_dcl
—- 这种形式不需要提供任何普通的形式参数.
type是函数返回值的类型.va_dcl是对函数原型声明中参数va_alist的详细声明,实际是一个宏定义,对不同的硬件平台采用不同的类型来定义,但在最后都包括了一个分号.所以呢va_dcl后不再需要加上分号了.va_dcl在代码中必须原样给出.va_alist在VC中可以原样给出,也可以略去.
此外,采用头文件stdarg.h编写的程序是符合ANSI标准的,可以在各种操作系统和硬件上运行;而采用头文件varargs.h的方式仅仅是为了与以前的程序兼容.所以建议使用前者.
以上就是土嘎嘎小编为大家整理的go语言type理解相关主题介绍,如果您觉得小编更新的文章只要能对粉丝们有用,就是我们最大的鼓励和动力,不要忘记讲本站分享给您身边的朋友哦!!