解说.在大多数的编程语言中，所有值都有一个类型，它描述特定值的数据种类。在一些语言中，表达式的类型只在运行时才知道；这些语言被称作动态类型语言。而另一些语言中，表达式的类型在编译时就知道，这些语言叫做静态类型语言。在静态类型语言中，函数的输入和输出与局部变量的类型一般必须用类型标注明确的提供。例如，在 C 语言中:这个函数定义开始处，codice_1 声明了 codice_2 是函数，接受一个整数类型的参数，并返回一个整数。codice_3 声明了局部变量 codice_4 是个整数。在支持类型推论的