test(aot): 添加接口类型命中测试用例

- 创建了 Quackable 接口定义
- 实现了 Duck 和 Person 两个类来实现接口
- 添加了 makeItQuack 函数进行类型验证
- 编写了 main 函数测试接口调用行为
- 验证了不同实现类的多态性表现
- 确保接口类型检查功能正常工作
pull/1/head
韩天峰 3 months ago
parent 0647b6425a
commit 1f479b52d0
  1. 33
      tests/aot/type_hits/interface.phpt

@ -0,0 +1,33 @@
--TEST--
type hits
--FILE--
<?php
interface Quackable {
public function quack(): void;
}
class Duck implements Quackable {
public function quack(): void {
echo "Quack!\n";
}
}
class Person implements Quackable {
public function quack(): void {
echo "I'm imitating a duck!\n";
}
}
function makeItQuack(Quackable $thing): void {
$thing->quack();
}
function main()
{
makeItQuack(new Duck());
makeItQuack(new Person());
}
?>
--EXPECT--
Quack!
I'm imitating a duck!
Loading…
Cancel
Save