Type safe trong C# không cho phép đối tượng xâm nhập bộ nhớ của đối tượng khác. Ví dụ minh họa:
Ví dụ
public class One {
public int Prop { get; set; }
}
public class Two {
public int Prop { get; set; }
public int Prop1 { get; set; }
}
Giả sử có đối tượng lớp One:
One ob = new One();
Không thể ép kiểu (cast) đối tượng ob sang lớp Two. Nếu ép sẽ lỗi compile time nhờ tính năng Type Safe của C#.