If it looks like a duck, swims like a duck, and quacks like a duck, then it probably is a duck.
Duck Typing
,鸭子类型,是动态编程语言的一种对象推断策略,它更关注对象能如何被使用,而不是对象的类型本身。Go 语言作为一门静态语言,它通过通过接口的方式完美支持鸭子类型。say_hello()
函数就可以。如果没有实现,运行过程中会出现错误。hello_world
函数,却传入了一个根本就没有实现 say_hello()
的类型,那在编译阶段就不会通过。这也是静态语言比动态语言更安全的原因。python
的一个原因。当然,静态语言要求程序员在编码阶段就要按照规定来编写程序,为每个变量规定数据类型,这在某种程度上,加大了工作量,也加长了代码量。动态语言则没有这些要求,可以让人更专注在业务上,代码也更短,写起来更快,这一点,写 python 的同学比较清楚。golang, php
对象,它们并没有显式地声明实现了 IGreeting 类型,只是实现了接口所规定的 sayHello() 函数。实际上,编译器在调用 sayHello() 函数时,会隐式地将 golang, php
对象转换成 IGreeting 类型,这也是静态语言的类型检查功能。变量绑定的类型是不确定的,在运行期间才能确定 函数和方法可以接收任何类型的参数,且调用时不检查参数类型 不需要实现接口
鸭子类型
,实际上是 Go 的编译器在其中作了隐匿的转换工作。