中运行时根据联合类型检查变量

中运行时根据联合类型检查变量