PHP7中object类型如何使用？

<?php

class Dog {
    public $name;
    public function __construct($name) {
        $this->name = $name;
    }
    public function bark() {
        echo "Woof! My name is " . $this->name . "\n";
    }
}

class Cat {
    public $name;
    public function __construct($name) {
        $this->name = $name;
    }
    public function meow() {
        echo "Meow! My name is " . $this->name . "\n";
    }
}

$animal1 = new Dog("Buddy");
$animal2 = new Cat("Whiskers");

$animals = [$animal1, $animal2];

foreach ($animals as $animal) {
    //  这儿就体现了object类型的灵活性，但同时也是危险的开始
    if ($animal instanceof Dog) {
        $animal->bark();
    } elseif ($animal instanceof Cat) {
        $animal->meow();
    } else {
        echo "Unknown animal!\n"; //  类型检查是关键！
    }
}


//  更高级一点的用法，利用类型提示（PHP7.0以后才有的好东西）
function pet(object $animal): void {
    if ($animal instanceof Dog) {
      $animal->bark();
    } elseif ($animal instanceof Cat) {
      $animal->meow();
    } else {
        echo "I don't know this animal!\n";
    }
}

pet($animal1);
pet($animal2);

//  错误示范：缺乏类型检查的后果
//  $animal1->meow(); //  这行代码会报错，因为Dog类没有meow方法！

?>