golang接口

接口简介

golang 中接口是常用的数据结构,接口可以实现like的功能。什么叫like呢?
比如麻雀会飞,老鹰会飞,他们都是鸟,鸟有翅膀可以飞。飞机也可以飞,
飞机就是像鸟一样,like bird, 所以我们可以说飞机,气球,苍蝇都像鸟一样可以飞翔。
但他们不是鸟,那么对比继承的关系,老鹰继承自鸟类,它也会飞,但他是鸟。
先看一个接口定义

type Bird interface {
	Fly() string
}

定义了一个Bird类型的interface, 内部声明了一个Fly方法,参数为空,返回值为string。
接口声明方法和struct不同,接口的方法写在interface中,并且不能包含func和具体实现。
另外interface内部不能声明成员变量。
下面去实现蝴蝶类和飞机类,实现like-bird的功能。像鸟一样飞。

type Plane struct {
	name string
}

func (p *Plane) Fly() string {
	fmt.Println(p.name, " can fly like a bird")
	return p.name
}

type Butterfly struct {
	name string
}

func (bf *Butterfly) Fly() string {
	fmt.Println(bf.name, " can fly like a bird")
	return bf.name
}

实现了Plane和Butterfly类,并且实现了Fly方法。那么飞机和蝴蝶就可以像鸟一样飞了。
我们在主函数中调用

pl := &Plane{name: "plane"}
pl.Fly()

bf := &Butterfly{name: "butterfly"}
   bf.Fly()

输出如下

plane  can fly like a bird
butterfly  can fly like a bird

有人会问,单独实现Plane和Butterfly不就好了,为什么要和Bird扯上关系呢?
因为接口作为函数形参,可以接受不同的实参类型,只要这些实参实现了接口的方法,
都可以达到动态调用不同实参的方法。

func FlyLikeBird(bird Bird) {
    bird.Fly()
}

下面我们在main函数中调用上面这个函数,传入不同的实参

FlyLikeBird(pl)
FlyLikeBird(bf)

输出如下

plane  can fly like a bird
butterfly  can fly like a bird

这样就是实现了动态调用。有点类似于C++的多态,golang又不是通过继承达到这个效果的,
只要结构体实现了接口的方法就可以转化为接口类型。
golang这种实现机制突破了Java,C++等传统静态语言显式继承的弊端。

接口类型转换和判断

struct类型如果实现了接口方法,可以赋值给对应的接口类型,接口类型同样可以转化为struct类型。
我们再写一个函数,通过该函数内部将bird接口转化为不同的类型,从而打印具体的传入类型。

func GetFlyType(bird Bird) {
	_, ok := bird.(*Butterfly)
	if ok {
		fmt.Println("type is *butterfly")
		return
	}

	_, ok = bird.(*Plane)
	if ok {
		fmt.Println("type is *Plane")
		return
	}

	fmt.Println("unknown type")
}

main函数调用

func main() {
	pl := &Plane{name: "plane"}
    bf := &Butterfly{name: "butterfly"}
	GetFlyType(pl)
    GetFlyType(bf)
}

输出如下

type is *Plane
type is *butterfly

看得出来接口也是可以转化为struct的。
结构体变量, bool类型:=接口类型.(结构体类型)
bool类型为false说明不能转化,true则能转化。

万能接口interface{}

golang 提供了万能接口, 类型为interface{}, 任何具体的结构体类型都能转化为该类型。我们将之前判断类型的例子
稍作修改。定义Human类和Human的Walk方法,然后实现另一个判断函数,参数为interface{}

type Human struct {
}

func (*Human) Walk() {

}

func GetFlyType2(inter interface{}) {
	_, ok := inter.(*Butterfly)
	if ok {
		fmt.Println("type is *butterfly")
		return
	}

	_, ok = inter.(*Plane)
	if ok {
		fmt.Println("type is *Plane")
		return
	}
	_, ok = inter.(*Human)
	if ok {
		fmt.Println("type is *Human")
		return
	}
	fmt.Println("unknown type")
}

在main函数中调用,我们看看结果

func main() {
	pl := &Plane{name: "plane"}
    bf := &Butterfly{name: "butterfly"}
    hu := &Human{}
	GetFlyType2(pl)
    GetFlyType2(bf)
    GetFlyType2(hu)
}

看到输出

type is *Plane
type is *butterfly
type is *Human

.(type)判断具体类型

接口还提供了一个功能,通过.(type)返回具体类型,但是.(type)只能用在switch中。
我们实现另一个版本的类型判断

