对于C++语言来说,什么叫做类型检查?

静态检查：书中对静态检查的阐述：“编译器必须检查源程序是否符合源语言规定的语法和语义要求。”由此看来，静态检查其实就是语义分析了。

类型系统：

类型错误：将int赋给一个指针就是类型错误。

类型检查：检查类型错误，属于静态检查的一部分，编译器实现可能有两种情况：第一种是将中间代码生成、类型检查放到语法分析一起做，完成语法分析的同时进行语义分析。对于某些复杂的结构，则将类型检查作为语法分析和中间代码生成之间单独的一遍。

强类型语言：某语言的编译器保证所接受的程序不会在运行时发生“类型错误”，则此语言是强类型语言。

类型安全语言：将int赋给一个指针，C/C++会编译器会抱错，于是C/C++称为类型安全语言.。似乎“类新安全”和“强类型”本质上一样。

静态类型检查：编译器检查，int i = "k" 编译器直接报错
还有dynamic_cast<>()也是由编译器进行类型检查