我們可以使用指針作為一個(gè)例子。在C++中擁有一個(gè)指針，你能zi you地把它強(qiáng)制轉(zhuǎn)換成為任何類(lèi)型，包括做出諸如把一個(gè)int*(整型指針)強(qiáng)制轉(zhuǎn)換成一個(gè)double *(雙精度指針)這樣的傻事。只要內(nèi)存支持這種操作，它就能工作。這并不是你所想象的企業(yè)級(jí)編程語(yǔ)言的類(lèi)型安全。

原則性的問(wèn)題，C#實(shí)施最嚴(yán)ge的類(lèi)型安全，以保護(hù)自己及垃圾收集器(garbage collector)。因此必須遵守C#中一些有關(guān)變量的規(guī)則：

你不能使用沒(méi)有初始化的變量。對(duì)于對(duì)象的成員變量，編譯器負(fù)責(zé)清零。而局部變量，則由你負(fù)責(zé)清零。當(dāng)你使用一個(gè)沒(méi)有初始化的變量時(shí)，編譯器會(huì)教你怎么做。優(yōu)點(diǎn)是能夠避免由于使用不經(jīng)初始化的變量計(jì)算結(jié)果而導(dǎo)致的錯(cuò)誤，而你還不知道這些奇怪的結(jié)果是如何產(chǎn)生的。

C#取消了不安全的類(lèi)型轉(zhuǎn)換。不能把一個(gè)整型強(qiáng)制轉(zhuǎn)換成一個(gè)引用類(lèi)型(如對(duì)象)，而當(dāng)向下轉(zhuǎn)換時(shí)，C#驗(yàn)證這種轉(zhuǎn)換是正確的。(也就是說(shuō)，派生類(lèi)真的是從向下轉(zhuǎn)換的那個(gè)類(lèi)派生出來(lái)的。)

邊界檢查是C#的一部分。再也不會(huì)出現(xiàn)這種情況：當(dāng)數(shù)組實(shí)際只定義了n-1個(gè)元素，卻超額地使用了n個(gè)元素。

算術(shù)運(yùn)算有可能溢出結(jié)果數(shù)據(jù)類(lèi)型的范圍。C#允許在語(yǔ)句級(jí)或應(yīng)用程序級(jí)檢測(cè)這些運(yùn)算。在允許檢查溢出的情況下，當(dāng)溢出發(fā)生時(shí)將會(huì)引發(fā)一個(gè)異常。

在C#中，被傳遞的引用參數(shù)是類(lèi)型安全的。