类型检查指验证操作接收的是否为合适的类型数据以及赋值是否合乎类型要求。最自然的方式是认为检查发生在运行时，即当涉及到具体的数据值时，即动态类型检查(即运行时检查)。编译时检查(即静态检查)通过对程序的静态分析，检查所有涉及值的使用的操作、调用和赋值，在程序运行前排除潜在的类型错误。类型检查需基于一定的环境，也就是要在一定的范围内确定类型说明与应用的正确与否，这与标识符的作用域关系密切。
类型检查
网络释义专业释义
... 类型检查（Type Checking） 界限检查（Limit Checking） 可寻址空间约束（Restriction of addressable domain） ...
基于138个网页-相关网页
...加载 code segment descriptor 进入 CS 寄存器之前，processor 会做一些工作，包括： 1、 descriptor 的 type check（类型检查） 2、 segment limit check（长度检查） 3、 descriptor & segment privilege check （权限检查） 只有通过它们的检查后，process...
基于10个网页-相关网页
进行的重要改进包括： 添加了继承支持 可选的静态类型检查(Option Strict) 结构化错误处理(Try-Catch-Finally) 特性 为了整理该语言的语法并让它遵循.NET 架构的精神，Visual Basic 从中删除或替换...
基于8个网页-相关网页
... kontrola typů 类型检查 kontrola úvěrového limitu 信用额度检查 kontrola úvěrů 信用管理 ...
基于4个网页-相关网页
-
type checking - 引用次数：6 参考来源 - 并行程序设计模型若干问题研究typecheck - 引用次数：1 参考来源 - 基于类型化内存地址的安全策略的设计与实现 in C
·2,447,543篇论文数据，部分数据来源于NoteExpress
双语例句原声例句
-
额外的数据类型检查代码是不必要的。
-
它不会再编译时做类型检查。
-
首先，范围使我们增加了静态类型检查功能。
First of all, the bounds give us added static type checking.
-
And in fact, under type checking, different languages sometimes fall on a spectrum from weak to strong typing.
实际上，在类型检查的下面，不同的语言会对应着,从弱到强的一个定型范围。
-
First of all, having read in that value, I can check to see, is it of the right type?
首先，读一下这个值，我们可以来检查看看是不是正确的类型？
-
The second thing I want to highlight is, that what's going on, is that Python is doing some type checking.
我想强调的第二件事情是，这里发生的是,是Python做了一些类型检查的工作。
应用推荐
$firstVoiceSent
- 来自原声例句