GoLang之Go 语言与鸭子类型的关系(1)

直接来看维基百科里的定义：

If it looks like a duck, swims like a duck, and quacks like a duck, then it probably is a duck.

翻译过来就是：如果某个东西长得像鸭子，像鸭子一样游泳，像鸭子一样嘎嘎叫，那它就可以被看成是一只鸭子。

Duck Typing，鸭子类型，是动态编程语言的一种对象推断策略，它更关注对象能如何被使用，而不是对象的类型本身。Go 语言作为一门静态语言，它通过通过接口的方式完美支持鸭子类型。

例如，在动态语言 python 中，定义一个这样的函数：

def hello_world(coder):coder.say_hello()

当调用此函数的时候，可以传入任意类型，只要它实现了 say_hello() 函数就可以。如果没有实现，运行过程中会出现错误。

而在静态语言如 Java, C++ 中，必须要显示地声明实现了某个接口，之后，才能用在任何需要这个接口的地方。如果你在程序中调用 hello_world 函数，却传入了一个根本就没有实现 say_hello() 的类型，那在编译阶段就不会通过。这也是静态语言比动态语言更安全的原因。

动态语言和静态语言的差别在此就有所体现。静态语言在编译期间就能发现类型不匹配的错误，不像动态语言，必须要运行到那一行代码才会报错。插一句，这也是我不喜欢用 python 的一个原因。当然，静态语言要求程序员在编码阶段就要按照规定来编写程序，为每个变量规定数据类型，这在某种程度上，加大了工作量，也加长了代码量。动态语言则没有这些要求，可以让人更专注在业务上，代码也更短，写起来更快，这一点，写 python 的同学比较清楚。

Go 语言作为一门现代静态语言，是有后发优势的。它引入了动态语言的便利，同时又会进行静态语言的类型检查，写起来是非常 Happy 的。Go 采用了折中的做法：不要求类型显示地声明实现了某个接口，只要实现了相关的方法即可，编译器就能检测到。

来看个例子：

先定义一个接口，和使用此接口作为参数的函数：

type IGreeting interface {sayHello()
}func sayHello(i IGreeting) {i.sayHello()
}

再来定义两个结构体：

type Go struct {}
func (g Go) sayHello() {fmt.Println("Hi, I am GO!")
}type PHP struct {}
func (p PHP) sayHello() {fmt.Println("Hi, I am PHP!")
}

最后，在 main 函数里调用 sayHello() 函数：

func main() {golang := Go{}php := PHP{}sayHello(golang)sayHello(php)
}

程序输出：

Hi, I am GO!
Hi, I am PHP!

在 main 函数中，调用调用 sayHello() 函数时，传入了 golang, php 对象，它们并没有显式地声明实现了 IGreeting 类型，只是实现了接口所规定的 sayHello() 函数。实际上，编译器在调用 sayHello() 函数时，会隐式地将 golang, php 对象转换成 IGreeting 类型，这也是静态语言的类型检查功能。

顺带再提一下动态语言的特点：

变量绑定的类型是不确定的，在运行期间才能确定
函数和方法可以接收任何类型的参数，且调用时不检查参数类型
不需要实现接口

总结一下，鸭子类型是一种动态语言的风格，在这种风格中，一个对象有效的语义，不是由继承自特定的类或实现特定的接口，而是由它"当前方法和属性的集合"决定。Go 作为一种静态语言，通过接口实现了 鸭子类型，实际上是 Go 的编译器在其中作了隐匿的转换工作。

参考资料

【wikipedia】https://en.wikipedia.org/wiki/Duck_test

【Golang 与鸭子类型，讲得比较好】https://blog.csdn.net/cszhouwei/article/details/33741731

【各种面向对象的名词】https://cyent.github.io/golang/other/oo/

【多态、鸭子类型特性】https://www.jb51.net/article/116025.htm

【鸭子类型、动态静态语言】https://www.jianshu.com/p/650485b78d11

GoLang之Go 语言与鸭子类型的关系(1)相关推荐

python鸭制作类代码_Python动态语言与鸭子类型详解
今天来说说编程语言中的动态类型语言与鸭子类型. 动态语言维基百科对动态语言的定义: 动态编程语言是一类在运行时可以改变其结构的语言:例如新的函数.对象.甚至代码可以被引进,已有的函数可以被删除或是其 ...
动态类型语言和鸭子类型
面向对象的JavaScript 学过JavaScript的人都知道,JavaScript是通过原型委托的方式来实现对象和对象之间的继承,和传统面向对象编程语言(例如Java.C++)的类继承有一些 ...
go语言设计理念——鸭子类型
一.鸭子类型符合golang设计理念的鸭子类型 1.设计 package consulimport ("fmt""github.com/hashicorp/consul ...
Python 语言中的 “鸭子类型”
Python 语言中的 "鸭子类型" 继承多态鸭子类型不要检查它是不是鸭子.它的叫声像不像鸭子.它的走路姿势像不像鸭子,等等.具体检查什么取决于你想使用语言的哪些行为.(co ...
【Python】浅谈鸭子类型 (Duck Typing)
目录一.来源二.说明三.举例四.不足一.来源在程序设计中,鸭子类型 (duck typing) 是动态类型的一种风格.在此风格中,一个对象有效的语义,不是由继承自特定的类或实现特定的接口, ...
python 鸭子类型及三大特性
python 中一切皆对象. 先说说面向对象语言三大特性:封装.继承.多态. 1.封装分两个层面第一层面:创建类和对象时,分别创建两人者的名称空间,只能通过类名加"."或者ob ...
Python笔记 · 鸭子类型 / Duck Typing
1. 问题的由来我初次意识到鸭子类型的存在是在学习Sklearn时,在<Hands-On Machine Learing>一书的第二章,作者提供了一个自定义的Tansformer,使用自 ...
python鸭子类型
python鸭子类型 python不支持多态,也不用支持多态,而是一种多态的语言. 鸭子类型(duck typing):是动态类型的一种风格,不是由继承特定的类或实现特定的接口,而是当前的方法和属性的 ...
java实现鸭子类型_鸭子类型和多态
鸭子类型与多态内容鸭子类型和多态抽象基类(abc模块) 使用isinstance和type的区别类属性和实例属性类属性和实例属性查找顺序 Python对象的自省机制 super函数鸭子类型 ...
java实现鸭子类型,Golang的interface及duck typing鸭子类型
Golang的interface及duck typing鸭子类型 "当看到一只鸟走起来像鸭子.游泳起来像鸭子.叫起来也像鸭子,那么这只鸟就可以被称为鸭子." 意思就是: 一个东西究 ...

GoLang之Go 语言与鸭子类型的关系(1)

文章目录

GoLang之Go 语言与鸭子类型的关系(1)

GoLang之Go 语言与鸭子类型的关系(1)相关推荐

最新文章

热门文章