小绒毛的足迹

类型选择 是一种按顺序从几个类型断言中选择分支的结构。