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

例如，在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看起来不像鸭子，也不嘎嘎叫，因此不是一只鸭子!

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

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

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

用鸭子打字技术的树遍历

def traverse(t):
    try:
        t.label()
    except AttributeError:
        print(t, end=" ")
    else:
        # Now we know that t.node is defined
        print('(', t.label(), end=" ")
        for child in t:
            traverse(child)
        print(')', end=" ")

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

维基百科有相当详细的解释:

http://en.wikipedia.org/wiki/Duck_typing

鸭子打字是一种动态的风格 输入一个对象的电流 方法和属性集 而是确定有效的语义 比它从一个特定的继承 类的实现 接口。

重要的是，使用duck类型时，开发人员可能更关心被使用的对象部分，而不是实际的底层类型是什么。