Duck Typing:

let anAnimal 

if (some condition) 
  anAnimal = getHorse()
else
  anAnimal = getDog()

anAnimal.walk()

上述函数调用在结构类型中无效

以下将适用于结构类型:

IAnimal anAnimal

if (some condition) 
      anAnimal = getHorse()
    else
      anAnimal = getDog()
    
anAnimal.walk()

这就是所有的，我们中的许多人已经直观地知道鸭子打字。

马特·达蒙解释了《心灵捕手》中的鸭子打字

笔录如下:这里有视频链接。

好吧，我们会有问题吗?

克拉克:没问题。我只是希望你能告诉我鸭子打字到底是什么?我的观点是，鸭系没有很好的定义，也不强

WILL: [interrupting] …and neither is strong typing. Of course that's your contention. You're a first year grad student: you just got finished reading some article on duck typing, probably on StackOverflow, and you’re gonna be convinced of that until next month when you get to the Gang of Four, and then you’re gonna be talking about how Google Go and Ocaml are statistically typed languages with structural sub-tying construction. That's going to last until next year, till you're probably gonna be in here regurgitating Matz, talkin’ about, you know, the Pre-Ruby 3.0 utopia and the memory allocating effects of sub-typing on the GC.

克拉克:(吓了一跳)事实上我不会，因为马茨大大低估了——的影响

WILL:“Matz极大地低估了Ruby 3.0的GC对性能的影响。你是从Donald Knuth的《计算机编程艺术》第98页学到的，对吧?是的，我也读过。你打算为我们剽窃整篇文章吗——你对这件事有什么想法吗?或者，这是你的做法吗，你进入堆栈溢出，你读了r/ruby上一些晦涩的段落，然后你假装，你把它当作你自己的——你自己的想法，只是为了取悦一些女孩，让我的朋友难堪?

[克拉克惊呆了]

威尔:像你这样的人最可悲的是，50年后你会开始自己思考，你会发现生活中有三件事是肯定的。第一，不要那样做。第二，如果它走路像鸭子，那它就是鸭子。第三，你花了十五万美元接受本·科西本可以零美分就能得到的教育。

克拉克:是的，但我会有学位，而你会在我们去滑雪的路上，在汽车餐厅给我的孩子们提供一些廉价的html。

威尔:(微笑)也许吧。但至少我不会没有创意。

(打)

威尔:你遇到了(代码的出现)问题?我想我们可以出去谈谈。

克拉克:没问题

一段时间后:

威尔:你喜欢苹果吗?

克拉克说，嗯?

威尔:你觉得这些苹果怎么样?(砰:威尔把一封信重重地贴在窗户上。)我要谷歌的报价!(出示克拉克的录取通知书，上面有他的面试答案:一张鸭子走路、说话、表现得像一只……鹅)。

不必再说

最后。

(这是对旧答案的一个脚注:)

它是一个用于没有强类型的动态语言中的术语。

其思想是，为了调用对象上的现有方法，您不需要指定类型——如果在对象上定义了方法，则可以调用它。

这个名字来源于一句话“如果它看起来像鸭子，叫起来像鸭子，那它就是鸭子”。

维基百科有更多的信息。

Duck typing:

如果它像鸭子一样说话和走路，那么它就是一只鸭子

这通常被称为诱拐(诱拐推理或也称为归纳，我认为一个更清晰的定义):

从C(结论，我们所看到的)和R(规则，我们所知道的)，我们接受/决定/假设P(前提，属性)，换句话说，一个给定的事实 ．.． 医学诊断的基础 和鸭子:C =走路，说话，R =像鸭子，P =它是一只鸭子

回到编程:

对象o有方法/属性mp1和接口/类型T 要求/定义mp1 对象o有方法/属性mp2，接口/类型T要求/定义mp2 .．.

因此，不仅仅是简单地接受mp1…在任何对象上，只要它满足mp1的某些定义…，编译器/运行时也应该接受断言o是类型T

上面的例子是这样的吗?Duck输入实质上就是没有输入吗?或者我们应该称之为隐式类型?

我试着用自己的方式去理解这句名言: “Python并不关心对象是否是真正的鸭子。 它只关心这个物体，首先‘呱呱’，其次‘像鸭子一样’。”

有一个很好的网站。http://www.voidspace.org.uk/python/articles/duck_typing.shtml#id14

作者指出，鸭子类型允许您创建自己的类 它们自己的内部数据结构-但使用正常的Python语法访问。

Duck Typing:

let anAnimal 

if (some condition) 
  anAnimal = getHorse()
else
  anAnimal = getDog()

anAnimal.walk()

上述函数调用在结构类型中无效

以下将适用于结构类型:

IAnimal anAnimal

if (some condition) 
      anAnimal = getHorse()
    else
      anAnimal = getDog()
    
anAnimal.walk()

这就是所有的，我们中的许多人已经直观地知道鸭子打字。