型解析