变量的编译时类型和运行时类型