类型检查（Type Casting）补充遗漏的范例代码