20.11.1 类型萃取简介