局部類型
局部類型的引入
沒有局部類型的時候(C# 1.0)
class App
{
public void Foo(){...}
...
public void Bar(){...}
...
}
有了局部類型之後(C# 2.0)
partial class App
{
public void Foo()
{...}
...
}
partial class App
{
public void Bar()
{...}
...
}
局部類型簡介
局部類型允許我們將一個類型(類、結構或者介面)分成幾個部分,分別實現在幾個不同的.cs檔案中。
局部類型適用於以下情況:
- 類型特別大,不宜放在一個檔案中實現;
- 一個類型中一部分代碼為自動化工具產生的程式碼,不宜與我們自己編寫的代碼混合在一起。
局部類型是一個純語言層的編譯處理,不影響任何執行機制 - 事實上C#編譯器在編譯的時候仍會將各個部分的局部類型可並成一個完整的類。
局部類型的一些限制
局部類型只適用於類、結構、或介面,不支援委託或枚舉。
同一個類型的各個部分必須都有修飾符partial。
使用局部類型時,一個類型的各個部分必須位於相同的名稱空間中。
一個類型的各個部分必須被同時編譯。換言之,C#不支援先編譯一個類型的某些部分,然後再編譯一個類型的某些部分。
局部類型的幾個特點
關鍵字partial是一個內容關鍵字,只有和class、struct、interface放在一起時才有關鍵字的含義。因此partial的引入不會影響現有代碼中名稱為partial的變數。
局部類型的個數並不必須為2個或2個以上,也可以為1個,雖然這時候已經沒有“局部”的必要。
局部類型的各個部分一般是分開放在幾個不同的.cs檔案中,但C#編譯器允許我們將它們放在同一個.cs檔案中。
在局部類型上應用特性
局部類型上的特性具有“累加”效應。換言之,如下的代碼:
[Attr1,Attr2("hello")]
partial class A{}
[Attr3,Attr2("goodbye")]
partial class A{}
相當於在A類上應用了如下特性:
[Attr1,Attr2("hello"),Attr3,Attr2("goodbye")]
partial class A{}
局部類型上的修飾符
一個類型的各個部分上的訪問保護修飾符必須維持一致性。
如果一個類型有一個部分使用了abstract修飾符,那麼整個類將被視為抽象類別。
如果一個類型有一個部分使用了sealed修飾符號, 那麼整個類將被視為密封類。
一個類的各個部分不能使用相互矛盾的修飾符,比如不能在一個部分上使用abstract,又在另一個部分上使用sealed。
局部類型的基類或介面
一個類型的各個部分上指定的基類必須一致。某些部分可以不指定基類,但如果指定,則必須相同。
局部類型上的介面具有“累加”效應,換言之,如下的代碼:
partial class C:IA,IB{...}
partial class C:IC{...}
partial class C:IA,IB{...}
相當於如下代碼:
class C:IA,IB,IC{...}
空屬類型
空屬類型簡介
空屬類型允許一個實值型別具有“空值”意義,從而方便很多場合的運算,如資料庫中的空欄位。
空實值型別示範:
int i = 123;
int? x = i;
double? y = x;
int? z = (int?)y;
空屬類型的幾個注意點
空屬類型實際上是一個泛型型別
System.Nullable。空屬類型的基礎類型就是System.Nullable的型別參數,其中T必須為實值型別。
空屬類型如果值不為空白,可以運用同樣的基礎類型所具有的運算,如:+、 -、 *、 /
空屬類型的HasValue屬性用來判斷類型是否為空白,如果不為空白,則可以通過Value屬性來擷取它的基礎類型的值。
靜態類型
靜態類簡介
靜態類只用於包含靜態成員的類型,它既不能執行個體化,也不能被繼承。它相當於一個sealed abstract類。
static class MyUtility
{
public const int data;
public static void Foo()
{
...
}
}
靜態類的幾個注意點
靜態類不能有執行個體構造器。
靜態類不能有任何執行個體成員。
靜態類不能使用abstract或sealed修飾符。
靜態類預設繼承自System.Object根類,不能顯式指定任何其他基類。
靜態類不能指定任何介面實現。
靜態類的成員不能有protected或protected internal訪問保護修飾符。
總結
局部類型是一個純語言層的編譯處理,不影響任何執行機制 - 事實上,C#編譯器在編譯的時候仍會將各個部分的局部類型合并成一個完整的類。
空屬類型允許一個實值型別具有“空值”意義,從而方便很多場合的運算,如資料庫空欄位,空屬類型實際上是一個泛型類System.Nullable。
靜態類只用語包含景泰成員的類型,他既不能執行個體化,也不能被繼承。它相當於一個sealed abstract類。