func GetFlyType3(inter interface{}) {
	switch inter.(type) {
	case *Butterfly:
		fmt.Println("type is *Butterfly")
	case *Plane:
		fmt.Println("type is *Plane")
	case *Human:
		fmt.Println("type is *Human")
	default:
		fmt.Println("unknown type ")
	}
}

main函数中调用这个函数

GetFlyType3(pl)
GetFlyType3(bf)
GetFlyType3(hu)

输出结果如下

type is *Plane
type is *Butterfly
type is *Human

所以.(type)也实现了类型转换

接口转换注意事项

当一个结构体实现了接口的方法,这里仅仅是结构体类型实现了该方法,结构体指针并未实现该方法,他作为实参传递给interface形参时,interface形参可以动态转换判断是否时结构体类型还是结构体指针类型。但是当仅仅结构体指针实现了接口的方法,那interface无法动态转化为结构体类型做判断,编译器会报错。

先看正常的例子

package main

import (
	"fmt"
)

type Bird interface {
	Fly() string
}

type Plane struct {
	Name string
}

func (plane Plane) Fly() string {
	fmt.Println("plane fly")
	return "plane fly"
}

func CheckFly(bird Bird) {
	plane_p, b := bird.(*Plane)
	if b {
		fmt.Println("plane pointer convert success, is ", plane_p)
	}

	plane, b := bird.(Plane)
	if b {
		fmt.Println("plane conver success, is ", plane)
	}
}

func main() {
	plane := Plane{Name: "plane"}
	CheckFly(plane)

	plane_p := &Plane{Name: "plane_p"}
	CheckFly(plane_p)
}

Plane实现了Bird的Fly方法,所以CheckFly的形参bird可以通过转换判断外界传递的具体类型

这是一个关于 Go 语言接口实现的常见误解。实际上,在 Go 中,当一个类型 T 实现了某个接口 I 的所有方法时,类型 *T 也隐式地实现了接口 I,反之亦然。这是因为接口方法的实现是基于方法集的,而方法集的规则允许这种行为。

即使 *Plane 没有直接实现 Fly 方法,由于 Plane 类型通过值接收者实现了 Fly 方法,根据 Go 语言的方法集规则,*Plane 也隐式地实现了 Bird 接口。因此,类型断言可以成功地将 Bird 接口变量转换为 *Plane 类型的指针。

输出如下

plane conver success, is  {plane}
plane pointer convert success, is  &{plane_p}

如果我们只实现了*Plane的Fly,那CheckFly能否在内部做类型转换判断呢

看这个例子

package main

import (
	"fmt"
)

type Bird interface {
	Fly() string
}

type Plane struct {
	Name string
}

func (plane *Plane) Fly() string {
	fmt.Println("plane fly")
	return "plane fly"
}

func CheckFly(bird Bird) {
	plane_p, b := bird.(*Plane)
	if b {
		fmt.Println("plane pointer convert success, is ", plane_p)
	}

	plane, b := bird.(Plane)
	if b {
		fmt.Println("plane conver success, is ", plane)
	}
}

func main() {
	plane := Plane{Name: "plane"}
	CheckFly(plane)

	plane_p := &Plane{Name: "plane_p"}
	CheckFly(plane_p)
}

编译报错

 Plane does not implement Bird (Fly method has pointer receiver)

也就是说当只有结构体指针*Plane实现Fly方法时,外部函数无法通过接口转化为Plane的方式判断是否为Plane类型。

也就是说当我们用结构体指针类型实现接口方法后,interface只能转化为结构体指针类型。结构体指针的转化范围更小。

这个不用过分记忆,我们实际开发中就是通过结构体指针实现方法,interface也转化为结构体指针类型即可。而且结构体指针有很多好处,传递数据只用四字节,外部函数形参为interface可以校验传入的实参是否为指针类型,达到类型检查的目的,更安全。

这样接口基础都介绍完毕了,下一篇介绍接口实现和剖析。

热门评论

热门文章

  1. 聊天项目(28) 分布式服务通知好友申请

    喜欢(507) 浏览(6108)
  2. 使用hexo搭建个人博客

    喜欢(533) 浏览(11929)
  3. Linux环境搭建和编码

    喜欢(594) 浏览(13588)
  4. Qt环境搭建

    喜欢(517) 浏览(24800)
  5. vscode搭建windows C++开发环境

    喜欢(596) 浏览(83744)

