Duck typing:

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

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

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

回到编程:

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

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

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

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

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

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

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

用鸭子打字技术的树遍历

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=" ")

我知道我没有给出一个笼统的答案。在Ruby中，我们不声明变量或方法的类型——所有东西都是某种类型的对象。 规则是"类不是类型"

在Ruby中，类从来都不是(好吧，几乎从来都不是)类型。相反，对象的类型更多地由该对象可以做什么来定义。在Ruby中，我们称之为duck typing。如果一个对象像鸭子一样走路，像鸭子一样说话，那么解释器很乐意把它当作鸭子来对待。

例如，您可能正在编写一个例程，将歌曲信息添加到字符串中。如果你有c#或Java背景，你可能会这样写:

def append_song(result, song)
    # test we're given the right parameters 
    unless result.kind_of?(String)
        fail TypeError.new("String expected") end
    unless song.kind_of?(Song)
        fail TypeError.new("Song expected")
end

result << song.title << " (" << song.artist << ")" end
result = ""

append_song(result, song) # => "I Got Rhythm (Gene Kelly)"

采用Ruby的鸭子输入，您可以编写一些简单得多的东西:

def append_song(result, song)
    result << song.title << " (" << song.artist << ")"
end

result = ""
append_song(result, song) # => "I Got Rhythm (Gene Kelly)"

你不需要检查参数的类型。如果它们支持<<(在结果的情况下)或标题和艺术家(在歌曲的情况下)，一切都会正常工作。如果没有，你的方法无论如何都会抛出一个异常(就像你检查了类型一样)。但如果没有检查，你的方法突然变得灵活多了。你可以向它传递一个数组、一个字符串、一个文件或任何其他使用<<追加的对象，它就可以工作了。

Duck typing:

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

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

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

回到编程:

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

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

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

鸭子打字不是类型提示!

基本上，为了使用“duck typing”，你不会针对特定的类型，而是通过使用公共接口来针对更广泛的子类型(不是谈论继承，当我指的子类型时，我指的是适合相同配置文件的“事物”)。

你可以想象一个存储信息的系统。为了读写信息，你需要某种存储空间和信息。

存储类型可以是:文件、数据库、会话等。

无论存储类型是什么，该接口都会让您知道可用的选项(方法)，这意味着在这一点上什么都没有实现!换句话说，接口不知道如何存储信息。

每个存储系统都必须通过实现接口的相同方法来知道接口的存在。

interface StorageInterface
{
   public function write(string $key, array $value): bool;
   public function read(string $key): array;
}


class File implements StorageInterface
{
    public function read(string $key): array {
        //reading from a file
    }

    public function write(string $key, array $value): bool {
         //writing in a file implementation
    }
}


class Session implements StorageInterface
{
    public function read(string $key): array {
        //reading from a session
    }

    public function write(string $key, array $value): bool {
         //writing in a session implementation
    }
}


class Storage implements StorageInterface
{
    private $_storage = null;

    function __construct(StorageInterface $storage) {
        $this->_storage = $storage;
    }

    public function read(string $key): array {
        return $this->_storage->read($key);
    }

    public function write(string $key, array $value): bool {
        return ($this->_storage->write($key, $value)) ? true : false;
    }
}

所以现在，每次你需要写/读信息时:

$file = new Storage(new File());
$file->write('filename', ['information'] );
echo $file->read('filename');

$session = new Storage(new Session());
$session->write('filename', ['information'] );
echo $session->read('filename');

在这个例子中，你最终在存储构造函数中使用Duck Typing:

function __construct(StorageInterface $storage) ...

希望能有所帮助;)