• 设为首页
  • 点击收藏
  • 手机版
    手机扫一扫访问
    迪恩网络手机版
  • 关注官方公众号
    微信扫一扫关注
    公众号

Go语言规格说明书 之 类型声明(Type declarations)

原作者: [db:作者] 来自: [db:来源] 收藏 邀请

go version go1.11 windows/amd64

 

本文为阅读Go语言中文官网的规则说明书(https://golang.google.cn/ref/spec)而做的笔记,完整的介绍Go语言的 类型声明(Type declarations)

 

类型声明 即 绑定一个标识符(新类型名称) 到 一个类型。

有两种形式:类型别名声明(alias declarations)、新类型定义(type definitions)。

 

类型别名声明

很简单:在类型别名和类型之间使用等号(=)。官文示例:

type (
	nodeList = []*Node  // nodeList and []*Node are identical types
	Polar    = polar    // Polar and polar denote identical types
)

注意,类型别名 也是一个标识符,也是有其 作用域(scope)的。

 

新类型定义

这个复杂一些,还好,自己理解了90%了。

创建一个新的类型,这个类型 和 给定的已存在的(旧)类型 有相同的底层类型和操作,并用一个新的 标识符 来表示这个新类型。

这样的 新类型 也叫做 自定义类型(defined type)——解决了昨天的困惑,新类型和其它类型是不同的,即便是用来创造它的旧类型。

官文示例:

新旧类型之间 没有等号(=),空格分隔

通过示例,知道了之前使用的 type+struct/interface原来是在创建新的类型;

type (
	Point struct{ x, y float64 }  // Point and struct{ x, y float64 } are different types
	polar Point                   // polar and Point denote different types
)

type TreeNode struct {
	left, right *TreeNode
	value *Comparable
}

type Block interface {
	BlockSize() int
	Encrypt(src, dst []byte)
	Decrypt(src, dst []byte)
}

 

进阶1:

新类型 可以拥有自己的方法,但是,新类型 不会继承 任何旧类型的方法, 就是说,想要拥有方法,需要自行定义。

但是(但是来了),接口类型、复合类型(a composite type)的元素 的方法保持不变。

官文示例(用到了上面示例中的Block类型):

// A Mutex is a data type with two methods, Lock and Unlock.
type Mutex struct         { /* Mutex fields */ }
func (m *Mutex) Lock()    { /* Lock implementation */ }
func (m *Mutex) Unlock()  { /* Unlock implementation */ }
// 类型Mutex有两方法:Lock,Unlock
// NewMutex has the same composition as Mutex but its method set is empty. type NewMutex Mutex // 新类型NewMutex的方法集是空的
// The method set of PtrMutex's underlying type *Mutex remains unchanged, // but the method set of PtrMutex is empty. type PtrMutex *Mutex // 新类型PtrMutex的方法集也是空的,,这个指针看来不是复合类型啊,,
// The method set of *PrintableMutex contains the methods // Lock and Unlock bound to its embedded field Mutex. type PrintableMutex struct { Mutex }
// 疑问:为何是*PrintableMutex?这个就是复合类型吗?到底什么是复合类型?有哪些? // MyBlock is an interface type that has the same method set as Block. type MyBlock Block
// 这里的Block是 指针类型的,前一个官文示例中定义了

 

进阶2:

新类型定义可以用于定义不同的 布尔类型、数字类型、字符串类型,然后给新类型添加方法。

下面是官文示例:

type TimeZone int

const (
	EST TimeZone = -(5 + iota)
	CST
	MST
	PST
)

func (tz TimeZone) String() string {
	return fmt.Sprintf("GMT%+dh", tz)
}

测试代码:

package main 

import (
	"fmt"
)

type TimeZone int

const (
	EST TimeZone = -(5 + iota)
	CST
	MST
	PST 
)

func (tz TimeZone) String() string {
	return fmt.Sprintf("GMT%+dh", tz)
}

func main() {
	var x TimeZone = 1
	fmt.Println(x.String())
	x = 123
	fmt.Println(x.String())
	x = -999123
	fmt.Println(x.String())
	
	fmt.Println(EST, CST, MST, PST)
}
测试 type TimeZone int

测试结果:

GMT+1h
GMT+123h
GMT-999123h
GMT-5h GMT-6h GMT-7h GMT-8h

上面的示例有两个知识点自己还需要去dig:const声明、iota的使用。

给 新类型 TimeZone 添加了方法String(),结果,使用fmt.Sprintf()打印这几个常量时就出现了其方法String()返回的字符串了。

这个String()方法一定有特别的用途的!

 

对了,还有 复合类型!这也是个重难点!在官文中找到了说明:Expression -> Composite literals

 

对了,还有 底层类型!昨天的官文是这么介绍的:

Each type T has an underlying type:

If T is one of the predeclared boolean, numeric, or string types, or a type literal, the corresponding underlying type is T itself.

Otherwise, T's underlying type is the underlying type of the type to which T refers in its type declaration.

翻译:

如果 类型T 是预定义的 布尔、数字、字符串 类型,或者 类型字面量(不理解?),那么,其相应的底层类型是 T 本身。

否则,类型T 的底层类型是 类型T在它的类型声明中 应用的 类型的底层类型。

好,感觉看懂这第二句话了!“在它的类型声明中”,不就是本文前面讲的 类型别名 和 新类型定义 吗?

 

怎么找到一个类型的底层类型呢?请参考下面的链接(在昨天有使用过):

golang如何获取变量的类型:反射,类型断言

 

好勒,就这么多!感觉自己又进步了!稍后学习下上面的 Expression -> Composite literals

 


鲜花

握手

雷人

路过

鸡蛋
该文章已有0人参与评论

请发表评论

全部评论

专题导读
上一篇:
go语言 类型:字符串发布时间:2022-07-10
下一篇:
Go网络编程之net/http包执行流程源码分析发布时间:2022-07-10
热门推荐
热门话题
阅读排行榜

扫描微信二维码

查看手机版网站

随时了解更新最新资讯

139-2527-9053

在线客服(服务时间 9:00~18:00)

在线QQ客服
地址:深圳市南山区西丽大学城创智工业园
电邮:jeky_zhao#qq.com
移动电话:139-2527-9053

Powered by 互联科技 X3.4© 2001-2213 极客世界.|Sitemap