|
<<展現(xiàn)C#>>第四章 C#類型（rainbow 翻譯）
出處：http://www.informit.com\matter\ser0000002\chapter4\ch04_04.shtml
正文：
第四章C#類型
既然你知道了怎樣創(chuàng)建一個簡單的C#程序，我將會給你介紹C#的類型系統(tǒng)。在這一章中，你學(xué)到如何使用不同的值和引用類型，加框和消框機(jī)制能為你作些什么。盡管這一章的不側(cè)重于例子，但你可以學(xué)到很多重要的信息，關(guān)于如何創(chuàng)建現(xiàn)成類型的程序。
4.1 值類型
各種值類型總是含有相應(yīng)該類型的一個值。C#迫使你初始化變量才能使用它們進(jìn)行計(jì)算-變量沒有初始化不會出問題，因?yàn)楫?dāng)你企圖使用它們時，編譯器會告訴你。 每當(dāng)把一個值賦給一個值類型時，該值實(shí)際上被拷貝了。相比，對于引用類型，僅是引用被拷貝了，而實(shí)際的值仍然保留在相同的內(nèi)存位置，但現(xiàn)在有兩個對象指向了它（引用它）。C#的值類型可以歸類如下：
·簡單類型（Simple types ）
·結(jié)構(gòu)類型（struct types）
·枚舉類型（Enumeration types）
4.1.1簡單類型
在C#中出現(xiàn)的簡單類型共享一些特性。第一，它們都是.NET系統(tǒng)類型的別名。第二，由簡單類型組成的常量表達(dá)式僅在編譯時而不是運(yùn)行時受檢測。最后，簡單類型可以按字面被初始化。以下為C#簡單類型歸類：
·整型
·布爾型
· 字符型 (整型的一種特殊情況)
·浮點(diǎn)型
·小數(shù)型
4.1.1.1整型
C#中有9個整型。 sbyte 、byte、 short、 ushort、 int、 uint、 long、 ulong 和 char（單獨(dú)一節(jié)討論）。它們具有以下特性：
·sbyte型為有符號8位整數(shù)，取值范圍在128~127之間。
·bytet型為無符號16位整數(shù)，取值范圍在0~255之間。
·short型為有符號16位整數(shù)，取值范圍在-32,768~32,767之間。
·ushort型為無符號16位整數(shù)，取值范圍在0~65,535之間。
·int型為有符號32位整數(shù)，取值范圍在-2,147,483,648~ 2,147,483,647之間。
·uint型為無符號32位整數(shù)，取值范圍在0 ~ 4,294,967,295之間。
·long型為64位有符號整數(shù)，取值范圍在9,223,372,036,854,775,808~ 9,223,372,036,854,775,807之間。
·ulong型為64位無符號整數(shù)，取值范圍在0 ~ 18,446,744,073,709,551,615之間。
VB和C程序員都可能會對int和long數(shù)據(jù)類型所代表的新范圍感到驚訝。和其它的編程語言相比，在C#中，int不再取決于一個機(jī)器的字（word)的大小，而long被設(shè)成64位。
4.1.1.2布爾型
布爾數(shù)據(jù)類型有true和false兩個布爾值。可以賦于true或false值給一個布爾變量，或可以賦于一個表達(dá)式，其所求出的值等于兩者之一：
bool bTest = (80 > 90);
與C和C++相比，在C#中，true值不再為任何非零值。不要為了增加方便而把其它整型轉(zhuǎn)換成布爾型。
4.1.1.3字符型
字符型為一個單Unicode 字符。一個Unicode字符16位長，它可以用來表示世界上多種語言�？梢园匆韵路椒ńo一個字符變量賦值：
char chSomeChar = 'A';
除此之外，可以通過十六進(jìn)制轉(zhuǎn)義符（前綴\x）或Unicode表示法給變量賦值（前綴\u）：
char chSomeChar = '\x0065';
char chSomeChar = '\u0065';
不存在把char轉(zhuǎn)換成其它數(shù)據(jù)類型的隱式轉(zhuǎn)換。這就意味著，在C#中把一個字符變量當(dāng)作另外的整數(shù)數(shù)據(jù)類型看待是行不通的——這是C程序員必須改變習(xí)慣的另一個方面。但是，可以運(yùn)用顯式轉(zhuǎn)換：
char chSomeChar = (char)65;
int nSomeInt = (int)'A';
在C中仍然存在著轉(zhuǎn)義符（字符含義）。要換換腦筋，請看表4.1。
Table 4.1 轉(zhuǎn)義符（ Escape Sequences）
轉(zhuǎn)義符字符名
\'單引號
\" 雙引號
\\ 反斜杠
\0空字符
\a感嘆號（Alert）
\b退格
\f換頁
\n 新行
\r回車
\t 水平 tab
\v垂直tab
4.1.1.4浮點(diǎn)型
兩種數(shù)據(jù)類型被當(dāng)作浮點(diǎn)型：float和double。它們的差別在于取值范圍和精度：
float: 取值范圍在 1.5x10^-45~ 3.4x10^38之間， 精度為7位數(shù)。
double: 取值范圍在 5.0x10^-324 ~ 1.7x10^308之間， 精度為 15~16 位數(shù)。
當(dāng)用兩種浮點(diǎn)型執(zhí)行運(yùn)算時，可以產(chǎn)生以下的值：
正零和負(fù)零
正無窮和負(fù)無窮
非數(shù)字值（Not-a-Number，縮寫NaN）
非零值的有限數(shù)集
另一個運(yùn)算規(guī)則為，當(dāng)表達(dá)式中的一個值是浮點(diǎn)型時，所有其它的類型都要被轉(zhuǎn)換成浮點(diǎn)型才能執(zhí)行運(yùn)算。
4.1.1.5 小數(shù)型（The decimal Type)
小數(shù)型是一種高精度、128位數(shù)據(jù)類型，它打算用于金融和貨幣的計(jì)算。它所表示的范圍從大約1.0x10^-28 到 7.9x10^28，具有28至29位有效數(shù)字。要注意，精度是以位數(shù) (digits)而不是以小數(shù)位（decimal places)表示。運(yùn)算準(zhǔn)確到28個小數(shù)位的最大值。
正如你所看到的，它的取值范圍比double的還窄，但它更精確。因此，沒有decimal和double之間的隱式轉(zhuǎn)換——往一個方向轉(zhuǎn)換可能會溢出，往另外一個方向可能會丟失精度。你不得不運(yùn)用顯式轉(zhuǎn)換。
當(dāng)定義一個變量并賦值給它時，使用 m 后綴以表明它是一個小數(shù)型：
decimal decMyValue = 1.0m;
如果省略了m，在變量被賦值之前，它將被編譯器認(rèn)作double型。
4.1.2結(jié)構(gòu)類型
一個結(jié)構(gòu)類型可以聲明構(gòu)造函數(shù)、常數(shù)、字段、方法、屬性、索引、操作符和嵌套類型。盡管列出來的功能看起來象一個成熟的類，但在C#中，結(jié)構(gòu)和類的區(qū)別在于結(jié)構(gòu)是一個值類型，而類是一個引用類型。與C++相比，這里可以用結(jié)構(gòu)關(guān)鍵字定義一個類。
使用結(jié)構(gòu)的主要思想是用于創(chuàng)建小型的對象，如Point和FileInfo等等。你可以節(jié)省內(nèi)存，因?yàn)闆]有如類對象所需的那樣有額外的引用產(chǎn)生。例如，當(dāng)聲明含有成千上萬個對象的數(shù)組時，這會引起極大的差異。
清單4.1包含一個命名為IP的簡單結(jié)構(gòu)，它表示一個使用byte類型的4個字段的IP地址。我不包括方法等，因?yàn)檫@些工作正如使用類一樣，將在下一章有詳細(xì)的描述。
清單4.1 定義一個簡單的結(jié)構(gòu)
1: using System;
2:
3: struct IP
4: {
5:public byte b1,b2,b3,b4;
6: }
7:
8: class Test
9: {
10:public static void Main()
11:{
12: IP myIP;
13: myIP.b1 = 192;
14: myIP.b2 = 168;
15: myIP.b3 = 1;
16: myIP.b4 = 101;
17: Console.Write("{0}.{1}.",myIP.b1,myIP.b2);
18: Console.Write("{0}.{1}",myIP.b3,myIP.b4);
19:}
20: }
4.1.3枚舉類型
當(dāng)你想聲明一個由一指定常量集合組成的獨(dú)特類型時，枚舉類型正是你要尋覓的。最簡單的形式，它看起來可能象這樣：
enum MonthNames { January, February, March, April };
因我慣用缺省設(shè)置，故枚舉元素是int型，且第一個元素為0值。每一個連續(xù)的元素按1遞增。如果你想給第一個元素直接賦值，可以如下把它設(shè)成1：
enum MonthNames { January=1, February, March, April };
如果你想賦任意值給每個元素——甚至相同的值——這也沒有問題：
enum MonthNames { January=31, February=28, March=31, April=30 };
最后的選擇是不同于int的數(shù)據(jù)類型�？梢栽谝粭l語句中按如此賦值：
enum MonthNames : byte { January=31, February=28, March=31, April=30 };
你可以使用的類型僅限于long、int、short和byte。
4.2 引用類型
和值類型相比，引用類型不存儲它們所代表的實(shí)際數(shù)據(jù)，但它們存儲實(shí)際數(shù)據(jù)的引用。在C#中提供以下引用類型給你使用：
·對象類型
·類類 型
·接口
·代表元
·字符串類型
·數(shù)組
4.2.1對象類型
對象類型是所有類型之母——它是其它類型最根本的基類。因?yàn)樗撬袑ο蟮幕悾钥砂讶魏晤愋偷闹蒂x給它。例如，一個整型：
object theObj = 123;
給所有的C++程序員一個警告：object并不等價(jià)于你可能正在尋找的void*。無論如何，忘掉指針總是個好主意。
當(dāng)一個值類型被加框（作為一個對象利用）時，對象類型就被使用了。這一章稍后會討論到加框和消框
4.2.2 類類型
一個類類型可以包含數(shù)據(jù)成員、函數(shù)成員和嵌套類型。數(shù)據(jù)成員是常量、字段和事件。函數(shù)成員包括方法、屬性、索引、操作符、構(gòu)造函數(shù)和析構(gòu)函數(shù)。類和結(jié)構(gòu)的功能是非常相似的，但正如前面所述，結(jié)構(gòu)是值類型而類是引用類型。
和C++相比，僅允許單繼承。（你不能擁有派生一個新對象的多重基類。）但是，C#中的一個類可以派生自多重接口，該接口在下一節(jié)將得到描述。
第五章 “類”專門討論使用類編程。這一節(jié)僅打算給出C#類在哪里適合類型圖的一個全貌。
4.2.3接口
一個接口聲明一個只有抽象成員的引用類型。跟C++中相似的概念為：一個結(jié)構(gòu)的成員，且方法等于0。如果你不知道那些概念的任何東西，這里就是在C#中一個接口實(shí)際所做的。僅僅只存在著方法標(biāo)志，但根本就沒有執(zhí)行代碼。這就暗示了不能實(shí)例化一個接口，只能實(shí)例化一個派生自該接口的對象。
可以在一個接口中定義方法、屬性和索引。所以，對比一個類，接口有什么特殊性呢？當(dāng)定義一個類時，可以派生自多重接口，而你只能可以從僅有的一個類派生。
你可能會問："OK，但我必須實(shí)現(xiàn)所有的接口成員，那么我能從這個途徑得到什么呢?" 我想舉一個來自.NET的例子：很多類實(shí)現(xiàn)了IDictionary 接口。你可以使用簡單的類型轉(zhuǎn)換訪問接口：
IDictionary myDict = (IDictionary)someobjectthatsupportsit;
現(xiàn)在你的代碼可以訪問字典了�？傻鹊�，我說很多類可以實(shí)現(xiàn)這個接口——所以，你可以在多個地方重用代碼來訪問IDictionary 接口！一旦學(xué)會，任何地方都可使用。
當(dāng)你決定在類設(shè)計(jì)中使用接口時，學(xué)習(xí)更多關(guān)于面向?qū)ο蟮脑O(shè)計(jì)是個好主意。這本書不能教你這些概念，但你可以學(xué)習(xí)如何創(chuàng)建接口。以下的代碼段定義接口IFace，它只有一個方法：
interface IFace
{
void ShowMyFace();
}
正如我所提到的，不能從這個定義實(shí)例化一個對象，但可以從它派生一個類。因此，該類必須實(shí)現(xiàn)ShowMyFace抽象方法：
class CFace:IFace
{
public void ShowMyFace()
{
Console.WriteLine("implementation");
}
}
接口成員和類成員的區(qū)別在于，接口成員不能被實(shí)現(xiàn)。因此，我不想在下一章中再次提到這一點(diǎn)。
4.2.4代表元
一個代表元封裝了具有一些標(biāo)志的一個方法。基本上，代表元是類型安全和函數(shù)指針的安全版本(回調(diào)功能)。可以同時在一個代表元實(shí)例中同時封裝靜態(tài)和實(shí)例方法。
盡管你可以用代表員當(dāng)作具有方法，但它們的主要用途是擁有有一個類事件。再次，我想把你引到下一章，那里會詳細(xì)地討論類。
4.2.5字符串類型
C程序員可能會詫異，但當(dāng)然，C#有一個用于操作字符串?dāng)?shù)據(jù)的基本字符串類型。字符串類直接派生自對象，且它是被密封的，這意味著再不能從它派生類。就象其它類型，字符串是預(yù)定義類System String的一個別名。
它的用法十分簡單：
string myString = "some text";
合并字符串同樣簡單：
string myString = "some text" + " and a bit more";
而如果你想訪問單個字符，所要做的就是訪問下標(biāo)：
char chFirst = myString[0];
當(dāng)比較兩個字符串是否相等時，簡單地使用"=="比較操作符。
if (myString == yourString) ...
我只不過想提到，盡管字符串是一個引用類型，比較時是比較值，而不是比較引用(內(nèi)存地址)。
字符串類型幾乎用于這本書的每一個例子中，而且在這些例程中，我會介紹給你一些由字符串對象所顯露的極其有趣的方法。
4.2.6數(shù)組
一個數(shù)組包含有通過計(jì)算下標(biāo)訪問的變量。所有包含于數(shù)組中且被當(dāng)作元素的變量必須是同一類型。這種類型自然被稱為"數(shù)組類型"。數(shù)組可以存儲整數(shù)對象、字符串對象或者 你提出的任何對象。
數(shù)組的維數(shù)就是所謂的排(rank)，它決定了相關(guān)數(shù)組元素的下標(biāo)數(shù)。最常用的數(shù)組是一維數(shù)組(第一排)。一個多維數(shù)組具有的排數(shù)大于1 。每個維的下標(biāo)始于0，終于維的長度減1 。
應(yīng)有足夠的理論支持。讓我們看一下用一個數(shù)組初始化器( array initializer)初始化的數(shù)組：
string[] arrLanguages = { "C", "C++", "C#" };
該簡寫效果等同以下：
arrLanguages[0]="C"; arrLanguages[1]="C++"; arrLanguages[2]="C#";
而編譯器為你做了所有的工作。當(dāng)然，它將同樣為多維數(shù)組初始化器工作：
int[,] arr = {{0,1}, {2,3}, {4,5}};
它是以下的簡寫：
arr[0,0] = 0; arr[0,1] = 1;
arr[1,0] = 2; arr[1,1] = 3;
arr[2,0] = 4; arr[2,1] = 5;
如果你不想事先初始化一個數(shù)組，但知道了它的大小，該聲明就象這樣：
int[,] myArr = new int[5,3];
如果數(shù)組的大小必須動態(tài)地被計(jì)算，用于數(shù)組創(chuàng)建的語句可以象這樣寫：
int nVar = 5;
int[] arrToo = new int[nVar];
正如我在這一節(jié)開始所陳述的，你可以往數(shù)組里面塞任何東西，只要所有的元素類型都相同。因此，如果你想把任何東西放進(jìn)一個數(shù)組，就聲明它的類型為對象：
4.3加框和消框
這一章的課程中，我已經(jīng)給出了各式各樣的值類型和引用類型。由于速度的原因，你會使用值類型——它除了占據(jù)一定空間的內(nèi)存塊外，就沒有什么了。但是，有時對象的方便性就象值類型一樣好用。
這就是加框和消框登上了舞臺的地方，加框和消框是C#類型系統(tǒng)的核心概念。通過允許一個值類型轉(zhuǎn)換成類型對象或從類型對象轉(zhuǎn)換成值類型，這種機(jī)制形成了值類型和引用類型之間的捆綁連接。任何東西終究是一個對象——但是，僅當(dāng)需要它們是對象時。
4.3.1加框轉(zhuǎn)換
給一個值加框指隱式地把任何值類型轉(zhuǎn)換成類型對象。當(dāng)一個值類型被加框時，一個對象實(shí)例就被分配，且值類型的值被拷貝給新的對象。
看以下例子：
int nFunny = 2000;
object oFunny = nFunny;
第二行的賦值暗示調(diào)用一個加框操作。nFunny整型變量的值被拷貝給oFunny對象�，F(xiàn)在整型變量和對象變量都同時存在于棧中，但對象的值居留在堆中。
那么，它暗示著什么呢?它們的值互相獨(dú)立——在它們之間沒有連接。(oFunny沒有引用nFunny的值。)以下代碼說明了結(jié)果：
int nFunny = 2000;
object oFunny = nFunny;
oFunny = 2001;
Console.WriteLine("{0} {1}", nFunny, oFunny);
當(dāng)代碼改變oFunny的值時，nFunny的值并沒有改變。只要你腦袋中有這個copy動作，就能夠使用值類型的對象功能，發(fā)揮出你的巨大優(yōu)勢！
4.3.2消框轉(zhuǎn)換
和加框相比，消框是顯式操作——必須告訴編譯器，你想從對象中抽取出哪一種值類型。當(dāng)執(zhí)行消框操作時，C#檢測所請求的值類型實(shí)際上存儲在對象實(shí)例中。經(jīng)過成功的校驗(yàn)，該值被消框。
這就是消框如何執(zhí)行：
int nFunny = 2000;
object oFunny = nFunny;
int nNotSoFunny = (int)oFunny;
如果錯誤地請求一個double值
double nNotSoFunny = (double)oFunny;
通用語言運(yùn)行時(Common Language Runtime，簡寫CLR)將會引發(fā)一個InvalidCastException異常。你可以在第7章 "異常處理" 中學(xué)到更多有關(guān)異常處理的知識。
4.4小結(jié)
在這一章中，你學(xué)到了C#中用到的各種類型。簡單的值類型包括整型、布爾型、浮點(diǎn)型和小數(shù)型。你會非常經(jīng)常地用到一些類型，進(jìn)行數(shù)學(xué)和金融的計(jì)算，還有邏輯表達(dá)。
在介紹引用類型之前，我顯示了一個看起來象類的結(jié)構(gòu)類型。它幾乎如一個類般地運(yùn)作，但它只是一個值類型，這使它更加適合需要有大量的小對象的場合。
引用類型起始于所有對象之母的objedt本身。object是C#中所有對象的基類，且它同樣用于值類型的加框和消框。除此之外，我還讓你領(lǐng)略了代表元、字符串和數(shù)組。
令C#程序員十分神氣的類型就是類。它是C#面向?qū)ο缶幊痰男呐K，下一章整章專門讓你迅速理解這個激動人
|
