分享
这是一个创建于 的文章,其中的信息可能已经有所发展或是发生改变。
Go 语言是哪一种?
编程语言具有类型概念 - 布尔类型,字符串,整型或者被称为类或者结构体的更加复杂的结构。根据如何将类型解析并赋值给各种构造(例如变量,表达式,函数,函数参数等),编程语言可以归类为鸭子类型,结构化类型或标称类型。
本质上,分类决定了对象如何被解析并推断为具体的类型。
**鸭子类型语言**使用鸭子测试来评估对象是否可以被解析为特定的类型。鸭子测试表示:
> 如果它看起来像鸭子,像鸭子一样游泳,像鸭子一样嘎嘎叫,那它很可能就是鸭子。
**我将使用 Go 语言语法来解释这些想法 - 将这些示例作为伪代码阅读 - 它与 Go 语言规则无关*
以下代码片段是鸭子类型语言的示例。因为 Mallard 可以嘎嘎叫,所以它是一只鸭子。
```go
type Mallard struct {
}
func (m Mallard) quack() {
}
func makeDuckQuack(duck Duck) {
duck.quack()
}
func main() {
makeDuckQuack(Mallard{})
}
```
在上面的示例中,Duck 可以是任意类型,它可以是接口或者另一个类型,但是对于 makeDuckQuack 函数而言,唯一的要求就是传递一个可以执行 quack 函数的对象作为参数。
鸭子类型语言通常没有编译期检查。类型的解析和解释发生在运行时 - 这可能导致运行时错误。
例如,以下代码片段可以正常编译,但是由于 *Dog* 类型不支持 *quack()* 函数,会产生运行时错误。
```go
type Dog struct {
}
func (d Dog) bark() {
}
func makeDuckQuack(duck Duck) {
duck.quack()
}
func main() {
makeDuckQuack(Dog{})
}
```
Python 和 Javascript 是流行的鸭子类型语言。
在另一端,**标称类型语言**期望程序员明确地对类型进行调用以供编译器解释。
```go
type Duck interface {
quack()
}
type Mallard struct { //Mallard doesn't implement Duck interface
}
func (m Mallard) quack() {
}
func makeDuckQuack(duck Duck) {
duck.quack()
}
func main() {
makeDuckQuack(Mallard{}) //This will not work as Mallard doesn't explicitly implement Duck.
}
```
在上面的示例中,程序员需要明确地实现 Duck 接口。可以说,显示关系意味着更强的可读性。
明确定义 Marllard 和 Duck 之间的关系也意味着包含 Marllard 结构的包依赖于包含 Duck 结构的包。这可能永远也不是一件好事,并且增加了整个应用程序的复杂性。
标称类型语言主要包括 Java,C++。
结构化类型语言介于两者之间,应用程序员无需明确定义用于解释的类型,但是编译器会进行编译期检测来确保程序的完整性。
```go
type Duck interface {
quack()
}
type Mallard struct { //Mallard doesn't implement Duck interface
}
func (m Mallard) quack() {
}
type Dog struct {
}
func (d Dog) bark() {
}
func makeDuckQuack(duck Duck) {
duck.quack()
}
func main() {
makeDuckQuack(Mallard{}) // Okay
makeDuckQuack(Dog{}) // Not Okay
}
```
在上面的示例中,程序员无需指定 Mallard 是 Duck 类型。语言编译器将 Mallard 解释为 Duck - 因为它具有 quack 函数。但是 Dog 不是一个 Duck,因为 Dog 不具有 quack 函数。
Go 是结构化类型语言。
## 结论
*鸭子类型语言*为程序员提供了最大的灵活性。程序员只需写最少量的代码。但是这些语言可能并不安全,会产生运行时错误。
*标称类型语言*要求程序员显示调用类型,这意味着更多的代码和更少的灵活性(附加的依赖)。
*结构化类型语言*提供了一种平衡,它需要编译期检查,但不需要显示声明依赖。
在使用 Go(结构化类型)编程之前,我主要使用 Java(标称类型)。我喜欢结构化类型语言提供的灵活性,而又不会影响编译期类型安全。
作者:Saurabh Nayar 译者:DoubleLuck 校对:polaris1119
本文由 GCTT 原创翻译,Go语言中文网 首发。也想加入译者行列,为开源做一些自己的贡献么?欢迎加入 GCTT!
翻译工作和译文发表仅用于学习和交流目的,翻译工作遵照 CC-BY-NC-SA 协议规定,如果我们的工作有侵犯到您的权益,请及时联系我们。
欢迎遵照 CC-BY-NC-SA 协议规定 转载,敬请在正文中标注并保留原文/译文链接和作者/译者等信息。
文章仅代表作者的知识和看法,如有不同观点,请楼下排队吐槽
有疑问加站长微信联系(非本文作者))
入群交流(和以上内容无关):加入Go大咖交流群,或添加微信:liuxiaoyan-s 备注:入群;或加QQ群:692541889
关注微信1699 次点击
被以下专栏收入,发现更多相似内容
添加一条新回复
(您需要 后才能回复 没有账号 ?)
- 请尽量让自己的回复能够对别人有帮助
- 支持 Markdown 格式, **粗体**、~~删除线~~、
`单行代码` - 支持 @ 本站用户;支持表情(输入 : 提示),见 Emoji cheat sheet
- 图片支持拖拽、截图粘贴等方式上传