Home / Definitions / Type-Safe

Type-Safe

Webopedia Staff
Last Updated May 24, 2021 7:57 am

(adj.) Code that accesses only the memory locations it is authorized to access, and only in well-defined, allowable ways. Type-safe code cannot perform an operation on an object that is invalid for that object. The C# and VB.NET language compilers always produce type-safe code, which is verified to be type-safe during JIT compilation.