20.11.2 类型萃取范例