Type - safe code is code that accesses types only in well - defined, allowable ways.

类型安全代码是仅以定义完善的 、 允许的方式访问类型的代码.

互联网

To determine whether the language compiler you use generates verifiably type - safe code, consult the compiler's documentation.

若要确定所使用的语言编译器是否生成可验证为类型安全的代码, 请参见编译器的文档.

互联网