类型检查

静态类型检查会防止把非String对象传递给这个方法。

Static type checking will prevent non-Strings from being passed to this method .

判断应用程序是否需要更严格地对XML查询进行类型检查，以及检查XML模式的遵从性。

Determine if your application needs the stricter type checking for XML queries and XML schema compliance .

提出了一种基于类型检查的分析算法，可用于分析C语言编写的源程序来进行缓冲区漏洞检查。

This paper presents the arithmetic which is a typebased analysis arithmetic for finding the vulnerabilities in C code .

您可以依赖add（）方法内部的类型检查，但这并不优雅而且不固定。

You could fall back on type checking inside the add () method , but that is not elegant and inflexible .

另一个问题是C和C++对整数具有非常弱的类型检查，一般不会检测操作这些整数的问题。

Another problem is that C and C + + have very weak typing for integers and don 't normally detect problems manipulating them .

编译器的类型检查规则与API签名结合确定什么是合法输入。

The compiler 's type-checking rules coupled with the API 's signature govern what constitutes legitimate input .

CriteriaAPI的强类型检查基于开放期间的实例化元模型类的可用性。

The Criteria API 's strong type checking is based on the availability of instantiated metamodel classes at development time .

Java社区对静态类型检查的迷恋程度令人惊讶，Java程序员们正在不遗余力地寻找延迟绑定的方式。

The Java community 's obsession with static type checking is curious because Java developers are now spending an ever-increasing amount of energy looking for ways to delay binding .

但是，如果使用PHPV5的话，可以将对象类型检查构建到类或方法声明中。

With PHP V5 , however , you can build object type checking right into the class or method declaration .

我爱Lisp，但是Lisp当然，是属于在类型检查比较弱的语言一类。

I love Lisp , but Lisp is certainly in the category of a very weakly typed language .

我想强调的第二件事情是，这里发生的是，是Python做了一些类型检查的工作。

The second thing I want to highlight is , that what 's going on , is that Python is doing some type checking .

原先在有些情况下不得不模拟运行时类型检查，既缓慢又容易引入Bug，而利用Java泛型，这些框架就可以通过编译时类型检查来达到同样的效果。

Using Java generics , these frameworks allow compile time type checking for cases which would earlier have to be implemented using a slow and bug ridden simulation of runtime type checking .

它的主要目标是从XSD文件中生成兼容LINQ的对象模型，让开发人员在访问XML数据的时候可以进行一定的静态类型检查。

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 .

例如，在Jam中，禁止程序员将this作为参数传递给方法；无法对这样的调用进行类型检查。

For example , in Jam , the programmer is not allowed to pass this as an argument to a method ; there is no way to type check such calls .

不仅验证对象以保证DI依赖（通过Guice及内建的GuiceServlet）的正确性，而且还对页面中的表达式进行静态的类型检查使之符合相应的页面类。

Not only are your objects validated for DI dependencies ( with Guice and Guice Servlet built-in ), but expressions inside pages are statically type-checked against their corresponding page classes .

简要介绍了基于该体系结构所实现的XQuery处理引擎的词法/语法解析、语法转换、类型检查和分析、赋值计算等四个处理阶段涉及的主要内容。

Directed by this architecture , four main process phases ( lexical / grammar analysis , conversion between surface grammar and core grammar , type checking and analyzing , evaluation . ) are described .

DebasishGhosh提倡使用这种解决方法，而不是试图实现动态类型检查。

Debasish Ghosh advocates for using this kind of solutions rather than trying to achieve dynamic type checking .

这样做会导致编译器执行参数类型检查。

Doing so causes the compiler to perform argument type checking .

由于类型检查，联合类型要求进行小心地处理。

Union types require careful handling because of type checking .

首先，范围使我们增加了静态类型检查功能。

First of all , the bounds give us added static type checking .

简单的例子比如典型的名称唯一性约束、类型检查或非空检查。

Simple examples include the typical name-uniqueness constraints , type checks or non-nullness .

模板可以被看作是有类型检查功能的宏。

A template can be thought of as a macro with type checking .

作为结论类型检查成为不可判定性的。

As a consequence type checking becomes undecidable .

因此我会在尽可能早的地方去，做一个类型检查。

So I actually want to have type checking as much as I can early on .

通过在该模型中引入消息类型检查机制，简化了证明过程。

Moreover , by introducing type-check mechanism into this model , the proof procedure is simplified significantly .

很明显，类型检查并不足以证明代码的正确性。

It 's clear that type checking isn 't enough to prove that your code is correct .

他关注的领域还有通过语义形式和类型检查对安全性协议进行验证。

He is also concerned with the verification of security protocols through semantic formalisms and type checking .

当以上解决方案运行时，加在上面的代码要求进行一个运行时的动态类型检查。

While this solution works , it requires a dynamic type check at run-time , which adds overhead .

我翻译了一下大意是：文件类型检查基于系统调用状态2的回复值。

The filesystem tests are based on examining the return from a stat ( 2 ) system call .

当他们处于动态内存分配和运行时类型检查，装箱拆箱操作将增加性能消耗。

Such boxing and unboxing operations add performance overhead since they involve dynamic memory allocations and run-time type checks .