It takes advantage of compiler type checking.
它会运用编译器类型检查。
Additional data type checking code is not necessary.
额外的数据类型检查代码是不必要的。
It allows the compiler to perform type checking.
允许编译器执行类型检查。
First of all, the bounds give us added static type checking.
首先，范围使我们增加了静态类型检查功能。
A template can be thought of as a macro with type checking.
模板可以被看作是有类型检查功能的宏。
Doing so causes the compiler to perform argument type checking.
这样做会使编译器执行引数型别检查。
He would have liked stronger static type checking of template arguments.
他本来想要更强的模板参数的静态类型检验。
It's clear that type checking isn't enough to prove that your code is correct.
很明显，类型检查并不足以证明代码的正确性。
Static type checking will prevent non-Strings from being passed to this method.
静态类型检查会防止把非string对象传递给这个方法。
Of course, you also give up the safety net of the compile-time type checking.
当然，还会失去编译时检查的安全保障。
The type checking algorithm and some problems about implementation are also discussed.
对多态类型系统实现中的一些问题也进行了讨论。
After all, the whole point of static type checking is to prevent exactly that sort of exception.
毕竟静态类型检查主要是严格防止那种异常。
The compiler can then enforce type checking based on the declared type of the attribute named age.
然后，编译器可以根据age属性声明的类型实施类型检查。
You could fall back on type checking inside the add method, but that is not elegant and inflexible.
您可以依赖add方法内部的类型检查，但这并不优雅而且不固定。
With PHP V5, however, you can build object type checking right into the class or method declaration.
但是，如果使用PHPV5 的话，可以将对象类型检查构建到类或方法声明中。
The second thing I want to highlight is, that what's going on, is that Python is doing some type checking.
我想强调的第二件事情是，这里发生的是，是Python做了一些类型检查的工作。
For the trouble, you get rock-solid performance, compile-time type checking, and a very high-level language.
虽然付出了这一点成本，但可以得到非常好的性能，编译时类型检查，以及一个非常高级的语言。
The proposed integrity information flow mechanism can be efficiently implemented by static type checking.
所建立的完整性信息流控制机制可通过静态类型检验高效实现。
Debasish Ghosh advocates for using this kind of solutions rather than trying to achieve dynamic type checking.
DebasishGhosh提倡使用这种解决方法，而不是试图实现动态类型检查。
He is also concerned with the verification of security protocols through semantic formalisms and type checking.
他关注的领域还有通过语义形式和类型检查对安全性协议进行验证。
And in fact, under type checking, different languages sometimes fall on a spectrum from weak to strong typing.
实际上，在类型检查的下面，不同的语言会对应着，从弱到强的一个定型范围。
With type erasure, generic types are used for type checking only; afterwards, they are replaced with their upper bound.
使用类型消除(type erasure)，泛型类型仅用于类型检查；然后，用它们的上界替换它们。
In this case, the code will be more robust because of the strong type checking provided by the compiler and runtime.
这种情况下，代码还会更加的健壮。因为编译和运行时进行了强的类型检查。
In these cases, the code will be more robust because of the strong type checking that is provided by the compiler and runtime.
在这些情况下，因为编译器和执行阶段提供了强式型别检查，程序码将会变得更强固。
Guideline 1 can be ensured by type checking and throwing an error message if there is any static storage declaration in the function.
准则1可以通过类型检查得到保证，如果在函数中有任何静态存储声明，则抛出错误消息。
You now have the choice, at assembly time, to override the usual type checking and create a wire between a property and an action of different types.
在组装时就需要进行选择，是覆盖常用类型检查，还是在不同类型的属性和行为之间创建连接。
When using enums, it is recommended to use the new fixed underlying type specification because it has stronger type checking and code completion.
当使用枚举时，建议使用新的固定的基本类型规范，因为它具有更强的类型检查和代码完成。
Its primary purpose is to produce LINQ-compatible object models from XSD files, giving developers some measure of static type checking while accessing XML data.
它的主要目标是从xsd文件中生成兼容LINQ的对象模型，让开发人员在访问XML数据的时候可以进行一定的静态类型检查。
Although largely superseded by the ability in Lotus Notes 8.0.2 to ignore strong type checking, it can be handy if you need to support earlier versions of Lotus Notes.
虽然该组件在很大程度上被LotusNotes8.0.2中忽略强类型检查的功能取代，但是如果需要支持较早版本的Lotus Notes，那么这个组件比较方便。
Although largely superseded by the ability in Lotus Notes 8.0.2 to ignore strong type checking, it can be handy if you need to support earlier versions of Lotus Notes.
虽然该组件在很大程度上被LotusNotes8.0.2中忽略强类型检查的功能取代，但是如果需要支持较早版本的Lotus Notes，那么这个组件比较方便。
应用推荐