最新评论

  1. 处理网络粘包问题 zyouth: //消息的长度小于头部规定的长度,说明数据未收全,则先将部分消息放到接收节点里 if (bytes_transferred < data_len) { memcpy(_recv_msg_node->_data + _recv_msg_node->_cur_len, _data + copy_len, bytes_transferred); _recv_msg_node->_cur_len += bytes_transferred; ::memset(_data, 0, MAX_LENGTH); _socket.async_read_some(boost::asio::buffer(_data, MAX_LENGTH), std::bind(&CSession::HandleRead, this, std::placeholders::_1, std::placeholders::_2, shared_self)); //头部处理完成 _b_head_parse = true; return; } 把_b_head_parse = true;放在_socket.async_read_some前面是不是更好
  2. 构造函数 secondtonone1:构造函数是类的基础知识,要着重掌握
  3. Qt MVC结构之QItemDelegate介绍 胡歌-此生不换:gpt, google
  4. C++ 并发三剑客future, promise和async Yunfei:大佬您好,如果这个线程池中加入的异步任务的形参如果有右值引用,这个commit中的返回类型推导和bind绑定就会出现问题,请问实际工程中,是不是不会用到这种任务,如果用到了,应该怎么解决?
  5. 聊天项目(15) 客户端实现TCP管理者 lkx:已经在&QTcpSocket::readyRead 回调函数中做了处理了的。
  6. 堆排序 secondtonone1:堆排序非常实用,定时器就是这个原理制作的。
  7. 网络编程学习方法和图书推荐 Corleone:啥程度可以找工作
  8. Qt 对话框 Spade2077:QDialog w(); //这里是不是不需要带括号
  9. visual studio配置boost库 一giao里我离giaogiao:请问是修改成这样吗:.\b2.exe toolset=MinGW
  10. 类和对象 陈宇航:支持!!!!
  11. 聊天项目(9) redis服务搭建 pro_lin:redis线程池的析构函数,除了pop出队列,还要free掉redis连接把
  12. 解决博客回复区被脚本注入的问题 secondtonone1:走到现在我忽然明白一个道理,无论工作也好生活也罢,最重要的是开心,即使一份安稳的工作不能给我带来事业上的积累也要合理的舍弃,所以我还是想去做喜欢的方向。
  13. 创建项目和编译 secondtonone1:谢谢支持
  14. 再谈单例模式 secondtonone1:是的,C++11以后返回局部static变量对象能保证线程安全了。
  15. 聊天项目(7) visualstudio配置grpc diablorrr:cmake文件得改一下 find_package(Boost REQUIRED COMPONENTS system filesystem),要加上filesystem。在target_link_libraries中也同样加上
  16. 面试题汇总(一) secondtonone1:看到网络上经常提问的go的问题,做了一下汇总,结合自己的经验给出的答案,如有纰漏,望指正批评。
  17. protobuf配置和使用 熊二:你可以把dll放到系统目录,也可以配置环境变量,还能把dll丢到lib里
  18. 无锁并发队列 TenThousandOne:_head  和 _tail  替换为原子变量。那里pop的逻辑,val = _data[h] 可以移到循环外面吗
  19. string类 WangQi888888:确实错了,应该是!isspace(sind[index]). 否则不进入循环,还是原来的字符串“some string”
  20. 答疑汇总(thread,async源码分析) Yagus:如果引用计数为0,则会执行 future 的析构进而等待任务执行完成,那么看到的输出将是 这边应该不对吧,std::future析构只在这三种情况都满足的时候才回block: 1.共享状态是std::async 创造的(类型是_Task_async_state) 2.共享状态没有ready 3.这个future是共享状态的最后一个引用 这边共享状态类型是“_Package_state”,引用计数即使为0也不应该block啊
  21. 利用栅栏实现同步 Dzher:作者你好!我觉得 std::thread a(write_x); std::thread b(write_y); std::thread c(read_x_then_y); std::thread d(read_y_then_x); 这个例子中的assert fail并不会发生,原子变量设定了非relaxed内存序后一个线程的原子变量被写入,那么之后的读取一定会被同步的,c和d线程中只可能同时发生一个z++未执行的情况,最终z不是1就是2了,我测试了很多次都没有assert,请问我这个观点有什么错误,谢谢!
  22. boost::asio之socket的创建和连接 项空月:发现一些错别字 :每隔vector存储  是不是是每个. asio::mutable_buffers_1 o或者    是不是多打了个o
  23. interface应用 secondtonone1:interface是万能类型,但是使用时要转换为实际类型来使用。interface丰富了go的多态特性,也降低了传统面向对象语言的耦合性。

个人公众号

个人微信