静态类型变量声明用于向编译器提供在给定类型和名称中存在一个变量的保证，以便编译器无需了解有关变量的完整细节以进行进一步处理。变量声明只有在编译时才有意义，编译器在链接程序时需要实际的变量声明。