类型检查的英文

• 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

• There is a price for this flexibility : interpreted languages tend to perform less static checking over the code , such as type checking
  （这种灵活性是有代价的：解释型语言通常更少对代码执行静态检查，例如类型检查。 ）
• In addition to type checking and unit tests , assertions provide a great way to determine that various properties are maintained in a program
  除了类型检查和单元测试外，断言还提供了一种确定各种特性是否在程序中得到维护的极好方法。
• Specify that the subsequent array address operation performs no type check at run time , and that it returns a managed pointer with restricted mutability
  指定后面的数组地址操作在运行时不执行类型检查，并且返回可变性受限的托管指针。
• Specifies that the subsequent array address operation performs no type check at run time , and that it returns a managed pointer whose mutability is restricted
  指定后面的数组地址操作在运行时不执行类型检查，并且返回可变性受限的托管指针。
• Is abstract , when you try to compile the new program , errors from the type checker will notify you about every construction site you should refactor
  是抽象的，所以当您试图编译新程序时，来自类型检查器的错误将通知您每个应该重构的构造位置。
• Without static type checking , a type error may linger in your program as a saboteur until just the right execution path happens to uncover it
  没有静态类型检查的话，类型错误将作为破坏者逗留在您的程序中，直到恰当的执行路径碰巧把它揭露出来为止。
• Managed code applications gain common language runtime services such as automatic garbage collection , runtime type checking and security support , and so on
  托管代码应用程序可以获得公共语言运行库服务，例如自动垃圾回收、运行库类型检查和安全支持等。
• If you want a language with static type - checking , you really need to design it in from the start : it drastically affects the design of the language
  如果想要具有静态类型检查的语言，那么的确需要从一开始就把它设计到语言中：它极大地影响着语言的设计。
• If a method does not have the proper type , the ansi - c compiler will not detect the error because the variable argument list and our casting prevent type checks
  如果一个方法没有恰当的类型，因为可变的变元表以及如上的“加工”阻止了类型检查， ansi - c编译器将不会报错。
• Always ensure that your code performs range and type checks when setting and retrieving values from any buffer or array accessed by the indexers . set the accessibility of the
  当设置并检索来自索引器访问的任何缓冲区或数组的值时，请始终确保您的代码执行范围和类型检查。