To determine whether the language compiler you use generates verifiably type-safe code, consult the compiler's documentation.
若要确定所使用的语言编译器是否生成可验证为类型安全的代码，请参见编译器的文档。
Because type-safe code cannot cause memory faults, using application domains ensures that code running in one domain cannot affect other applications in the process.
因为类型安全的代码不会导致内存错误，所以使用应用程序域可以确保在一个域中运行的代码不会影响进程中的其他应用程序。
As you can see in Listing 6, generics are once again leveraged to make all of this code type safe.
从清单6中可以看出，我们再次利用泛型来使所有这些代码类型安全。
When code is not type safe, unwanted side effects can occur.
如果代码不是类型安全的，则会出现不需要的副作用。
During this compilation, code must pass a verification process that examines the MSIL and metadata to find out whether the code can be determined to be type safe.
在此编译过程中，代码必须通过验证过程，该过程检查MSIL和元数据以查看是否可以将代码确定为类型安全。
When code is type safe, the runtime's security enforcement mechanism ensures that it does not access native code unless it has permission to do so.
当代码是类型安全时，运行时的安全性强制机制确保代码不会访问本机代码，除非它有访问本机代码的权限。
However, if the code accesses memory at arbitrary offsets outside the range of memory that belongs to that object's publicly exposed fields, it is not type-safe.
但是，如果代码以任意偏移量访问内存，该偏移量超出了属于该对象的公开字段的内存范围，则它就不是类型安全的代码。
The common language runtime (CLR) provides a type-safe environment for code to run in, with code access security (CAS) to restrict further the permissions of managed code.
公共语言运行库(CLR)提供了供代码在其中运行的类型安全环境，以及用于进一步限制托管代码权限的代码访问安全性(CAS)。
The ability to verify code as type-safe enables the common language runtime to provide as great a level of isolation as the process boundary, at a much lower performance cost.
由于公共语言运行时能够验证代码是否为类型安全的代码，所以它可以提供与进程边界一样大的隔离级别，而其性能开销则要低得多。
The ability to verify code as type-safe enables the common language runtime to provide as great a level of isolation as the process boundary, at a much lower performance cost.
由于公共语言运行时能够验证代码是否为类型安全的代码，所以它可以提供与进程边界一样大的隔离级别，而其性能开销则要低得多。
应用推荐