强静态类型

C++是一门静态类型语言，在编译时会作类型检查。

 

在大多数语言中，对象的类型限制了对象可以执行的操作。如果某种类型不支持某种操作，那么这种类型的对象也就不能执行该操作。

 

在C++中，操作是否合法是编译时检查的。当在编写表达式时，编译器检查表达式中的对象是否按照该对象的类型定义的使用方式使用。如果不是的话，那么编译器提示错误，而不产生可执行文件。

 

随着程序和使用的类型变得越来越复杂，我们将看到静态类型检查能帮助我们更早的发现错误。静态类型检查使得编译器必须能是被程序中的每个实体的类型。因此，程序中使用变量前必须先定义变量的类型。