實例構造器和類(引用類型) 在構造引用類型對象時,在調用類型的實例構造前,為對象分配的記憶體總是被清零。 如果類的修飾符為 ,那麼編譯器生成的預設構造器的可訪問性為 ;否則,構造器會被賦予 訪問性。 一個類型可以有多個構造器,每個構造器必須有不同的簽名,而且每個都可以有不同的可訪問性。類的實例構造器在 ...
實例構造器和類(引用類型)
在構造引用類型對象時,在調用類型的實例構造前,為對象分配的記憶體總是被清零。
如果類的修飾符為abstract
,那麼編譯器生成的預設構造器的可訪問性為protected
;否則,構造器會被賦予public
訪問性。
一個類型可以有多個構造器,每個構造器必須有不同的簽名,而且每個都可以有不同的可訪問性。類的實例構造器在訪問從基類繼承的任何欄位之前,必須先調用基類構造器。如果派生類的構造器沒有顯式調用基類構造器,C#編譯器會自動生成對預設的基類構造器的調用。
實例構造器和結構(值類型)
C#編譯器不會為值類型生成無參的預設構造器,並且結構是不允許包含顯示的無參構造器,否則編譯會報錯。但CLR是允許為值類型定義構造器的。值類型的實例構造器只有顯示調用的時候才會執行。
struct Point
{
float _x;
float _y;
public Point(float x,float y)
{
_x = x;
_y = y;
}
}
在訪問任何一個值類型的欄位之前,都必須對欄位賦值;所以子值類型的構造器中必須初始化值類型的全部欄位。
在值類型構造器中,this是代表值類型本省的一個實例,用new創建的值類型實例可以賦值給this。但在引用類型的構造器中,this是被認為只讀的。
類型構造器
類型構造器也稱靜態構造器。類型預設沒有定義類型構造器,要定義也只能定義一個,且不能有參數。
class MyClass
{
static MyClass()//預設為私有類型,但是不能顯示添加`private`,靜態構造函數中不允許出現訪問修飾符
{
//MyClass首次被訪問時,執行這裡的代碼
}
}
任何一個類型定義了類型構造器,JIT編譯器都會檢查針對當前AppDomain
,是否已近執行了這個類型構造器。如果類型構造器從未執行,JIT編譯器會在它生成的本地代碼中添加對類型構造器的一個調用。如果類型構造器已經執行,JIT編譯器就不添加對它的調用。
當多個線程調用類型構造器時,調用線程要獲取一個互斥線程同步鎖。當第一個線程訪問完成後,其他線程被喚起,然後發現代碼已經被執行過,這些代碼就不會再執行代碼,而是直接從構造方法返回。
不要在值類型中使用靜態構造器,因為CLR有可能不調用值類型的靜態構造器。
操作符重載方法
CLR規範要求重載操作符重載方法必須是public和static方法。
C#要求操作符重載方法至少有一個參數的類型與當前定義的這個方法類型相同。
為了減少運行時開銷,編譯器會直接針對基元類型執行運算,並直接生成操作這些類型的實例的中間代碼(IL)指令,所以在Framework標準庫中沒有定義基元類型的操作符重載。
public sealed class Complexe
{
public static Complexe operator +(Complexe c1, Complexe c2)
{
return null;
}
}
轉換操作符方法
在編碼時我們常需要將對象從一個類型轉換到另一個類型,當源代碼是編譯器知道的類型時,編譯器自己知道如何生成轉換需要的代碼。否則要求CLR進行強制轉換。
class Program
{
static void Main(string[] args)
{
//隱士轉型
MyClass m1=5;
MyClass m2 = 3.33F;
//顯示轉型
Int32 x = (Int32)m1;
Single s = (Single)m2;
}
}
//MyClass類型定義了轉換構造器和方法
class MyClass
{
public MyClass(Int32 input)
{
}
public MyClass(Single input)
{
}
public Int32 ToInt32() {
//TODO: Do Something...
return 0;
}
public Single ToSingle() {
//TODO: Do Something...
return 0;
}
//Int32隱士構造返回MyClass
public static implicit operator MyClass(Int32 input) {
return new MyClass(input);
}
public static implicit operator MyClass(Single input)
{
return new MyClass(input);
}
//MyClass顯示返回Int32
public static explicit operator Int32(MyClass input) {
return input.ToInt32();
}
public static explicit operator Single(MyClass input)
{
return input.ToSingle();
}
}
擴展方法
擴展方法的聲明及使用
public static class StringExtensions
{
//定義了一個string類型的擴展方法
public static bool IsNullOrEmpty(this string input)
{
return string.IsNullOrEmpty(input);
}
}
規則和原則
- C#只支持擴展方法,不支持擴展屬性、事件、操作符等等。
- 擴展方法必須在非泛型的靜態類中聲明;擴展方法必須有一個參數,而且只有第一個參數能用this標記。
- 定義擴展方法的靜態類不可以嵌套在其他類型中,必須具有文件作用域。
- 為了提高C#編譯器查找擴展方法的效率,在使用時最好加上擴展方法類型的命名空間。
- 多個靜態類可以定義相同的擴展方法,但是這時候不能通過實例的方法來調用這個靜態方法,必須使用靜態語法。
- 使用擴展方法不可濫用,用一個擴展方法擴展一個類型時,同時也擴展了派生類。
- 擴展方法還潛在版本控制的問題,如果微軟更新了類型相同的實例方法,在使用時調用到的不是我們定義的擴展方法。
ExtensionAttribute類
在C#中,一旦用this關鍵字標記了某個靜態方法的第一個參數,編譯器就會在內部向該方法定製一個Attribute,併在生成的文件中的元數據持久保存。
如果代碼調用了一個不存在的實例方法,編譯器就會快速掃描引用的所有程式集,判斷他們哪些包含了擴展方法,然後在包含擴展方法的靜態類中快速找到擴展方法,以求最快的完成編譯。
分部方法
有時候我們會使用工具自動生成一些類型,我們不想再去修改文件或者是繼承這些類型從而能夠使方法滿足我們定製的要求,可以通過使用分部方法來完成這件事
//假設這個類型是由工具自動生成的
internal sealed partial class Base
{
private string _name;
public string Name
{
get { return _name; }
set
{
OnNameChanging(value.ToUpper());
_name = value;
}
}
partial void OnNameChanging(string name);
}
//在新的文件中,通過分部方法去實現工具生成的代碼中沒有實現的方法
internal sealed partial class Base {
partial void OnNameChanging(string name) {
//do something...
}
}
規則和原則
- 分部方法只能是在分部類或結構中使用。
- 分部方法返回值始終是
void
,且參數不能有out
,但是可以使用ref
,因為out
參數是需要在方法中賦值的,就像上面的工具生成的方法可能沒有實現。除了這兩個要求,分部方法和普通方法一樣可以是靜態的,可以用unsafe修飾符等等。 - 分佈方法總是被視為是
private
,但是不能顯示添加private
。