Type-safe v.s. Type-Unsafe

某一些程式語言比較自由，允許我們去做一些危險的動作。比如說C和C++的Pointer就允許我們直接對記憶體做操作。這類的功能讓程式語言變得很強大，但是一不小心有可能會讓程式整個當掉。這種允許我們任意存取記憶體位置的程式語言就不能算是Type-safe。比如說以下的C程式讓我們access超過int boundary的位置：

int i = 10;
char *s = (char*)i;
print(*(s+10));

這種問題不會發生在C#身上，因為C#是Type-safe的程式語言。以下範例在C和C++合法，但是在C#會丟出錯誤訊息：

double d = 10.59; 
int i = 5; 
i = d; //this causes an Error

在C#中不能隨便把某個型別的資料當作是另外一種型別，如果編譯器認為這樣轉型是不合法的，在編譯的時候就會丟出錯誤。