Go语言入门——interface
1、Go如何定义interface
Go通过type声明一个接口,形如
type geometry interface {
area() float64
perim() float64
}
和声明一个结构体一样,接口也是通过type声明。
type后面是接口名称,紧挨着是关键字interface。
接口里面定义的area()和perim是接口geometry的方法。
有了接口,那应该如何实现接口呢?
type rect struct {
width, height float64
} func (r rect) area() float64 {
return r*width*height
} func (r rect) perim() float64 {
return 2*r*width + 2*r*height
}
上面就是rect实现接口geometry的代码。不同于Java这些语言,有显式的关键字如implement表示实现某个接口。
和Java接口的契约精神有些不同的是,Go里面的接口实现更像是组合的概念。
这里要提一个”鸭子类型“的概念。鸭子类型是动态编程语言的一种对象推断策略,它更关注对象能如何被使用,而不是对象的类型本身。即一个东西如果长得像鸭子,会像鸭子一样嘎嘎叫、走路、游泳,那么我们就可以推断这个小东西就是鸭子。
类比上面的代码,rect就是长得像鸭子geometry的,可以像geometry一样的area()行为,也可以像geometry一样的perim(),rect满足了geometry定义的一切行为,所以我们推断rect就是实现了接口geometry的。
这样,我们不用再去写implement xxx这样的代码了。由原来一个类的粒度细化到类里面方法的粒度了。
顺便提一句,之前在做Java开发的时候,由于是协同开发,都是用统一的框架,加上面向接口编程的思想深入人心,以至于成为这样的一种条件反射:在写一个service的时候,第一反应是新建一个接口,然后定义接口中方法,之后再是编写实现类,绝大多数情况,都是只会用到这一个实现类,未来很长时间都没有看到这个接口的其他实现类。这种为了实现接口而编写接口,有时候在中小型项目中让代码显得很死板。
2、如何判定是否是某个interface的实现
上面我们介绍了Go是如何定义一个接口并”实现“接口的。上面代码只有一个rect结构体,如果有多个呢
type rect struct {
width, height float64
} func (r rect) area() float64 {
return r*width*height
} func (r rect) perim() float64 {
return 2*r*width + 2*r*height
} type circle struct {
radius float64
} func (c circle) area() float64 {
return math.Pi * c.radius * c.radius
}
func (c circle) perim() float64 {
return 2 * math.Pi * c.radius
}
对于这种情况,我们总不能一个个肉眼比对,看看rect、circle是否实现了geometry中定义的所有方法吧
Go可以通过类型断言来判定。
func main() {
r := rect{width: 3, height: 4}
c := circle{radius: 5} measure(r)
measure(c) var g geometry
g = circle{radius:10}
switch t := g.(type) {
case circle:
fmt.Println("circle type", t)
case rect:
fmt.Println("rect type", t)
}
}
执行结果为
{3 4}
12
14
{5}
78.53981633974483
31.41592653589793
circle type {10}
可以看出,Go可以推断g是实现了geometry接口的circle。
类型断言的语法为
<目标类型的值>,<布尔参数> := <表达式>.( 目标类型 ) // 安全类型断言 <目标类型的值> := <表达式>.( 目标类型 ) //非安全类型断言
上面的写法是switch语法,即第二种。第一种举例如下
var g geometry
if f, ok := g.(circle); ok {
fmt.Println("circle type", f)
}
3、值接收还是指针接收
在Go中一个方法,我们可以定义一个方法是用某个struct的值来接收还是指针接收,形如
type rect struct {
width, height int
} func (r *rect) area() int {
return r.width * r.height
} func (r rect) perim() int {
return 2*r.width + 2*r.height
} func main() {
r := rect{width: 10, height: 20}
fmt.Println("area:", r.area())
fmt.Println("perim:", r.perim()) rp := &r
fmt.Println("area:", rp.area())
fmt.Println("perim:", rp.perim())
}
这里定义结构体rect,同时定义两个方法area()和perim()。在这两个方法左边定义的即为方法的接收者,其中area()由rect的指针类型接收,perim()则由rect值类型接收。
这样表示area()和perim()是rect的两个方法。从代码我们可以看出,该种形式不管是传入值类型还是传入rect的指针,执行都正常返回结果。
area: 200
perim: 60
area: 200
perim: 60
对于r.area()可以调通的背后Go做了什么?
此时r是一个值类型,为了实现调用即使是指针接收类型的area()方法,Go实际是先找到r的地址,然后通过一个指针指向它,即r.area()转化成了(&r).area(),从而满足了area()方法是指针接收者的约束。
对于rp.perim()可以调通的背后Go做了什么?
此时rp是一个指针类型。在调用时,指针被解引用为值,这样便符合perim()方法定义的接收者类型的约束。解引用的过程我们可以认为Go把rp.perim()转化为于(*rp).perim()。但是注意perim()方法是值接收类型,所以操作的是rect的副本。
所以,综上,对于普通方法的调用,不管接收者是值类型还是指针类型,调用者是值类型还是指针类型,都可以调通。
上面是针对纯粹的方法而言的,如果在接口的背景下,情况是否一致呢?
type geometry interface {
area() float64
perim() float64
} type rect struct {
width, height float64
} type circle struct {
radius float64
} func (r rect) area() float64 {
return r.width * r.height
} func (r rect) perim() float64 {
return 2*r.width + 2*r.height
} func (c circle) area() float64 {
return math.Pi * c.radius * c.radius
} func (c *circle) perim() float64 {
return 2 * math.Pi * c.radius
} func measure(g geometry) {
fmt.Println(g)
fmt.Println(g.area())
fmt.Println(g.perim())
} func main() {
r := rect{width: 3, height: 4}
c := circle{radius: 5} measure(r)
measure(c)
}
这段的代码与上面的唯一不同的地方在于将perim接收者类型由circle改为了*circle类型,导致在运行程序时报错
# command-line-arguments
main/src/examples/interfaces.go:48:9: cannot use c (type circle) as type geometry in argument to measure:
circle does not implement geometry (perim method has pointer receiver)
意思是说circle没有实现geometry接口。
如果反过来
type geometry interface {
area() float64
perim() float64
} type rect struct {
width, height float64
} type circle struct {
radius float64
} func (r rect) area() float64 {
return r.width * r.height
} func (r rect) perim() float64 {
return 2*r.width + 2*r.height
} func (c circle) area() float64 {
return math.Pi * c.radius * c.radius
} func (c *circle) perim() float64 {
return 2 * math.Pi * c.radius
} func measure(g geometry) {
fmt.Println(g)
fmt.Println(g.area())
fmt.Println(g.perim())
} func main() {
r := &rects1{width: 3, height: 4}
c := &circle{radius: 5} measure(r)
measure(c)
}
此时调用一切正常。
所以对比看下来发现,对于值接收者,传如值或者指针都可以正常调用;对于指针接收者,则只能传入指针类型,否则会报未实现接口的错误。
关于原理,我看了很多说法
说法一
"对于指针类型,Go会自动转换,因为有了指针总是能得到指针指向的值是什么,如果是 value 调用,go 将无从得知 value 的原始值是什么,因为 value 是份拷贝。go 会把指针进行隐式转换得到 value,但反过来则不行。 "
说法二
"当实现一个接收者是值类型的方法,就可以自动生成一个接收者是对应指针类型的方法,因为两者都不会影响接收者。但是,当实现了一个接收者是指针类型的方法,如果此时自动生成一个接收者是值类型的方法,原本期望对接收者的改变(通过指针实现),现在无法实现,因为值类型会产生一个拷贝,不会真正影响调用者。"
但是这两种说法我觉得还是没有真正说到原理上,也可能是我没有理解。
在前面不涉及到接口的单纯方法的值接收者和指针接收者,使用值或者指针调用都是可以的,因为Go会在底层做这个类型转换。但是在接口这个背景下,如果方法有指针类型接收类型,则只能传指针类型,可能还是和Go的接口底层实现有关。如果大家有自己的理解,欢迎指教。
今天主要介绍了Go语言中的接口的定义和实现以及如何使用,还有一些小知识点比如空interface的作用和使用就不再赘述。
如果您觉得阅读本文对您有帮助,请点一下“推荐”按钮,您的“推荐”将是我最大的写作动力!如果您想持续关注我的文章,请扫描二维码,关注JackieZheng的微信公众号,我会将我的文章推送给您,并和您一起分享我日常阅读过的优质文章。
Go语言入门——interface的更多相关文章
- PBFT概念与Go语言入门(Tendermint基础)
Tendermint作为当前最知名且实用的PBFT框架,网上资料并不很多,而实现Tendermint和以太坊的Go语言,由于相对小众,也存在资料匮乏和模糊错漏的问题.本文简单介绍PBFT概念和Go语言 ...
- 一.OC基础之:1,OC语言的前世今生 ,2,OC语言入门,3,OC语言与C的差异,4,面向对象,5,类和对象的抽象关系,6,类的代码创建,7,类的成员组成及访问
1,OC语言的前世今生 , 一, 在20世纪80年代早期,布莱德.麦克(Brad Cox)设计了OC语言,它在C语言的基础上增加了一层,这意味着对C进行了扩展,从而创造出一门新的程序设计语言,支持对象 ...
- Go 语言入门(二)方法和接口
写在前面 在学习 Go 语言之前,我自己是有一定的 Java 和 C++ 基础的,这篇文章主要是基于A tour of Go编写的,主要是希望记录一下自己的学习历程,加深自己的理解 Go 语言入门(二 ...
- 《JavaScript语言入门教程》记录整理:面向对象
目录 面向对象编程 实例对象与 new 命令 this关键字 对象的继承 Object对象的方法 严格模式(strict mode) 本系列基于阮一峰老师的<JavaScrip语言入门教程> ...
- 【Go语言入门系列】(八)Go语言是不是面向对象语言?
[Go语言入门系列]前面的文章: [Go语言入门系列](五)指针和结构体的使用 [Go语言入门系列](六)再探函数 [Go语言入门系列](七)如何使用Go的方法? 1. Go是面向对象的语言吗? 在[ ...
- 【Go语言入门系列】(九)写这些就是为了搞懂怎么用接口
[Go语言入门系列]前面的文章: [Go语言入门系列](六)再探函数 [Go语言入门系列](七)如何使用Go的方法? [Go语言入门系列](八)Go语言是不是面向对象语言? 1. 引入例子 如果你使用 ...
- 浅析Go语言的Interface机制
前几日一朋友在学GO,问了我一些interface机制的问题.试着解释发现自己也不是太清楚,所以今天下午特意查了资料和阅读GO的源码(基于go1.4),整理出了此文.如果有错误的地方还望指正. GO语 ...
- 踢爆IT劣书出版黑幕——由清华大学出版社之《C语言入门很简单》想到的(1)
1.前言与作者 首先声明,我是由于非常偶然的机会获得<C语言入门很简单>这本书的,绝对不是买的.买这种书实在丢不起那人. 去年这书刚出版时,在CU论坛举行试读推广,我当时随口说了几句(没说 ...
- 我为什么反对推荐新人编程C/C++语言入门?
虽然我接触编程以及计算机时间比较早,但是正式打算转入程序员这个行当差不多是大学第四年的事情 从03年接触计算机,07年开始接触计算机编程, 期间接触过的技术包括 缓冲区溢出(看高手写的shellcod ...
随机推荐
- .Net反射-TypeDescriptor
.Net中提供了两种方式访问类型的元数据:System.Reflection命名空间中提供的反射API和TypeDescriptor类.反射适用于所有类型的常规机制,它为类型返回的信息是不可扩展的,因 ...
- Scrapy笔记11- 模拟登录
Scrapy笔记11- 模拟登录 有时候爬取网站的时候需要登录,在Scrapy中可以通过模拟登录保存cookie后再去爬取相应的页面.这里我通过登录github然后爬取自己的issue列表来演示下整个 ...
- 异常DBG_PRINTEXCEPTION_C(0x40010006)和DBG_PRINTEXCEPTION_WIDE_C(0x4001000A)
简介 DBG_PRINTEXCEPTION_C,代码0x40010006:DBG_PRINTEXCEPTION_WIDE_C,代码0x4001000A:在调试器的控制台窗口打印异常信息/调试信息.它定 ...
- SpringBoot配置文件加载位置与优先级
1. 项目内部配置文件 spring boot 启动会扫描以下位置的application.properties或者application.yml文件作为Spring boot的默认配置文件 –fil ...
- ESA2GJK1DH1K基础篇: 关于各大物联网平台的MQTT通信
前言 这节稍微唠叨点 其实我很长时间都没有出怎么连接现成的物联网平台的教程, 一直写的是教给大家自己搭建服务器,主要原因是因为我感觉连接现有的学不到东西. 现在出这种教程,是因为发现确实很多人喜欢用. ...
- 爬虫之selenium模块chrome版本映射表
驱动及版本对应关系如下: 驱动下载路径见底部: chromedriver版本 支持的Chrome版本v2.43 v69-71v2.42 v68-70v2.41 v67-69v2.40 v66-68v2 ...
- 项目中常用的js方法封装---自留
1.输入一个值,返回其数据类型 type = para => { return Object.prototype.toString.call(para).slice(8,-1) } 2.冒泡排序 ...
- 安装Visual Studio IntelliCode提供代码智能提示AI
The Visual Studio IntelliCode extension provides AI-assisted development features for Python, TypeSc ...
- 关于sg函数的一些证明
复习csp2019的时候稍微看了看博弈论,发现自己对于sg函数的理解完全不到位 有些定义甚至想都没想过 于是就口胡了一篇blog来安慰虚弱的自己 Question 1 对于一个满足拓扑性质的公平组合游 ...
- requests.session()会话保持
可能大家对session已经比较熟悉了,也大概了解了session的机制和原理,但是我们在做爬虫时如何会运用到session呢,就是接下来要讲到的会话保持. 首先说一下,为什么要进行会话保持的操作? ...