Duck typing 意味着一个操作没有正式指定其操作数必须满足的要求，而只是使用给定的条件进行尝试。

与其他人所说的不同，这并不一定与动态语言或继承问题有关。

示例任务:在对象上调用某个方法Quack。

如果不使用duck-typing，执行此任务的函数f必须事先指定其参数必须支持某种方法Quack。常用的方法是使用接口

interface IQuack { 
    void Quack();
}

void f(IQuack x) { 
    x.Quack(); 
}

调用f(42)失败，但f(donald)工作，只要donald是一个iquack子类型的实例。

另一种方法是结构类型—但同样，方法Quack()是正式指定的，任何不能提前证明它是嘎嘎作响的东西都会导致编译器失败。

def f(x : { def Quack() : Unit }) = x.Quack() 

我们甚至可以写成

f :: Quackable a => a -> IO ()
f = quack

在Haskell中，Quackable类型类确保了方法的存在。

---

So how does **duck typing** change this?

好吧，正如我所说的，duck输入系统不指定需求，而只是尝试任何可行的方法。

因此，像Python这样的动态类型系统总是使用duck类型:

def f(x):
    x.Quack()

如果f得到一个支持Quack()的x，一切正常，否则，它将在运行时崩溃。

但是鸭子类型并不意味着动态类型——事实上，有一种非常流行但完全静态的鸭子类型方法，它也没有给出任何要求:

template <typename T>
void f(T x) { x.Quack(); } 

该函数没有以任何方式告诉它想要某个可以Quack的x，所以它只是在编译时尝试，如果一切正常，就没问题。

我认为把动态类型、静态类型和鸭子类型混在一起很容易混淆。Duck typing是一个独立的概念，即使是像Go这样的静态类型语言，也可以有一个实现Duck typing的类型检查系统。如果类型系统检查(已声明的)对象的方法而不检查类型，则可以将其称为duck类型语言。

在duck类型中，对象的适用性(例如，在函数中使用)取决于是否实现了某些方法和/或属性，而不是基于该对象的类型。

例如，在Python中，len函数可用于任何实现__len__方法的对象。它并不关心该对象是否属于特定类型，例如字符串、列表、字典或MyAwesomeClass，只要这些对象实现了__len__方法，len将与它们一起工作。

class MyAwesomeClass:
    def __init__(self, str):
        self.str = str
    
    def __len__(self):
        return len(self.str)

class MyNotSoAwesomeClass:
    def __init__(self, str):
        self.str = str

a = MyAwesomeClass("hey")
print(len(a))  # Prints 3

b = MyNotSoAwesomeClass("hey")
print(len(b))  # Raises a type error, object of type "MyNotSoAwesomeClass" has no len()

换句话说，MyAwesomeClass看起来像鸭子，也像鸭子一样嘎嘎叫，因此是一只鸭子，而MyNotSoAwesomeClass看起来不像鸭子，也不嘎嘎叫，因此不是一只鸭子!

“鸭子打字”这个词是一个谎言。

“走路像鸭子，叫起来像鸭子，那就是鸭子”这句俗语在这里一次又一次地被重复着。

但这并不是鸭子打字(或者我们通常所说的鸭子打字)的意思。所有我们正在讨论的鸭子打字，是试图强制命令的东西。看看有什么东西是不是嘎嘎叫，不管它说什么。但是并没有推论出这个物体是不是鸭子。

For true duck typing, see type classes. Now that follows the idiom “If it walks like a duck and quacks like a duck then it is a duck.". With type classes, if a type implements all the methods that are defined by a type class, it can be considered a member of that type class (without having to inherit the type class). So, if there is a type class Duck which defines certain methods (quack and walk-like-duck), anything that implements those same methods can be considered a Duck (without needing to inherit Duck).

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()

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

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

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

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

维基百科有更多的信息。