类型检查

【词语拼音】lèi xíng jiǎn chá

【词语繁体】類型檢查

【词语结构】ABCD式词语

【词语字数】四字词语

【网络解释】
类型检查指验证操作接收的是否为合适的类型数据以及赋值是否合乎类型要求。最自然的方式是认为检查发生在运行时，即当涉及到具体的数据值时，即动态类型检查(即运行时检查)。编译时检查(即静态检查)通过对程序的静态分析，检查所有涉及值的使用的操作、调用和赋值，在程序运行前排除潜在的类型错误。类型检查需基于一定的环境，也就是要在一定的范围内确定类型说明与应用的正确与否，这与标识符的作用域关系密切。