类型检查的英文

• type checking

• 类型    type; mold; form; cut
• 检查    check up; inspect; examine; ...
• 动态类型检查    dynamic type checking
• 静态类型检查    static type checking
• 类型检查规则    type checking rule
• 运行时类型检查    rtti
• 类型检验    type checking
• 定型检查    type-a roval i ection; type-a rovali ection; type-approval inspection
• 辊型检查仪    profilograph; profilometer
• 模型检查    model check; pattern checking
• 轻型检查车    light-inspection car
• 铸型检查    mould inspection
• 信元类型检测器    ctc cell type checker
• 模型检    pattern checking
• 类型    type; mold; form; cut◇类型论 theory of types; 类型语句 [计算机] type statements
• 车型检测器    vehicle type detector
• 模型检验    model testing; model verification
• 模型检验器    mc
• 微型检波器    miniature geophone; miniseis
• 小型检测器    portable detector
• 小型检眼镜    microphthalmoscope
• 型检测方法    laboratory animal-method for examination of reovirus
• 血型检定    blood group determination; blood typing
• 血型检验    blood group examination
• 严格型检验    strict type checking

• If the array held subclasses of type ! 0 , the code above would fail the type check
  假如数组有类型为! 0的子类，上述代码将不能完成类型检查。
• This would allow zsi to typecheck incoming arguments before the function is called
  这样zsi就可以在函数被调用之前对传入的参数进行类型检查。
• Prefix is to avoid a type check when fetching an element from an array in generic code
  前缀旨在避免在泛型代码中从数组获取元素时执行类型检查。
• You should allow for some context - sensitive checking , such as type checking , when possible
  可能的话，应该允许进行某些与环境有关的检查，如类型检查。
• Attribute node order is enforced during serialization rather than during static type checking
  属性节点顺序是在序列化期间而非静态类型检查期间执行的。
• Property page . modify one or both of the following properties : basic runtime checks
  修改下列属性之一或两者都修改： “基本运行时检查”或“较小类型检查” 。
• Which does a simple type check without doing a comparison to another value or control
  控件也很有用，它将执行简单的类型检查，而不与另一值或控件进行比较。
• You lose static type checking although static checking is arguably of little value in a repl
  您失去了静态类型检查（尽管按理说静态检查在repl中没有多少价值） 。
• While this solution works , it requires a dynamic type check at run - time , which adds overhead
  当以上解决方案运行时，加在上面的代码要求进行一个运行时的动态类型检查。
• He is also concerned with the verification of security protocols through semantic formalisms and type checking
  他关注的领域还有通过语义形式和类型检查对安全性协议进行验证。