dog:=animal as tdog;
text:=dog.eat;或
(animal as tdog).eat同样可用is
if animal is tdog then
  dog(animal).eat;<<入门到精通上>>比较详细,可以看看。