2.1.3.1 静态类型检查
类型检查（type checking）是编译器在第一遍中完成的。类型检查是检查函数参数是否正确使用，以防止许多程序设计错误。由于类型检查是在编译阶段而不是程序运行阶段进行的，所以称之为静态类型检查（static type checking）。
某些面向对象的语言（如Java）也可在程序运行时作部分类型检查[动态类型检查（dynamic type checking）]。动态类型检查和静态类型检查结合使用，比仅仅使用静态类型检查更有效。但它也增加了程序执行的开销。
C++(www.cppentry.com)使用静态类型检查，因为C++(www.cppentry.com)语言不采用任何特殊的运行时支持来处理错误操作。静态类型检查在编译时就告知程序员类型被误用，从而加快了执行时的速度。通过对C++(www.cppentry.com)的学习，我们会看到C++(www.cppentry.com)语言的主要设计目标也是追求运行速度快，这与面向生产的编程(www.cppentry.com)语言C语言一样。
在C++(www.cppentry.com)里可以不使用静态类型检查。我们可以自己做动态类型检查—这只需要写一些代码。