向变量和常量声明添加显式类型。