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

答案:2 悬赏:70 手机版

解决时间 2021-04-01 13:03

提问者网友：欲望失宠
2021-03-31 18:02

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

最佳答案

五星知识达人网友：蓝房子
2021-03-31 19:38

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

类型系统：

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

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

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

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

全部回答

1楼网友：醉吻情书
2021-03-31 20:35

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

我要举报

如以上问答信息为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！