两万字深入解密 Go
Go 语言的接口的原理是什么？是如何使用？它和C++接口有什么异同呢？本文作者用两万多字深入一一为你讲述Go语言interface的那些事儿。
作者 | 饶全成
责编 | 伍杏玲
这篇文章的架构比较简单，直接抛出 10 个问题，一一解答。
Go 语言与鸭子类型的关系
先直接来看维基百科里的定义：
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 中，定义一个这样的函数：
defhello_world(coder):
coder.say_hello()
当调用此函数的时候，可以传入任意类型，只要它实现了 say_hello() 函数就可以。如果没有实现，运行过程中会出现错误。
而在静态语言如 Java、C++ 中，必须要显示地声明实现了某个接口，之后，才能用在任何需要这个接口的地方。如果你在程序中调用 hello_world 函数，却传入了一个根本就没有实现 say_hello() 的类型，那在编译阶段就不会通过。这也是静态语言比动态语言更安全的原因。
动态语言和静态语言的差别在此就有所体现。静态语言在编译期间就能发现类型不匹配的错误，不像动态语言，必须要运行到那一行代码才会报错。插一句，这也是我不喜欢用 Python 的一个原因。当然，静态语言要求程序员在编码阶段就要按照规定来编写程序，为每个变量规定数据类型，这在某种程度上，加大了工作量，也加长了代码量。动态语言则没有这些要求，可以让人更专注在业务上，代码也更短，写起来更快，这一点，写Python 的同学比较清楚。
Go 语言作为一门现代静态语言，是有后发优势的。它引入了动态语言的便利，同时又会进行静态语言的类型检查，写起来是非常 Happy 的。Go 采用了折中的做法：不要求类型显示地声明实现了某个接口，只要实现了相关的方法即可，编译器就能检测到。
来看个例子：
先定义一个接口，和使用此接口作为参数的函数：
typeIGreeting interface{
sayHello()
}
funcsayHello(i IGreeting){
i.sayHello()
}
再来定义两个结构体：
typeGo struct{} func(g Go)sayHello(){ fmt.Println( "Hi, I am GO!")} typePHP struct{} func(p PHP)sayHello(){ fmt.Println( "Hi, I am PHP!")}
最后，在 main 函数里调用 sayHello() 函数：
funcmain(){ 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 类型，这也是静态语言的类型检查功能。