静态类型

静态类型是一种编程语言特性，它在编译时进行类型检查。在静态类型语言中，变量的类型在编译时就确定下来，并且在程序执行期间保持不变。这意味着在编译时，编译器会检查变量的类型是否与其在程序中使用的方式相匹配。