什么是类型检查？

类型检查通常由编译器执行，以验证所有操作是否已收到适当数量的参数和数据类型。有两种类型的系统，即：

静态类型检查

在静态类型检查中，不需要运行程序来检查它。编译器在编译时执行静态类型检查。

当程序中存在错误时，静态类型检查非常有用，因为可以在运行之前检测到错误。它有助于提高可靠性和安全性。

静态类型检查的一个例子是 C 语言，在程序中使用变量之前必须先声明变量。如果您不声明它们，那么编译器将显示错误，并且您将无法执行您的程序。

动态类型检查

动态类型检查直到运行时或执行时才会发生。动态类型检查非常有用，因为它允许我们在不事先了解类型的情况下编写程序。在我们只需要在运行时检查类型的场景中。

最常见的类型检查形式包括为计算机程序中的每个变量、参数和函数返回值分配数据类型。根据分配给这些值的类型，允许进行适当的操作（例如，添加两个整数变量以生成另一个整数或连接两个字符串以生成另一个字符串）。类型检查确保这些操作对于其预期目的是有效的。

在某些编程语言（例如 C）中，类型检查由编译器执行；在其他情况下（例如 PHP），它可以推迟到运行时（在这种情况下，它可以称为动态类型检查）。

某些语言允许程序员定义新类型，以便他们的程序可以在算法中使用这些类型。其他语言允许程序员在运行时将任意属性与值关联起来。

许多语言都涉及这两种方法；例如，Java 提供预定义类型并允许程序员创建新类或扩展现有类（即定义新类型）。某些语言（例如 Perl 和 Python）也执行类型推断，并且不需要任何类型声明。