变量类型存储足够的信息, 暂时不预分析
更新说明
一些修正
原始文件
正在整理