當前位置:
首頁 > 最新 > 通俗易懂,什麼是.NET?什麼是.NET Framework?什麼是.NET Core?

通俗易懂,什麼是.NET?什麼是.NET Framework?什麼是.NET Core?

什麼是.NET?什麼是.NET Framework?本文將從上往下,循序漸進的介紹一系列相關.NET的概念,先從類型系統開始講起,我將通過跨語言操作這個例子來逐漸引入一系列.NET的相關概念,這主要包括:CLS、CTS(CLI)、FCL、Windows下CLR的相關核心組成、Windows下託管程序運行概念、什麼是.NET Framework,.NET Core,.NET Standard及一些VS編譯器相關雜項和相關閱讀鏈接。完整的從上讀到下則你可以理解個大概的.NET體系。

.NET和C#是什麼關係

語言,是人們進行溝通表達的主要方式。編程語言,是人與機器溝通的表達方式。不同的編程語言,其側重點不同。有的編程語言是為了科學計算而開發的,所以其語法和功能更偏向於函數式思想。有些則是為了開發應用程序而創立的,所以其語法和功能更為均衡全面。

微軟公司是全球最大的電腦軟體提供商,為了佔據開發者市場,進而在2002年推出了Visual Studio(簡稱VS,是微軟提供給開發者的工具集) .NET 1.0版本的開發者平台。而為了吸引更多的開發者湧入平台,微軟還在2002年宣布推出一個特性強大並且與.NET平台無縫集成的編程語言,即C# 1.0正式版。

只要是.NET支持的編程語言,開發者就可以通過.NET平台提供的工具服務和框架支持便捷的開發應用程序。

C#就是為宣傳.NET而創立的,它直接集成於Visual Studio .NET中,VB也在.NET 1.0發布後對其進行支持, 所以這兩門語言與.NET平台耦合度很高,並且.NET上的技術大多都是以C#編程語言為示例,所以經常就.NET和C#混為一談(實質上它們是相輔相成的兩個概念)。

而作為一個開發者平台,它不僅僅是包含開發環境、技術框架、社區論壇、服務支持等,它還強調了平台的跨語言、跨平台編程的兩個特性。

跨語言和跨平台是什麼

跨語言:即只要是面向.NET平台的編程語言((C#、Visual Basic、C++/CLI、Eiffel、F#、IronPython、IronRuby、PowerBuilder、Visual COBOL 以及 Windows PowerShell)),用其中一種語言編寫的類型可以無縫地用在另一種語言編寫的應用程序中的互操作性。

跨平台:一次編譯,不需要任何代碼修改,應用程序就可以運行在任意有.NET框架實現的平台上,即代碼不依賴於操作系統,也不依賴硬體環境。

什麼是跨語言互操作,什麼是CLS

每門語言在最初被設計時都有其在功能和語法上的定位,讓不同的人使用擅長的語言去干合適的事,這在團隊協作時尤為重要。

.NET平台上的跨語言是通過CLS這個概念來實現的,接下來我就以C#和VB來演示 什麼是.NET中的跨語言互操作性。

通俗來說,雖然c#和vb是兩個不同的語言,但此處c#寫的類可以在vb中當做自家寫的類一樣正常使用。

比如我在vb中寫了一個針對String的首字母大寫的擴展方法,將其編譯後的dll引用至C#項目中。

在C#項目中,可以像自身代碼一樣正常使用來自vb這個dll的擴展方法。

現在有那麼多面向對象語言,但不是所有編程語言都能這樣直接互操作使用,而.NET平台支持的C#和VB之所以能這樣無縫銜接,先讀而後知,後文將會介紹緣由。不過雖然.NET平台提供了這樣一個互操作的特性,但終究語言是不一樣的,每個語言有其特色和差異處,在相互操作的時候就會難免遇到一些例外情況。

比如我在C#中定義了一個基類,類裡面包含一個公開的指針類型的成員,我想在vb中繼承這個類,並訪問這個公開的成員。

但是vb語言因為其定位不需要指針,所以並沒有C#中如int*這樣的指針類型,所以在vb中訪問一個該語言不支持的類型會報錯的,會提示:欄位的類型不受支持。

再比如,C#語言中,對類名是區分大小寫的,我在C#中定義了兩個類,一個叫BaseBusiness,另一個叫baseBusiness。我在vb中去繼承這個BaseBusiness類。

如圖,在vb中訪問這個類會報錯的,報:"BaseBusiness"不明確,這是因為在vb中對類名是不區分大小寫的。在vb中,它認為它同時訪問了兩個一模一樣的類,所以按照vb的規則這是不合理的。那麼為了在vb調用c#的程序集中避免這些因語言的差異性而導致的錯誤,在編寫c#代碼的時候 就應該提前知道vb中的這些規則,來應付式的開發。

但是,如果我想不僅僅局限於C#和VB,我還想我編寫的代碼在.Net平台上通用的話,那麼我還必須得知道.NET平台支持的每一種語言和我編寫代碼所使用的語言的差異,從而在編寫代碼中避免這些。

這幾年編程語言層出不窮,在將來.NET可能還會支持更多的語言,如果說對一個開發者而言掌握所有語言的差異處這是不現實的,所以.NET專門為此參考每種語言並找出了語言間的共性,然後定義了一組規則,開發者都遵守這個規則來編碼,那麼代碼就能被任意.NET平台支持的語言所通用。

而與其說是規則,不如說它是一組語言互操作的標準規範,它就是公共語言規範 - Common Language Specification ,簡稱CLS

CLS從類型、命名、事件、屬性、數組等方面對語言進行了共性的定義及規範。這些東西被提交給歐洲計算機製造聯合會ECMA,稱為:共同語言基礎設施。

就以類型而言,CLS定義了在C#語言中符合規範的類型和不符合的有:

當然,就編碼角度而言,我們不是必須要看那些詳略的文檔。為了方便開發者開發,.NET提供了一個特性,名叫:CLSCompliantAttribute,代碼被CLSCompliantAttribute標記後,如果你寫的代碼不符合CLS規範的話,編譯器就會給你一條警告。

值得一提的是,CLS規則只是面向那些公開可被其它程序集訪問的成員,如public、繼承的protected,對於該程序集的內部成員如Private、internal則不會執行該檢測規則。也就是說,所適應的CLS遵從性規則,僅是那些公開的成員,而非私有實現。

那麼有沒有那種特殊情況,比如我通過反射技術來訪問該程序集中,當前語言並不擁有的類型時會發生什麼情況呢?

答案是可以嘗試的,如用vb反射訪問c#中的char*指針類型,即使vb中沒有char*這種等價的指針類型,但mscorlib提供了針對指針類型的 Pointer 包裝類供其訪問,可以從運行時類攜帶的類型名稱看到其原本的類型名。

可以看到,該類中的元素是不符合CLS規範的。

CLS異常

提到特殊情況,還要說的一點就是異常處理。.NET框架組成中定義了異常類型系統,在編譯器角度,所有catch捕獲的異常都必須繼承自System.Exception,如果你要調用一個 由不遵循此規範的語言 拋出其它類型的異常對象(C++允許拋出任何類型的異常,如C#調用C++代碼,C++拋出一個string類型的異常),在C#2.0之前Catch(Exception)是捕捉不了的,但之後的版本可以。

在後續版本中,微軟提供了System.Runtime.CompilerServices.RuntimeWrappedException異常類,將那些不符合CLS的包含Exception的對象封裝起來。並且可以通過RuntimeCompatibilityAttribute特性來過濾這些異常。

RuntimeWrappedException :https://docs.microsoft.com/zh-cn/dotnet/api/system.runtime.compilerservices.runtimewrappedexception?view=netframework-4.7.2

那麼,這個段落總結一下,什麼是CLS呢?

在面向.NET開發中,編寫跨語言組件時所遵循的那些共性,那些規範就叫做 Common Langrage Specification簡稱 CLS,公共語言規範

官方CLS介紹:https://docs.microsoft.com/zh-cn/dotnet/standard/language-independence-and-language-independent-components

什麼是CTS?

如果理解了什麼是CLS的話,那麼你將很輕鬆理解什麼是CTS。

假設你已經圍繞著封裝 繼承 多態 這3個特性設計出了多款面向對象的語言,你發現大家都是面向對象,都能很好的將現實中的對象模型表達出來。除了語法和功能擅長不同,語言的定義和設計結構其實都差不多一回事。

比如,現實中你看到了一輛小汽車,這輛車裡坐著兩個人,那麼如何用這門語言來表達這樣的一個概念和場面?

首先要為這門語言橫向定義一個「類型」的概念。接下來在程序中就可以這樣表示:有一個汽車類型,有一個人類型,在一個汽車類型的對象內包含著兩個人類型的對象,因為要表達出這個模型,你又引入了「對象」的概念 。而現在,你又看到,汽車裡面的人做出了開車的這樣一個動作,由此你又引入了「動作指令」這樣一個概念。

接著,你又恍然大悟總結出一個定理,無論是什麼樣的「類型」,都只會存在這樣一個特徵,即活著的 帶生命特徵的(如人) 和 死的 沒有生命特徵的(如汽車) 這兩者中的一個。最後,隨著思想模型的成熟,你發現,這個「類型」就相當於一個富有主體特徵的一組指令的集合。

好,然後你開始照葫蘆畫瓢。你參考其它程序語言,你發現大家都是用class來表示類的含義,用struct表示結構的含義,用new來表示 新建一個對象的含義,於是,你對這部分功能的語法也使用class和new關鍵字來表示。然後你又發現,他們還用很多關鍵字來更豐富的表示這些現實模型,比如override、virtual等。於是,在不斷的思想升級和借鑒後,你對這個設計語言過程中思想的變化仔細分析,對這套語言體系給抽象歸納,最終總結出一套體系。

於是你對其它人這樣說,我總結出了一門語言很多必要的東西如兩種主要類別:值類別和引用類別,五個主要類型:類、介面、委託、結構、枚舉,我還規定了,一個類型可以包含欄位、屬性、方法、事件等成員,我還指定了每種類型的可見性規則和類型成員的訪問規則,等等等等,只要按照我這個體系來設計語言,設計出來的語言它能夠擁有很多不錯的特性,比如跨語言,跨平台等,C#和VB.net之所以能夠這樣就是因為這兩門語言的設計符合我這個體系。

那麼,什麼是CTS呢?

當你需要設計面向.Net的語言時所需要遵循一個體系(.Net平台下的語言都支持的一個體系)這個體系就是CTS(Common Type System 公共類型系統),它包括但不限於:

建立用於跨語言執行的框架。

提供面向對象的模型,支持在 .NET 實現上實現各種語言。

定義處理類型時所有語言都必須遵守的一組規則(CLS)。

提供包含應用程序開發中使用的基本基元數據類型(如 Boolean、Byte、Char 等)的庫。

上文的CLS是CTS(Common Type System 公共類型系統)這個體系中的子集。

一個編程語言,如果它能夠支持CTS,那麼我們就稱它為面向.NET平台的語言。

官方CTS介紹: https://docs.microsoft.com/zh-cn/dotnet/standard/common-type-system

微軟已經將CTS和.NET的一些其它組件,提交給ECMA以成為公開的標準,最後形成的標準稱為CLI(Common Language Infrastructure)公共語言基礎結構。

所以有的時候你見到的書籍或文章有的只提起CTS,有的只提起CLI,請不要奇怪,你可以寬泛的把他們理解成一個意思,CLI是微軟將CTS等內容提交給國際組織計算機製造聯合會ECMA的一個工業標準。

什麼是類庫?

在CTS中有一條就是要求基元數據類型的類庫。我們先搞清什麼是類庫?類庫就是類的邏輯集合,你開發工作中你用過或自己編寫過很多工具類,比如搞Web的經常要用到的 JsonHelper、XmlHelper、HttpHelper等等,這些類通常都會在命名為Tool、Utility等這樣的項目中。 像這些類的集合我們可以在邏輯上稱之為 "類庫",比如這些Helper我們統稱為工具類庫。

什麼是基礎類庫BCL?

當你通過VS創建一個項目後,你這個項目就已經引用好了通過.NET下的語言編寫好的一些類庫。比如控制台中你直接就可以用ConSole類來輸出信息,或者using System.IO 即可通過File類對文件進行讀取或寫入操作,這些類都是微軟幫你寫好的,不用你自己去編寫,它幫你編寫了一個面向.NET的開發語言中使用的基本的功能,這部分類,我們稱之為BCL(Base Class Library), 基礎類庫,它們大多都包含在System命名空間下。

基礎類庫BCL包含:基本數據類型,文件操作,集合,自定義屬性,格式設置,安全屬性,I/O流,字元串操作,事件日誌等的類型

什麼是框架類庫FCL?

有關BCL的就不在此一一類舉。.NET之大,發展至今,由微軟幫助開發人員編寫的類庫越來越多,這讓我們開發人員開發更加容易。由微軟開發的類庫統稱為:FCL,Framework Class Library ,.NET框架類庫,我上述所表達的BCL就是FCL中的一個基礎部分,FCL中大部分類都是通過C#來編寫的。

在FCL中,除了最基礎的那部分BCL之外,還包含我們常見的 如 : 用於網站開發技術的 ASP.NET類庫,該子類包含webform/webpage/mvc,用於桌面開發的 WPF類庫、WinForm類庫,用於通信交互的WCF、asp.net web api、Web Service類庫等等

什麼是基元類型?

像上文在CTS中提到了 基本基元數據類型,大家知道,每門語言都會定義一些基礎的類型,比如C#通過 int 來定義整型,用 string 來定義 字元串 ,用 object 來定義 根類。當我們來描述這樣一個類型的對象時可以有這兩種寫法,如圖:

我們可以看到,上邊用首字母小寫的藍色體string、object能描述,用首字母大寫的淺藍色String、Object也能描述,這兩種表述方式有何不同?

要知道,在vs默認的顏色方案中,藍色體 代表關鍵字,淺藍色體 代表類型。

那麼這樣也就意味著,由微軟提供的FCL類庫裡面 包含了 一些用於描述數據類型的 基礎類型,無論我們使用的是什麼語言,只要引用了FCL,我們都可以通過new一個類的方式來表達數據類型。

如圖:

用new來創建這些類型的對象,但這樣就太繁瑣,所以C#就用 int關鍵字來表示System.Int32,用 string關鍵字來表示 System.String等,所以我們才能這樣去寫。

像這樣被表述於編譯器直接支持的類型叫做基元類型,它被直接映射於BCL中具體的類。

下面是部分面向.NET的語言的基元類型與對應的BCL的類別圖 :

System.Object的意義

說起類型,這裡要說CTS定義的一個非常重要的規則,就是類與類之間只能單繼承,System.Object類是所有類型的根,任何類都是顯式或隱式的繼承於System.Object。

System.Object定義了類型的最基本的行為:用於實例比較的Equals系列方法、用於Hash表中Hash碼的GetHashCode、用於Clr運行時獲取的類型信息GetType、用於表示當前對象字元串的ToString、用於執行實例的淺複製MemberwiseClone、用於GC回收前操作的析構方法Finalize 這6類方法。

所以 Object不僅是C#語言的類型根、還是VB等所有面向.NET的語言的類型根,它是整個FCL的類型根。

當然,CTS定義了單繼承,很多編程語言都滿足這個規則,但也有語言是例外,如C++就不做繼承限制,可以繼承多個,C++/CLI作為C++在對.NET的CLI實現,如果在非託管編碼中多繼承那也可以,如果試圖在託管代碼中多繼承,那就會報錯。我前面已經舉過這樣特殊情況的例子,這也在另一方面反映出,各語言對CTS的支持並不是都如C#那樣全面的,我們只需明記一點:對於符合CTS的那部分自然就按照CTS定義的規則來。 任何可遵循CTS的類型規範,同時又有.NET運行時的實現的編程語言就可以成為.NET中的一員。

計算機是如何運行程序的?

接下來我要說什麼是.NET的跨平台,並解釋為什麼能夠跨語言。不過要想知道什麼是跨平台,首先你得知道一個程序是如何在本機上運行的。

什麼是CPU

CPU,全稱Central Processing Unit,叫做中央處理器,它是一塊超大規模的集成電路,是計算機組成上必不可少的組成硬體,沒了它,計算機就是個殼。

無論你編程水平怎樣,你都應該先知道,CPU是一台計算機的運算核心和控制核心,CPU從存儲器或高速緩衝存儲器中取出指令,放入指令寄存器,並對指令解碼,執行指令。

我們運行一個程序,CPU就會不斷的讀取程序中的指令並執行,直到關閉程序。事實上,從電腦開機開始,CPU就一直在不斷的執行指令直到電腦關機。

什麼是高級編程語言

在計算機角度,每一種CPU類型都有自己可以識別的一套指令集,計算機不管你這個程序是用什麼語言來編寫的,其最終只認其CPU能夠識別的二進位指令集。

在早期計算機剛發展的時代,人們都是直接輸入01010101這樣的沒有語義的二進位指令來讓計算機工作的,可讀性幾乎沒有,沒人願意直接編寫那些沒有可讀性、繁瑣、費時,易出差錯的二進位01代碼,所以後來才出現了編程語言。

編程語言的誕生,使得人們編寫的代碼有了可讀性,有了語義,與直接用01相比,更有利於記憶。

而前面說了,計算機最終只識別二進位的指令,那麼,我們用編程語言編寫出來的代碼就必須要轉換成供機器識別的指令。

就像這樣:

code:1+2function 翻譯方法(參數:code) { ..."1"=>"001";"2"=>"002";"+"=>"000";return能讓機器識別的二進位代碼; } call 翻譯方法("1+2") =>"001 000 002"

所以從一門編程語言所編寫的代碼文件轉換成能讓本機識別的指令,這中間是需要一個翻譯的過程。

而我們現在計算機上是運載著操作系統的,光翻譯成機器指令也不行,還得讓代碼文件轉化成可供操作系統執行的程序才行。

那麼這些步驟,就是編程語言所對應的編譯環節的工程了。這個翻譯過程是需要工具來完成,我們把它叫做 編譯器。

不同廠商的CPU有著不同的指令集,為了克服面向CPU的指令集的難讀、難編、難記和易出錯的缺點,後來就出現了面向特定CPU的特定彙編語言, 比如我打上這樣的x86彙編指令 mov ax,bx ,然後用上用機器碼做的彙編器,它將會被翻譯成 1000100111011000 這樣的二進位01格式的機器指令.

不同CPU架構上的彙編語言指令不同,而為了統一一套寫法,同時又不失彙編的表達能力,C語言就誕生了。

用C語言寫的代碼文件,會被C編譯器先轉換成對應平台的彙編指令,再轉成機器碼,最後將這些過程中產生的中間模塊鏈接成一個可以被操作系統執行的程序。

那麼彙編語言和C語言比較,我們就不需要去閱讀特定CPU的彙編碼,我只需要寫通用的C源碼就可以實現程序的編寫,我們用將更偏機器實現的彙編語言稱為低級語言,與彙編相比,C語言就稱之為高級語言。

在看看我們C#,我們在編碼的時候都不需要過於偏向特定平台的實現,翻譯過程也基本遵循這個過程。它的編譯模型和C語言類似,都是屬於這種間接轉換的中間步驟,故而能夠跨平台。

所以就類似於C/C#等這樣的高級語言來說是不區分平台的,而在於其背後支持的這個 翻譯原理 是否能支持其它平台。

什麼是託管代碼,託管語言,託管模塊?

作為一門年輕的語言,C#借鑒了許多語言的長處,與C比較,C#則更為高級。

往往一段簡小的C#代碼,其功能卻相當於C的一大段代碼,並且用C#語言你幾乎不需要指針的使用,這也就意味著你幾乎不需要進行人為的內存管控與安全考慮因素,也不需要多懂一些操作系統的知識,這讓編寫程序變得更加輕鬆和快捷。

如果說C#一段代碼可以完成其它低級語言一大段任務,那麼我們可以說它特性豐富或者類庫豐富。而用C#編程不需要人為內存管控是怎麼做到的呢?

.NET提供了一個垃圾回收器(GC)來完成這部分工作,當你創建類型的時候,它會自動給你分配所需要的這部分內存空間。就相當於,有一個專門的軟體或進程,它會讀取你的代碼,然後當你執行這行代碼的時候,它幫你做了內存分配工作。 這部分本該你做的工作,它幫你做了,這就是「託管」的概念。比如現實中 託管店鋪、託管教育等這樣的別人替你完成的概念。

因此,C#被稱之為託管語言。C#編寫的代碼也就稱之為託管代碼,C#生成的模塊稱之為託管模塊等。(對於託管的資源,是不需要也無法我們人工去干預的,但我們可以了解它的一些機制原理,在後文我會簡單介紹。)

只要有比較,就會產生概念。那麼在C#角度,那些脫離了.NET提供的諸如垃圾回收器這樣的環境管制,就是對應的 非託管了。

非託管的異常

我們編寫的程序有的模塊是由託管代碼編寫,有的模塊則調用了非託管代碼。在.NET Framework中也有一套基於此操作系統SEH的異常機制,理想的機制設定下我們可以直接通過catch(e)或catch來捕獲指定的異常和框架設計人員允許我們捕獲的異常。

而異常類型的級別也有大有小,有小到可以直接框架本身或用代碼處理的,有大到需要操作系統的異常機制來處理。.NET會對那些能讓程序崩潰的異常類型給進行標記,對於這部分異常,在.NET Framework 4.0之前允許開發人員在代碼中自己去處理,但4.0版本之後有所變更,這些被標記的異常默認不會在託管環境中拋出(即無法catch到),而是由操作系統的SEH機制去處理。

不過如果你仍然想在代碼中捕獲處理這樣的異常也是可以的,你可以對需要捕獲的方法上標記[System.Runtime.ExceptionServices.HandleProcessCorruptedStateExceptionsAttribute]特性,就可以在該方法內通過catch捕獲到該類型的異常。你也可以通過在配置文件中添加運行時節點來對全局進行這樣的一個配置:

HandleProcessCorruptedStateExceptions特性:https://msdn.microsoft.com/zh-cn/library/azure/system.runtime.exceptionservices.handleprocesscorruptedstateexceptionsattribute.aspx

SEHException類:https://msdn.microsoft.com/en-us/library/system.runtime.interopservices.sehexception(v=vs.100).aspx

處理損壞狀態異常博客專欄: https://msdn.microsoft.com/zh-cn/magazine/dd419661.aspx

什麼是CLR,.NET虛擬機?

實際上,.NET不僅提供了自動內存管理的支持,他還提供了一些列的如類型安全、應用程序域、異常機制等支持,這些 都被統稱為CLR公共語言運行庫。

CLR是.NET類型系統的基礎,所有的.NET技術都是建立在此之上,熟悉它可以幫助我們更好的理解框架組件的核心、原理。

在我們執行託管代碼之前,總會先運行這些運行庫代碼,通過運行庫的代碼調用,從而構成了一個用來支持託管程序的運行環境,進而完成諸如不需要開發人員手動管理內存,一套代碼即可在各大平台跑的這樣的操作。

這套環境及體系之完善,以至於就像一個小型的系統一樣,所以通常形象的稱CLR為".NET虛擬機"。那麼,如果以進程為最低端,進程的上面就是.NET虛擬機(CLR),而虛擬機的上面才是我們的託管代碼。換句話說,託管程序實際上是寄宿於.NET虛擬機中。

什麼是CLR宿主進程,運行時主機?

那麼相對應的,容納.NET虛擬機的進程就是CLR宿主進程了,該程序稱之為運行時主機。

這些運行庫的代碼,全是由C/C++編寫,具體表現為以mscoree.dll為代表的核心dll文件,該dll提供了N多函數用來構建一個CLR環境 ,最後當運行時環境構建完畢(一些函數執行完畢)後,調用_CorDllMain或_CorExeMain來查找並執行託管程序的入口方法(如控制台就是Main方法)。

如果你足夠熟悉CLR,那麼你完全可以在一個非託管程序中通過調用運行庫函數來定製CLR並執行託管代碼。

像SqlServer就集成了CLR,可以使用任何 .NET Framework 語言編寫存儲過程、觸發器、用戶定義類型、用戶定義函數(標量函數和表值函數)以及用戶定義的聚合函數。

有關CLR大綱介紹: https://msdn.microsoft.com/zh-cn/library/9x0wh2z3(v=vs.85).aspx

CLR集成: https://docs.microsoft.com/zh-cn/previous-versions/sql/sql-server-2008/ms131052(v%3dsql.100)

構造CLR的介面:https://msdn.microsoft.com/zh-cn/library/ms231039(v=vs.85).aspx

適用於 .NET Framework 2.0 的宿主介面:https://msdn.microsoft.com/zh-cn/library/ms164336(v=vs.85).aspx

選擇CLR版本: https://docs.microsoft.com/en-us/dotnet/framework/configure-apps/file-schema/startup/supportedruntime-element

所以C#編寫的程序如果想運行就必須要依靠.NET提供的CLR環境來支持。 而CLR是.NET技術框架中的一部分,故只要在Windows系統中安裝.NET Framework即可。

Windows系統自帶.NET Framework

Windows系統默認安裝的有.NET Framework,並且可以安裝多個.NET Framework版本,你也不需要因此卸載,因為你使用的應用程序可能依賴於特定版本,如果你移除該版本,則應用程序可能會中斷。

Microsoft .NET Framework百度百科下有windows系統默認安裝的.NET版本

圖出自 https://baike.baidu.com/item/Microsoft%20.NET%20Framework/9926417?fr=aladdin

.NET Framework 4.0.30319

在%SystemRoot%Microsoft.NET下的Framework和Framework64文件夾中分別可以看到32位和64位的.NET Framework安裝的版本。

我們點進去可以看到以.NET版本號為命名的文件夾,有2.0,3.0,3.5,4.0這幾個文件夾。

.NET Framework4.X覆蓋更新

要知道.NET Framework版本目前已經迭代到4.7系列,電腦上明明安裝了比4.0更高版本的.NET Framework,然而從文件夾上來看,最高不過4.0,這是為何?

原來自.NET Framework 4以來的所有.NET Framework版本都是直接在v4.0.30319文件夾上覆蓋更新,並且無法安裝以前的4.x系列的老版本,所以v4.0.30319這個目錄中其實放的是你最後一次更新的NET Framework版本。

.NET Framework覆蓋更新:https://docs.microsoft.com/en-us/dotnet/framework/install/guide-for-developers

如何確認本機安裝了哪些.NET Framework和對應CLR的版本?

我們可以通過註冊表等其它方式來查看安裝的最新版本:https://docs.microsoft.com/zh-cn/dotnet/framework/migration-guide/how-to-determine-which-versions-are-installed 。

不過如果不想那麼複雜的話,還有種最直接簡單的:

那就是進入該目錄文件夾,隨便找到幾個文件對其右鍵,然後點擊詳細信息即可查看到對應的文件版本,可以依據文件版本估摸出.NET Framework版本,比如csc.exe文件。

什麼是程序集

上文我介紹了編譯器,即將源代碼文件給翻譯成一個計算機可識別的二進位程序。而在.NET Framework目錄文件夾中就附帶的有 用於C#語言的命令行形式的編譯器csc.exe 和 用於VB語言的命令行形式的編譯器vbc.exe。

我們通過編譯器可以將後綴為.cs(C#)和.vb(VB)類型的文件編譯成程序集。

程序集是一個抽象的概念,不同的編譯選項會產生不同形式的程序集。以文件個數來區分的話,那麼就分 單文件程序集(即一個文件)和多文件程序集(多個文件)。

而不論是單文件程序集還是多文件程序集,其總有一個核心文件,就是表現為後綴為.dll或.exe格式的文件。它們都是標準的PE格式的文件,主要由4部分構成:

1.PE頭,即Windows系統上的可移植可執行文件的標準格式

2.CLR頭,它是託管模塊特有的,它主要包括

1.即用於記錄在源代碼中所定義的類型的定義表:ModuleDef、TypeDef、MethodDef、ParamDef、FieldDef、PropertyDef、EventDef,

2.引用了其它程序集中的類型成員的引用表:MemberRef、AssemblyRef、ModuleRef、TypeRef

3. 用於描述一些雜項(如版本、發布者、語言文化、多文件程序集中的一些資源文件等)的清單表:AssemblyDef、FileDef、ManifestResourceDef、ExportedTypeDef

1)程序入口方法

2)CLR版本號等一些標誌

3)一個可選的強名稱數字簽名

4)元數據表,主要用來記錄了在源代碼中定義和引用的所有的類型成員(如方法、欄位、屬性、參數、事件...)的位置和其標誌Flag(各種修飾符)

正是因為元數據表的存在,VS才能智能提示,反射才能獲取MemberInfo,CLR掃描元數據表即可獲得該程序集的相關重要信息,所以元數據表使得程序集擁有了自我描述的這一特性。clr2中,元數據表大概40多個,其核心按照用途分為3類:

3.IL代碼(也稱MSIL,後來被改名為CIL:Common Intermediate Language通用中間語言),是介於源代碼和本機機器指令中間的代碼,將通過CLR在不同的平台產生不同的二進位機器碼。

4.一些資源文件

多文件程序集的誕生場景有:比如我想為.exe綁定資源文件(如Icon圖標),或者我想按照功能以增量的方式來按需編譯成.dll文件。 通常很少情況下才會將源代碼編譯成多文件程序集,並且在VS IDE中總是將源代碼給編譯成單文件的程序集(要麼是.dll或.exe),所以接下來我就以單文件程序集為例來講解。

用csc.exe進行編譯

現在,我將演示一段文本是如何被csc.exe編譯成一個可執行的控制台程序的。

我們新建個記事本,然後將下面代碼複製上去。

後關閉記事本,將之.txt的後綴改為.cs的後綴(後綴是用來標示這個文件是什麼類型的文件,並不影響文件的內容)。

上述代碼相當於Web中的http.sys偽實現,是建立了通信的socket服務端,並通過while循環來不斷的監視獲取包的數據實現最基本的監聽功能,最終我們將通過csc.exe將該文本文件編譯成一個控制台程序。

mscorlib.dll和System.dll的區別:https://stackoverflow.com/questions/402582/mscorlib-dll-system-dll

因為我用了這些類,那麼按照編程規則我必須在代碼中using這些類的命名空間,並通過csc.exe中的 /r:dll路徑 命令來為生成的程序集註冊元數據表(即以AssemblyRef為代表的程序集引用表)。

而這些代碼引用了4個命名空間,但實際上它們只被包含在mscorlib.dll和System.dll中,那麼我只需要在編譯的時候註冊這兩個dll的信息就行了。

好,接下來我將通過cmd運行csc.exe編譯器,再輸入編譯命令: csc /out:D:demo.exe D:dicdemo.cs /r:D:dicSystem.dll

/r:是將引用dll中的類型數據註冊到程序集中的元數據表中 。

/out:是輸出文件的意思,如果沒有該命令則默認輸出.exe。

使用csc.exe編譯生成: https://docs.microsoft.com/zh-cn/dotnet/csharp/language-reference/compiler-options/command-line-building-with-csc-exe

csc編譯命令行介紹:https://www.cnblogs.com/shuang121/archive/2012/12/24/2830874.html

總之,你除了要掌握基本的編譯指令外,當你打上這行命令並按回車後,必須滿足幾個條件,1.是.cs後綴的c#格式文件,2.是 代碼語法等檢測分析必須正確,3.是 使用的類庫必須有出處(引用的dll),當然 因為我是編譯為控制台程序,所以還必須得有個靜態Main方法入口,以上缺一不可。

可以看出,這段命令我是將 位於D:dic的demo.cs文件給編譯成 位於D:名為demo.exe的控制台文件,並且因為在代碼中使用到了System.dll,所以還需要通過/r註冊該元數據表。

這裡得注意為什麼沒有/r:mscorlib.dll,因為mscorlib.dll地位的特殊,所以csc總是對每個程序集進行mscorlib.dll的註冊(自包含引用該dll),因此我們可以不用/r:mscorlib.dll這個引用命令,但為了演示效果我還是決定通過/nostdlib命令來禁止csc默認導入mscorlib.dll文件。

所以,最終命令是這樣的: csc D:dicdemo.cs /r:D:dicmscorlib.dll /r:D:dicSystem.dll /nostdlib

因為沒有指定輸出文件/out選項, 所以會默認輸出在與csc同一目錄下名為demo.exe的文件。事實上,在csc的命令中,如果你沒有指定路徑,那麼就默認採用在csc.exe的所在目錄的相對路徑。

而我們可以看到,在該目錄下有許多程序集,其中就包含我們需要的System.dll和mscorlib.dll,所以我們完全可以直接/r:mscorlib.dll /r:System.dll

而類似於System.dll、System.Data.dll這樣使用非常頻繁的程序集,我們其實不用每次編譯的時候都去手動/r一下,對於需要重複勞動的編譯指令,我們可以將其放在後綴為.rsp的指令文件中,然後在編譯時直接調用文件即可執行裡面的命令 @ .rsp。

csc.exe默認包含csc.rsp文件,我們可以用/noconfig來禁止默認包含,而csc.rsp裡面已經寫好了我們會經常用到的指令。

所以,最終我可以這樣寫 csc D:dicdemo.cs 直接生成控制台應用程序。

GIF

.NET程序執行原理

好的,現在我們已經有了一個demo.exe的可執行程序,它是如何被我們運行的?。

C#源碼被編譯成程序集,程序集內主要是由一些元數據表和IL代碼構成,我們雙擊執行該exe,Windows載入器將該exe(PE格式文件)給映射到虛擬內存中,程序集的相關信息都會被載入至內存中,並查看PE文件的入口點(EntryPoint)並跳轉至指定的mscoree.dll中的_CorExeMain函數,該函數會執行一系列相關dll來構造CLR環境,當CLR預熱後調用該程序集的入口方法Main(),接下來由CLR來執行託管代碼(IL代碼)。

JIT編譯

前面說了,計算機最終只識別二進位的機器碼,在CLR下有一個用來將IL代碼轉換成機器碼的引擎,稱為Just In Time Compiler,簡稱JIT,CLR總是先將IL代碼按需通過該引擎編譯成機器指令再讓CPU執行,在這期間CLR會驗證代碼和元數據是否類型安全(在對象上只調用正確定義的操作、標識與聲稱的要求一致、對類型的引用嚴格符合所引用的類型),被編譯過的代碼無需JIT再次編譯,而被編譯好的機器指令是被存在內存當中,當程序關閉後再打開仍要重新JIT編譯。

AOT編譯

CLR的內嵌編譯器是即時性的,這樣的一個很明顯的好處就是可以根據當時本機情況生成更有利於本機的優化代碼,但同樣的,每次在對代碼編譯時都需要一個預熱的操作,它需要一個運行時環境來支持,這之間還是有消耗的。

而與即時編譯所對應的,就是提前編譯了,英文為Ahead of Time Compilation,簡稱AOT,也稱之為靜態編譯。

在.NET中,使用Ngen.exe或者開源的.NET Native可以提前將代碼編譯成本機指令。

Ngen是將IL代碼提前給全部編譯成本機代碼並安裝在本機的本機映像緩存中,故而可以減少程序因JIT預熱的時間,但同樣的也會有很多注意事項,比如因JIT的喪失而帶來的一些特性就沒有了,如類型驗證。Ngen僅是儘可能代碼提前編譯,程序的運行仍需要完整的CLR來支持。

.NET Native在將IL轉換為本機代碼的時候,會嘗試消除所有元數據將依靠反射和元數據的代碼替換為靜態本機代碼,並且將完整的CLR替換為主要包含垃圾回收器的重構運行時mrt100_app.dll。

.NET Native: https://docs.microsoft.com/zh-cn/dotnet/framework/net-native/

Ngen.exe:https://docs.microsoft.com/zh-cn/dotnet/framework/tools/ngen-exe-native-image-generator

Ngen與.NET Native比較:https://www.zhihu.com/question/27997478/answer/38978762

---------------------------------------------------

現在,我們可以通過ILDASM工具(一款查看程序集IL代碼的軟體,在Microsoft SDKs目錄中的子目錄中)來查看該程序集的元數據表和Main方法中間碼。

c#源碼第一行代碼:string rootDirectory = Environment.CurrentDirectory;被翻譯成IL代碼: call string [mscorlib/*23000001*/]System.Environment/*01000004*/::get_CurrentDirectory() /* 0A000003 */

這句話意思是調用 System.Environment類的get_CurrentDirectory()方法(屬性會被編譯為一個私有欄位+對應get/set方法)。

點擊視圖=>元信息=>顯示,即可查看該程序集的元數據。

我們可以看到System.Environment標記值為01000004,在TypeRef類型引用表中找到該項:

注意圖,TypeRefName下面有該類型中被引用的成員,其標記值為0A000003,也就是get_CurrentDirectory了。

而從其ResolutionScope指向位於0x23000001而得之,該類型存在於mscorlib程序集。

於是我們打開mscorlib.dll的元數據清單,可以在類型定義表(TypeDef)找到System.Environment,可以從元數據得知該類型的一些標誌(Flags,常見的public、sealed、class、abstract),也得知繼承(Extends)於System.Object。在該類型定義下還有類型的相關信息,我們可以在其中找到get_CurrentDirectory方法。 我們可以得到該方法的相關信息,這其中表明了該方法位於0x0002b784這個相對虛地址(RVA),接著JIT在新地址處理CIL,周而復始。

元數據在運行時的作用: https://docs.microsoft.com/zh-cn/dotnet/standard/metadata-and-self-describing-components#run-time-use-of-metadata

程序集的規則

上文我通過ILDASM來描述CLR執行代碼的方式,但還不夠具體,還需要補充的是對於程序集的搜索方式。

對於System.Environment類型,它存在於mscorlib.dll程序集中,demo.exe是個獨立的個體,它通過csc編譯的時候只是註冊了引用mscorlib.dll中的類型的引用信息,並沒有記錄mscorlib.dll在磁碟上的位置,那麼,CLR怎麼知道get_CurrentDirectory的代碼?它是從何處讀取mscorlib.dll的?

對於這個問題,.NET有個專門的概念定義,我們稱為 程序集的載入方式。

程序集的載入方式

對於自身程序集內定義的類型,我們可以直接從自身程序集中的元數據中獲取,對於在其它程序集中定義的類型,CLR會通過一組規則來在磁碟中找到該程序集並載入在內存。

CLR在查找引用的程序集的位置時候,第一個判斷條件是 判斷該程序集是否被簽名。

什麼是簽名?

強名稱程序集

就比如大家都叫張三,姓名都一樣,喊一聲張三不知道到底在叫誰。這時候我們就必須擴展一下這個名字以讓它具有唯一性。

我們可以通過sn.exe或VS對項目右鍵屬性在簽名選項卡中採取RSA演算法對程序集進行數字簽名(加密:公鑰加密,私鑰解密。簽名:私鑰簽名,公鑰驗證簽名),會將構成程序集的所有文件通過哈希演算法生成哈希值,然後通過非對稱加密演算法用私鑰簽名,最後公布公鑰生成一串token,最終將生成一個由程序集名稱、版本號、語言文化、公鑰組成的唯一標識,它相當於一個強化的名稱,即強名稱程序集。

mscorlib, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b77a5c561934e089

我們日常在VS中的項目默認都沒有被簽名,所以就是弱名稱程序集。強名稱程序集是具有唯一標識性的程序集,並且可以通過對比哈希值來比較程序集是否被篡改,不過仍然有很多手段和軟體可以去掉程序集的簽名。

需要值得注意的一點是:當你試圖在已生成好的強名稱程序集中引用弱名稱程序集,那麼你必須對弱名稱程序集進行簽名並在強名稱程序集中重新註冊。

之所以這樣是因為一個程序集是否被篡改還要考慮到該程序集所引用的那些程序集,根據CLR搜索程序集的規則(下文會介紹),沒有被簽名的程序集可以被隨意替換,所以考慮到安全性,強名稱程序集必須引用強名稱程序集,否則就會報錯:需要強名稱程序集。

.NET Framework 4.5中對強簽名的更改:https://docs.microsoft.com/zh-cn/dotnet/framework/app-domains/enhanced-strong-naming

程序集搜索規則

事實上,按照存儲位置來說,程序集分為共享(全局)程序集和私有程序集。

CLR查找程序集的時候,會先判斷該程序集是否被強簽名,如果強簽名了那麼就會去共享程序集的存儲位置(後文的GAC)去找,如果沒找到或者該程序集沒有被強簽名,那麼就從該程序集的同一目錄下去尋找。

強名稱程序集是先找到與程序集名稱(VS中對項目右鍵屬性應用程序->程序集名稱)相等的文件名稱,然後 按照唯一標識再來確認,確認後CLR載入程序集,同時會通過公鑰效驗該簽名來驗證程序集是否被篡改(如果想跳過驗證可查閱https://docs.microsoft.com/zh-cn/dotnet/framework/app-domains/how-to-disable-the-strong-name-bypass-feature),如果強名稱程序集被篡改則報錯。

而弱名稱程序集則直接按照與程序集名稱相等的文件名稱來找,如果還是沒有找到就以該程序集名稱為目錄的文件夾下去找。總之,如果最終結果就是沒找到那就會報System.IO.FileNotFoundException異常,即嘗試訪問磁碟上不存在的文件失敗時引發的異常。

注意:此處文件名稱和程序集名稱是兩個概念,不要模稜兩可,文件CLR頭內嵌程序集名稱。

舉個例子:

我有一個控制台程序,其路徑為D:DemoDebugdemo.exe,通過該程序的元數據得知,其引用了一個程序集名稱為aa的普通程序集,引用了一個名為bb的強名稱程序集,該bb.dll的強名稱標識為:xx001。

現在CLR開始搜索程序集aa,首先它會從demo.exe控制台的同一目錄(也就是D:DemoDebug)中查找程序集aa,搜索文件名為aa.dll的文件,如果沒找到就在該目錄下以程序集名稱為目錄的目錄中查找,也就是會查 D:DemoDebugaaaa.dll,這也找不到那就報錯。

然後CLR開始搜索程序集bb,CLR從demo.exe的元數據中發現bb是強名稱程序集,其標識為:xx001。於是CLR會先從一個被定義為GAC的目錄中去通過標識找,沒找到的話剩下的尋找步驟就和尋找aa一樣完全一致了。

當然,你也可以通過配置文件config中(配置文件存在於應用程序的同一目錄中)人為增加程序集搜索規則:

1.在運行時runtime節點中,添加privatePath屬性來添加搜索目錄,不過只能填寫相對路徑:

//程序集當前目錄下的相對路徑目錄,用;號分割

2.如果程序集是強簽名後的,那麼可以通過codeBase來指定網路路徑或本地絕對路徑。

當然,我們還可以在代碼中通過AppDomain類中的幾個成員來改變搜索規則,如AssemblyResolve事件、AppDomainSetup類等。

有關運行時節點的描述:https://docs.microsoft.com/zh-cn/dotnet/framework/configure-apps/file-schema/runtime/runtime-element

項目的依賴順序

如果沒有通過config或者在代碼中來設定CLR搜索程序集的規則,那麼CLR就按照默認的也就是我上述所說的模式來尋找。

所以如果我們通過csc.exe來編譯項目,引用了其它程序集的話,通常需要將那些程序集複製到同一目錄下。故而每當我們通過VS編譯器對項目右鍵重新生成項目(重新編譯)時,VS都會將引用的程序集給複製一份到項目bin輸出目錄Debug文件夾下,我們可以通過VS中對引用的程序集右鍵屬性-複製本地 True/Flase 來決定這一默認行為。

值得一提的是,項目間的生成是有序生成的,它取決於項目間的依賴順序。

比如Web項目引用BLL項目,BLL項目引用了DAL項目。那麼當我生成Web項目的時候,因為我要註冊Bll程序集,所以我要先生成Bll程序集,而BLL程序集又引用了Dal,所以又要先生成Dal程序集,所以程序集生成順序就是Dal=>BLL=>Web,項目越多編譯的時間就越久。

程序集之間的依賴順序決定了編譯順序,所以在設計項目間的分層劃分時不僅要體現出層級職責,還要考慮到依賴順序。代碼存放在哪個項目要有講究,不允許出現互相引用的情況,比如A項目中的代碼引用B,B項目中的代碼又引用A。

為什麼Newtonsoft.Json版本不一致?

而除了注意編譯順序外,我們還要注意程序集間的版本問題,版本間的錯亂會導致程序的異常。

舉個經典的例子:Newtonsoft.Json的版本警告,大多數人都知道通過版本重定向來解決這個問題,但很少有人會琢磨為什麼會出現這個問題,找了一圈文章,沒找到一個解釋的。

比如:

A程序集引用了 C盤:Newtonsoft.Json 6.0程序集

B程序集引用了 從Nuget下載下來的Newtonsoft.Json 10.0程序集

此時A引用B,就會報:發現同一依賴程序集的不同版本間存在無法解決的衝突 這一警告。

A:引用Newtonsoft.Json6.0Func() {varobj=Newtonsoft.Json.Obj; B.Convert(); } B: 引用Newtonsoft.Json10.0JsonObj() {returnNewtonsoft.Json.Obj; }

A程序集中的Func方法調用了B程序集中的JsonObj方法,JsonObj方法又調用了Newtonsoft.Json 10.0程序集中的對象,那麼當執行Func方法時程序就會異常,報System.IO.FileNotFoundException: 未能載入文件或程序集Newtonsoft.Json 10.0的錯誤。

這是為什麼?

1.這是因為依賴順序引起的。A引用了B,首先會先生成B,而B引用了 Newtonsoft.Json 10.0,那麼VS就會將源引用文件(Newtonsoft.Json 10.0)複製到B程序集同一目錄(bin/Debug)下,名為Newtonsoft.Json.dll文件,其內嵌程序集版本為10.0。

2.然後A引用了B,所以會將B程序集和B程序集的依賴項(Newtonsoft.Json.dll)給複製到A的程序集目錄下,而A又引用了C盤的Newtonsoft.Json 6.0程序集文件,所以又將C:Newtonsoft.Json.dll文件給複製到自己程序集目錄下。因為兩個Newtonsoft.Json.dll重名,所以直接覆蓋了前者,那麼只保留了Newtonsoft.Json 6.0。

3.當我們調用Func方法中的B.Convert()時候,CLR會搜索B程序集,找到後再調用 return Newtonsoft.Json.Obj 這行代碼,而這行代碼又用到了Newtonsoft.Json程序集,接下來CLR搜索Newtonsoft.Json.dll,文件名稱滿足,接下來CLR判斷其標識,發現版本號是6.0,與B程序集清單里註冊的10.0版本不符,故而才會報出異常:未能載入文件或程序集Newtonsoft.Json 10.0。

以上就是為何Newtonsoft.Json版本不一致會導致錯誤的原因,其也詮釋了CLR搜索程序集的一個過程。

那麼,如果我執意如此,有什麼好的解決方法能讓程序順利執行呢?有,有2個方法。

第一種:通過bindingRedirect節點重定向,即當找到10.0的版本時,給定向到6.0版本

如何在編譯時載入兩個相同的程序集?

注意:我看過有的文章里寫的一個AppDomain只能載入一個相同的程序集,很多人都以為不能同時載入2個不同版本的程序集,實際上CLR是可以同時載入Newtonsoft.Json 6.0和Newtonsoft.Json 10.0的。

第二種:對每個版本指定codeBase路徑,然後分別放上不同版本的程序集,這樣就可以載入兩個相同的程序集。

如何同時調用兩個兩個相同命名空間和類型的程序集?

除了程序集版本不同外,還有一種情況就是,我一個項目同時引用了程序集A和程序集B,但程序集A和程序集B中的命名空間和類型名稱完全一模一樣,這個時候我調用任意一個類型都無法區分它是來自於哪個程序集的,那麼這種情況我們可以使用extern alias外部別名。

我們需要在所有代碼前定義別名,extern alias a;extern alias b;,然後在VS中對引用的程序集右鍵屬性-別名,分別將其更改為a和b(或在csc中通過/r:=.dll)。

在代碼中通過 ::.的方式來使用。

extern-alias介紹: https://docs.microsoft.com/zh-cn/dotnet/csharp/language-reference/keywords/extern-alias

共享程序集GAC

我上面說了這麼多有關CLR載入程序集的細節和規則,事實上,類似於mscorlib.dll、System.dll這樣的FCL類庫被引用的如此頻繁,它已經是我們.NET編程中必不可少的一部分,幾盡每個項目都會引用,為了不再每次使用的時候都複製一份,所以計算機上有一個位置專門存儲這些我們都會用到的程序集,叫做全局程序集緩存(Global Assembly Cache,GAC),這個位置一般位於C:WindowsMicrosoft.NETassembly和3.5之前版本的C:Windowsassembly。

既然是共享存放的位置,那不可避免的會遇到文件名重複的情況,那麼為了杜絕該類情況,規定在GAC中只能存在強名稱程序集,每當CLR要載入強名稱程序集時,會先通過標識去GAC中查找,而考慮到程序集文件名稱一致但版本文化等複雜的情況,所以GAC有自己的一套目錄結構。我們如果想將自己的程序集放入GAC中,那麼就必須先簽名,然後通過如gacutil.exe工具(其存在於命令行工具中 https://docs.microsoft.com/zh-cn/dotnet/framework/tools/developer-command-prompt-for-vs中)來註冊至GAC中,值得一提的是在將強名稱程序集安裝在GAC中,會效驗簽名。

GAC工具: https://docs.microsoft.com/en-us/dotnet/framework/tools/gacutil-exe-gac-tool

延伸

CLR是按需載入程序集的,沒有執行代碼也就沒有調用相應的指令,沒有相應的指令,CLR也不會對其進行相應的操作。 當我們執行Environment.CurrentDirectory這段代碼的時候,CLR首先要獲取Environment類型信息,通過自身元數據得知其存在mscorlib.dll程序集中,所以CLR要載入該程序集,而mscorlib.dll又由於其地位特殊,早在CLR初始化的時候就已經被類型載入器自動載入至內存中,所以這行代碼可以直接在內存中讀取到類型的方法信息。

在這個章節,我雖然描述了CLR搜索程序集的規則,但事實上,載入程序集讀取類型信息遠遠沒有這麼簡單,這涉及到了屬於.NET Framework獨有的"應用程序域"概念和內存信息的查找。

簡單延伸兩個問題,mscorlib.dll被載入在哪裡?內存堆中又是什麼樣的一個情況?

應用程序域

傳統非託管程序是直接承載在Windows進程中,託管程序是承載在.NET虛擬機CLR上的,而在CLR中管控的這部分資源中,被分成了一個個邏輯上的分區,這個邏輯分區被稱為應用程序域,是.NET Framework中定義的一個概念。

因為堆內存的構建和刪除都通過GC去託管,降低了人為出錯的幾率,在此特性基礎上.NET強調在一個進程中通過CLR強大的管理建立起對資源邏輯上的隔離區域,每個區域的應用程序互不影響,從而讓託管代碼程序的安全性和健壯性得到了提升。

熟悉程序集載入規則和AppDomain是在.NET技術下進行插件編程的前提。AppDomain這部分概念並不複雜。

當啟動一個託管程序時,最先啟動的是CLR,在這過程中會通過代碼初始化三個邏輯區域,最先是SystemDomain系統程序域,然後是SharedDoamin共享域,最後是Domain默認域。

系統程序域里維持著一些系統構建項,我們可以通過這些項來監控並管理其它應用程序域等。共享域存放著其它域都會訪問到的一些信息,當共享域初始化完畢後,會自動載入mscorlib.dll程序集至該共享域。而默認域則用儲存自身程序集的信息,我們的主程序集就會被載入至這個默認域中,執行程序入口方法,在沒有特殊動作外所產生的一切耗費都發生在該域。

我們可以在代碼中創建和卸載應用程序域,域與域之間有隔離性,掛掉A域不會影響到B域,並且對於每一個載入的程序集都要指定域的,沒有在代碼中指定域的話,默認都是載入至默認域中。

AppDomain可以想像成組的概念,AppDomain包含了我們載入的一組程序集。我們通過代碼卸載AppDomain,即同時卸載了該AppDomain中所載入的所有程序集在內存中的相關區域。

AppDomain的初衷是邊緣隔離,它可以讓程序不重新啟動而長時間運行,圍繞著該概念建立的體系從而讓我們能夠使用.NET技術進行插件編程。

當我們想讓程序在不關閉不重新部署的情況下添加一個新的功能或者改變某一塊功能,我們可以這樣做:將程序的主模塊仍默認載入至默認域,再創建一個新的應用程序域,然後將需要更改或替換的模塊的程序集載入至該域,每當更改和替換的時候直接卸載該域即可。 而因為域的隔離性,我在A域和B域載入同一個程序集,那麼A域和B域就會各存在內存地址不同但數據相同的程序集數據。

跨邊界訪問

事實上,在開發中我們還應該注意跨域訪問對象的操作(即在A域中的程序集代碼直接調用B域中的對象)是與平常編程中有所不同的,一個域中的應用程序不能直接訪問另一個域中的代碼和數據,對於這樣的在進程內跨域訪問操作分兩類。

一是按引用封送,需要繼承System.MarshalByRefObject,傳遞的是該對象的代理引用,與源域有相同的生命周期。

二是按值封送,需要被[Serializable]標記,是通過序列化傳遞的副本,副本與源域的對象無關。

無論哪種方式都涉及到兩個域直接的封送、解封,所以跨域訪問調用不適用於過高頻率。

(比如,原來你是這樣調用對象: var user=new User(); 現在你要這樣:var user=(User).CreateInstanceFromAndUnwrap("Model.dll","Model.User"); )

值得注意的是,應用程序域是對程序集的組的劃分,它與進程中的線程是兩個一橫一豎,方向不一樣的概念,不應該將這2個概念放在一起比較。我們可以通過Thread.GetDomain來查看執行線程所在的域。

應用程序域在類庫中是System.AppDomain類,部分重要的成員有:

獲取當前 System.Threading.Thread 的當前應用程序域publicstaticAppDomain CurrentDomain {get; } 使用指定的名稱新建應用程序域publicstaticAppDomain CreateDomain(stringfriendlyName); 卸載指定的應用程序域。publicstaticvoidUnload(AppDomain domain); 指示是否對當前進程啟用應用程序域的 CPU 和內存監視,開啟後可以根據相關屬性進行監控publicstaticboolMonitoringIsEnabled {get;set; } 當前域託管代碼拋出異常時最先發生的一個事件,框架設計中可以用到publiceventEventHandlerFirstChanceException; 當某個異常未被捕獲時調用該事件,如代碼里只catch了a異常,實際產生的是 b異常,那麼b異常就沒有捕捉到。publiceventUnhandledExceptionEventHandler UnhandledException; 為指定的應用程序域屬性分配指定值。該應用程序域的局部存儲值,該存儲不劃分上下文和線程,均可通過GetData獲取。publicvoidSetData(stringname,objectdata); 如果想使用託管代碼來覆蓋CLR的默認行為https://msdn.microsoft.com/zh-cn/library/system.appdomainmanager(v=vs.85).aspxpublicAppDomainManager DomainManager {get; } 返回域的配置信息,如在config中配置的節點信息publicAppDomainSetup SetupInformation {get; }

應用程序域: https://docs.microsoft.com/zh-cn/dotnet/framework/app-domains/application-domains

AppDomain和AppPool

注意:此處的AppDomain應用程序域 和 IIS中的AppPool應用程序池 是2個概念,AppPool是IIS獨有的概念,它也相當於一個組的概念,對網站進行劃組,然後對組進行一些如進程模型、CPU、內存、請求隊列的高級配置。

內存

應用程序域把資源給隔離開,這個資源,主要指內存。那麼什麼是內存呢?

要知道,程序運行的過程就是電腦不斷通過CPU進行計算的過程,這個過程需要讀取併產生運算的數據,為此我們需要一個擁有足夠容量能夠快速與CPU交互的存儲容器,這就是內存了。對於內存大小,32位處理器,定址空間最大為2的32次方byte,也就是4G內存,除去操作系統所佔用的公有部分,進程大概能佔用2G內存,而如果是64位處理器,則是8T。

而在.NET中,內存區域分為堆棧和託管堆。

堆棧和堆的區別

堆和堆棧就內存而言只不過是地址範圍的區別。不過堆棧的數據結構和其存儲定義讓其在時間和空間上都緊密的存儲,這樣能帶來更高的內存密度,能在CPU緩存和分頁系統表現的更好。故而訪問堆棧的速度總體來說比訪問堆要快點。

線程堆棧

操作系統會為每條線程分配一定的空間,Windwos為1M,這稱之為線程堆棧。在CLR中的棧主要用來執行線程方法時,保存臨時的局部變數和函數所需的參數及返回的值等,在棧上的成員不受GC管理器的控制,它們由操作系統負責分配,當線程走出方法後,該棧上成員採用後進先出的順序由操作系統負責釋放,執行效率高。

而託管堆則沒有固定容量限制,它取決於操作系統允許進程分配的內存大小和程序本身對內存的使用情況,託管堆主要用來存放對象實例,不需要我們人工去分配和釋放,其由GC管理器託管。

為什麼值類型存儲在棧上

不同的類型擁有不同的編譯時規則和運行時內存分配行為,我們應知道,C# 是一種強類型語言,每個變數和常量都有一個類型,在.NET中,每種類型又被定義為值類型或引用類型。

使用 struct、enum 關鍵字直接派生於System.ValueType定義的類型是值類型,使用 class、interface、delagate 關鍵字派生於System.Object定義的類型是引用類型。

對於在一個方法中產生的值類型成員,將其值分配在棧中。這樣做的原因是因為值類型的值其佔用固定內存的大小。

C#中int關鍵字對應BCL中的Int32,short對應Int16。Int32為2的32位,如果把32個二進位數排列開來,我們要求既能表達正數也能表達負數,所以得需要其中1位來表達正負,首位是0則為+,首位是1則為-,那麼我們能表示數據的數就只有31位了,而0是介於-1和1之間的整數,所以對應的Int32能表現的就是2的31次方到2的31次方-1,即2147483647和-2147483648這個整數段。

1個位元組=8位,32位就是4個位元組,像這種以Int32為代表的值類型,本身就是固定的內存佔用大小,所以將值類型放在內存連續分配的棧中。

託管堆模型

而引用類型相比值類型就有點特殊,newobj創建一個引用類型,因其類型內的引用對象可以指向任何類型,故而無法準確得知其固定大小,所以像對於引用類型這種無法預知的容易產生內存碎片的動態內存,我們把它放到託管堆中存儲。

託管堆由GC託管,其分配的核心在於堆中維護著一個nextObjPtr指針,我們每次實例(new)一個對象的時候,CLR將對象存入堆中,並在棧中存放該對象的起始地址,然後該指針都會根據該對象的大小來計算下一個對象的起始地址。不同於值類型直接在棧中存放值,引用類型則還需要在棧中存放一個代表(指向)堆中對象的值(地址)。

而託管堆又可以因存儲規則的不同將其分類,託管堆可以被分為3類:

1.用於託管對象實例化的垃圾回收堆,又以存儲對象大小分為小對象(=85000byte)大對象堆(LOG,Larage Object Heap)。

2.用於存儲CLR組件和類型系統的載入(Loader)堆,其中又以使用頻率分為經常訪問的高頻堆(裡面包含有MethodTables方法表, MeghodDescs方法描述, FieldDescs方法描述和InterfaceMaps介面圖),和較低的低頻堆,和Stub堆(輔助代碼,如JIT編譯後修改機器代碼指令地址環節)。

3.用於存儲JIT代碼的堆及其它雜項的堆。

載入程序集就是將程序集中的信息給映射在載入堆,對產生的實例對象存放至垃圾回收堆。前文說過應用程序域是指通過CLR管理而建立起的邏輯上的內存邊界,那麼每個域都有其自己的載入堆,只有卸載應用程序域的時候,才會回收該域對應的載入堆。

而載入堆中的高頻堆包含的有一個非常重要的數據結構表---方法表,每個類型都僅有一份方法表(MethodTables),它是對象的第一個實例創建前的類載入活動的結果,它主要包含了我們所關注的3部分信息:

1包含指向EEClass的一個指針。EEClass是一個非常重要的數據結構,當類載入器載入到該類型時會從元數據中創建出EEClass,EEClass里主要存放著與類型相關的表達信息。

2包含指向各自方法的方法描述器(MethodDesc)的指針邏輯組成的線性表信息:繼承的虛函數, 新虛函數, 實例方法, 靜態方法。

3包含指向靜態欄位的指針。

那麼,實例一個對象,CLR是如何將該對象所對應的類型行為及信息的內存位置(載入堆)關聯起來的呢?

原來,在託管堆上的每個對象都有2個額外的供於CLR使用的成員,我們是訪問不到的,其中一個就是類型對象指針,它指向位於載入堆中的方法表從而讓類型的狀態和行為關聯了起來, 類型指針的這部分概念我們可以想像成obj.GetType()方法獲得的運行時對象類型的實例。而另一個成員就是同步塊索引,其主要用於2點:1.關聯內置SyncBlock數組的項從而完成互斥鎖等目的。 2.是對象Hash值計算的輸入參數之一。

GIF

上述gif是我簡單畫的一個圖,可以看到對於方法中申明的值類型變數,其在棧中作為一塊值表示,我們可以直接通過c#運算符sizeof來獲得值類型所佔byte大小。而方法中申明的引用類型變數,其在託管堆中存放著對象實例(對象實例至少會包含上述兩個固定成員以及實例數據,可能),在棧中存放著指向該實例的地址。

當我new一個引用對象的時候,會先分配同步塊索引(也叫對象頭位元組),然後是類型指針,最後是類型實例數據(靜態欄位的指針存在於方法表中)。會先分配對象的欄位成員,然後分配對象父類的欄位成員,接著再執行父類的構造函數,最後才是本對象的構造函數。這個多態的過程,對於CLR來說就是一系列指令的集合,所以不能糾結new一個子類對象是否會也會new一個父類對象這樣的問題。而也正是因為引用類型的這樣一個特徵,我們雖然可以估計一個實例大概佔用多少內存,但對於具體佔用的大小,我們需要專門的工具來測量。

對於引用類型,u2=u1,我們在賦值的時候,實際上賦的是地址,那麼我改動數據實際上是改動該地址指向的數據,這樣一來,因為u2和u1都指向同一塊區域,所以我對u1的改動會影響到u2,對u2的改動會影響到u1。如果我想互不影響,那麼我可以繼承IClone介面來實現內存克隆,已有的CLR實現是淺克隆方法,但也只能克隆值類型和String(string是個特殊的引用類型,對於string的更改,其會產生一個新實例對象),如果對包含其它引用類型的這部分,我們可以自己通過其它手段實現深克隆,如序列化、反射等方式來完成。而如果引用類型中包含有值類型欄位,那麼該欄位仍然分配在堆上。

對於值類型,a=b,我們在賦值的時候,實際上是新建了個值,那麼我改動a的值那就只會改動a的值,改動b的值就只會改動b的值。而如果值類型(如struct)中包含的有引用類型,那麼仍是同樣的規則,引用類型的那部分實例在託管堆中,地址在棧上。

我如果將值類型放到引用類型中(如:object a=3),會在棧中生成一個地址,在堆中生成該值類型的值對象,還會再生成這類型指針和同步塊索引兩個欄位,這也就是常說裝箱,反過來就是拆箱。每一次的這樣的操作,都會涉及到內存的分布、拷貝,可見,裝箱和拆箱是有性能損耗,因此應該減少值類型和引用類型之間轉換的次數。

但對於引用類型間的子類父類的轉換,僅是指令的執行消耗,幾盡沒有開銷。

選class還是struct

那麼我到底是該new一個class呢還是選擇struct呢?

通過上文知道對於class,用完之後對象仍然存在託管堆,佔用內存。對於struct,用完之後直接由操作系統銷毀。那麼在實際開發中定義類型時,選擇class還是struct就需要注意了,要綜合應用場景來辨別。struct存在於棧上,棧和託管堆比較,最大的優勢就是即用即毀。所以如果我們單純的傳遞一個類型,那麼選擇struct比較合適。但須注意線程堆棧有容量限制,不可多存放超大量的值類型對象,並且因為是值類型直接傳遞副本,所以struct作為方法參數是線程安全的,但同樣要避免裝箱的操作。而相比較class,如果類型中還需要多一些封裝繼承多態的行為,那麼class當然是更好的選擇。

GC管理器

值得注意的是,當我new完一個對象不再使用的時候,這個對象在堆中所佔用的內存如何處理?

在非託管世界中,可以通過代碼手動進行釋放,但在.NET中,堆完全由CLR託管,也就是說GC堆是如何具體來釋放的呢?

當GC堆需要進行清理的時候,GC收集器就會通過一定的演算法來清理堆中的對象,並且版本不同演算法也不同。最主要的則為Mark-Compact標記-壓縮演算法。

這個演算法的大概含義就是,通過一個圖的數據結構來收集對象的根,這個根就是引用地址,可以理解為指向託管堆的這根關係線。當觸發這個演算法時,會檢查圖中的每個根是否可達,如果可達就對其標記,然後在堆上找到剩餘沒有標記(也就是不可達)的對象進行刪除,這樣,那些不在使用的堆中對象就刪除了。

前面說了,因為nextObjPtr的緣故,在堆中分配的對象都是連續分配的,因為未被標記而被刪除,那麼經過刪除後的堆就會顯得支零破碎,那麼為了避免空間碎片化,所以需要一個操作來讓堆中的對象再變得緊湊、連續,而這樣一個操作就叫做:Compact壓縮。

而對堆中的分散的對象進行挪動後,還會修改這些被挪動對象的指向地址,從而得以正確的訪問,最後重新更新一下nextObjPtr指針,周而復始。

而為了優化內存結構,減少在圖中搜索的成本,GC機制又為每個託管堆對象定義了一個屬性,將每個對象分成了3個等級,這個屬性就叫做:代,0代、1代、2代。

每當new一個對象的時候,該對象都會被定義為第0代,當GC開始回收的時候,先從0代回收,在這一次回收動作之後,0代中沒有被回收的對象則會被定義成第1代。當回收第1代的時候,第1代中沒有被清理掉的對象就會被定義到第2代。

CLR初始化時會為0/1/2這三代選擇一個預算的容量。0代通常以256 KB-4 MB之間的預算開始,1代的典型起始預算為512 KB-4 MB,2代不受限制,最大可擴展至操作系統進程的整個內存空間。

比如第0代為256K,第1代為2MB。我們不停的new對象,直到這些對象達到256k的時候,GC會進行一次垃圾回收,假設這次回收中回收了156k的不可達對象,剩餘100k的對象沒有被回收,那麼這100k的對象就被定義為第1代。現在就變成了第0代裡面什麼都沒有,第1代里放的有100k的對象。這樣周而復始,GC清除的永遠都只有第0代對象,除非當第一代中的對象累積達到了定義的2MB的時候,才會連同清理第1代,然後第1代中活著的部分再升級成第二代...

第二代的容量是沒有限制,但是它有動態的閾值(因為等到整個內存空間已滿以執行垃圾回收是沒有意義的),當達到第二代的閾值後會觸發一次0/1/2代完整的垃圾收集。

也就是說,代數越長說明這個對象經歷了回收的次數也就越多,那麼也就意味著該對象是不容易被清除的。

這種分代的思想來將對象分割成新老對象,進而配對不同的清除條件,這種巧妙的思想避免了直接清理整個堆的尷尬。

GIF

弱引用、弱事件

GC收集器會在第0代飽和時開始回收託管堆對象,對於那些已經申明或綁定的不經訪問的對象或事件,因為不經常訪問而且還佔內存(有點懶載入的意思),所以即時對象可達,但我想在GC回收的時候仍然對其回收,當需要用到的時候再創建,這種情況該怎麼辦?

那麼這其中就引入了兩個概念:

WeakReference弱引用、WeakEventManager弱事件

對於這2兩個不區分語言的共同概念,大家可自行擴展百度,此處就不再舉例。

GC堆回收

那麼除了通過new對象而達到代的閾(臨界)值時,還有什麼能夠導致垃圾堆進行垃圾回收呢? 還可能windows報告內存不足、CLR卸載AppDomain、CLR關閉等其它特殊情況。

或者,我們還可以自己通過代碼調用。

.NET有GC來幫助開發人員管理內存,並且版本也在不斷迭代。GC幫我們託管內存,但仍然提供了System.GC類讓開發人員能夠輕微的協助管理。 這其中有一個可以清理內存的方法(並沒有提供清理某個對象的方法):GC.Collect方法,可以對所有或指定代進行即時垃圾回收(如果想調試,需在release模式下才有效果)。這個方法盡量別用,因為它會擾亂代與代間的秩序,從而讓低代的垃圾對象跑到生命周期長的高代中。

GC還提供了,判斷當前對象所處代數、判斷指定代數經歷了多少次垃圾回收、獲取已在託管堆中分配的位元組數這樣的三個方法,我們可以從這3個方法簡單的了解託管堆的情況。

託管世界的內存不需要我們打理,我們無法從代碼中得知具體的託管對象的大小,你如果想追求對內存最細微的控制,顯然C#並不適合你,不過類似於有關內存把控的這部分功能模塊,我們可以通過非託管語言來編寫,然後通過.NET平台的P/Invoke或COM技術(微軟為CLR定義了COM介面並在註冊表中註冊)來調用。

像FCL中的源碼,很多涉及到操作系統的諸如 文件句柄、網路連接等外部extren的底層方法都是非託管語言編寫的,對於這些非託管模塊所佔用的資源,我們可以通過隱式調用析構函數(Finalize)或者顯式調用的Dispose方法通過在方法內部寫上非託管提供的釋放方法來進行釋放。

像文中示例的socket就將釋放資源的方法寫入Dispose中,析構函數和Close方法均調用Dispose方法以此完成釋放。事實上,在FCL中的使用了非託管資源的類大多都遵循IDispose模式。而如果你沒有釋放非託管資源直接退出程序,那麼操作系統會幫你釋放該程序所佔的內存的。

垃圾回收對性能的影響

還有一點,垃圾回收是對性能有影響的。

GC雖然有很多優化策略,但總之,只要當它開始回收垃圾的時候,為了防止線程在CLR檢查期間對對象更改狀態,所以CLR會暫停進程中的幾乎所有線程(所以線程太多也會影響GC時間),而暫停的時間就是應用程序卡死的時間,為此,對於具體的處理細節,GC提供了2種配置模式讓我們選擇。

第一種為:單CPU的工作站模式,專為單CPU處理器定做。這種模式會採用一系列策略來儘可能減少GC回收中的暫停時間。

而工作站模式又分為並發(或後台)與不並發兩種,併發模式表現為響應時間快速,不併發模式表現為高吞吐量。

第二種為:多CPU的伺服器模式,它會為每個CPU都運行一個GC回收線程,通過並行演算法來使線程能真正同時工作,從而獲得性能的提升。

我們可以通過在Config文件中更改配置來修改GC模式,如果沒有進行配置,那麼應用程序總是默認為單CPU的工作站的併發模式,並且如果機器為單CPU的話,那麼配置伺服器模式則無效。

如果在工作站模式中想禁用併發模式,則應該在config中運行時節點添加

如果想更改至伺服器模式,則可以添加 。

gcConcurrent: https://docs.microsoft.com/zh-cn/dotnet/framework/configure-apps/file-schema/runtime/gcconcurrent-element

gcServer: https://docs.microsoft.com/zh-cn/dotnet/framework/configure-apps/file-schema/runtime/gcserver-element

性能建議

雖然我們可以選擇適合的GC工作模式來改善垃圾回收時的表現,但在實際開發中我們更應該注意減少不必要的內存開銷。

幾個建議是,減換需要創建大量的臨時變數的模式、考慮對象池、大對象使用懶載入、對固定容量的集合指定長度、注意字元串操作、注意高頻率的隱式裝箱操作、延遲查詢、對於不需要面向對象特性的類用static、需要高性能操作的演算法改用外部組件實現(p/invoke、com)、減少throw次數、注意匿名函數捕獲的外部對象將延長生命周期、可以閱讀GC相關運行時配置在高並發場景注意變換GC模式...

對於.NET中改善性能可延伸閱讀 https://msdn.microsoft.com/zh-cn/library/ms973838.aspx 、 https://msdn.microsoft.com/library/ms973839.aspx

.NET程序執行圖

至此,.NET Framework上的三個重要概念,程序集、應用程序域、內存在本文講的差不多了,我畫了一張圖簡單的概述.NET程序的一個執行流程:

對於後文,我將單獨的介紹一些其它雜項,首先是.NET平台的安全性。

.NET的安全性

.NET Framework中的安全機制分為 基於角色的安全機制 和 代碼訪問安全機制 。

基於角色的安全性

基於角色的安全機製作為傳統的訪問控制,其運用的非常廣泛,如操作系統的安全策略、資料庫的安全策略等等...它的概念就相當於我們經常做的那些RBAC許可權管理系統一樣,用戶關聯角色,角色關聯許可權,許可權對應著操作。

整個機制的安全邏輯就和我們平時編寫代碼判斷是一樣的,大致可以分為兩個步驟.

第一步就是創建一個主體,然後標識這個主體是什麼身份(角色) ,第二步就是 身份驗證,也就是if判斷該身份是否可以這樣操作。

而在.NET Framework中,這主體可以是Windows賬戶,也可以是自定義的標識,通過生成如當前線程或應用程序域使用的主體相關的信息來支持授權。

比如,構造一個代表當前登錄賬戶的主體對象WindowsPrincipal,然後通過 AppDomain.CurrentDomain.SetThreadPrincipal(主體對象);或Thread.CurrentPrincipal的set方法來設置應用程序域或線程的主體對象, 最後使用System.Security.Permissions.PrincipalPermission特性來標記在方法上來進行授權驗證。

如圖,我當前登錄賬號名稱為DemoXiaoZeng,然後通過Thread.CurrentPrincipal設置當前主體,執行aa方法,順利列印111。如果檢測到PrincipalPermission類中的Name屬性值不是當前登錄賬號,那麼就報錯:對主體許可權請求失敗。

在官方文檔中有對.NET Framework基於角色的安全性的詳細的介紹,感興趣可以去了解 https://docs.microsoft.com/zh-cn/dotnet/standard/security/principal-and-identity-objects#principal-objects

代碼訪問安全性

在.NET Framework中還有一個安全策略,叫做 代碼訪問安全Code Access Security,也就是CAS了。

代碼訪問安全性在.NET Framework中是用來幫助限制代碼對受保護資源和操作的訪問許可權。

舉個例子,我通過創建一個FileIOPermission對象來限制對後續代碼對D盤的文件和目錄的訪問,如果後續代碼對D盤進行資源操作則報錯。

FileIOPermission是代碼控制訪問文件和文件夾的能力。除了FileIOPermission外,還有如PrintingPermission代碼控制訪問印表機的許可權、RegistryPermission代碼控制操作註冊表的許可權、SocketPermission控制接受連接或啟動Socket連接的許可權。

對於這些通過代碼來對受保護資源和操作的許可權限制,也就是這些類名後綴為Permission的類,它們叫做 Permissions(許可權),都繼承自CodeAccessPermission,都有如Demand,Assert,Deny,PermitOnly,IsSubsetOf,Intersect和Union這些方法,在MSDN上有完整的許可權列表:https://msdn.microsoft.com/en-us/library/h846e9b3(v=vs.100).aspx

為了確定代碼是否有權訪問某一資源或執行某一操作,CLR的安全系統將審核調用堆棧,以將每個調用方獲得的許可權與要求的許可權進行比較。 如果調用堆棧中的任何調用方不具備要求的許可權,則會引發安全性異常並拒絕訪問。

出自 https://docs.microsoft.com/zh-cn/dotnet/framework/misc/code-access-security

而除了Permissions許可權,代碼訪問安全性機制還有 許可權集、證據、代碼組、策略等概念。這些概念讓CAS如此強大,但相應的,它們也讓CAS變得複雜,必須為每個特定機器定義正確的PermissionSet和Code Groups才能設置成一個成功的CAS策略。

考慮到這層原因,Microsoft .NET安全小組決定從頭開始重建代碼訪問安全性。在.NET Framework4.0之後,就不再使用之前的那套CAS模型了,而是使用.NET Framework 2.0中引入的安全透明模型,然後稍加修改,修改後的安全透明模型成為保護資源的標準方法,被稱之為:安全透明度級別2

安全透明度2介紹:https://msdn.microsoft.com/en-us/library/dd233102(v=vs.100).aspx

.NET Framework4.0的安全更改:https://msdn.microsoft.com/en-us/library/dd233103(v=vs.100).aspx

一個完整的CAS演示:https://www.codeproject.com/Articles/5724/Understanding-NET-Code-Access-Security

對於安全透明度級別2我將不再介紹,感興趣的可以看我推薦的這2篇文章,對Level2的安全透明度介紹的比較詳細,包括實踐、遷移。

https://www.red-gate.com/simple-talk/dotnet/.net-framework/whats-new-in-code-access-security-in-.net-framework-4.0---part-i/

https://www.red-gate.com/simple-talk/dotnet/net-framework/whats-new-in-code-access-security-in-net-framework-4-0-part-2/

----------------------------------------------

須注意:

.NET平台上的安全機制,僅僅是.NET平台上的,因此它只限制於託管代碼,我們可以直接調用非託管代碼或進程通信間接調用非託管代碼等多個手段來突破對託管代碼 操作資源的限制。

事實上,我們在平常項目中代碼編寫的安全機制(業務邏輯身份驗證、項目框架驗證)與這些平台級的安全機制沒什麼不同。我們可以理解為代碼寫的位置不一樣,.NET安全機制是寫在CLR組件中,而我們的安全機制是寫在上層的代碼中。這些平台級的標識更多的是和操作系統用戶有關,而我們項目代碼中的標識則是和在資料庫中註冊的用戶有關, 大家都是通過if else來去判斷,判斷的主體和格局不一樣,邏輯本質都是相同的。

NET Core不支持代碼訪問安全性和安全性透明性。

.NET是什麼

我在前文對.NET系統概述時,有的直接稱.NET,有的稱.NET Framework。那麼準確來說什麼是.NET?什麼又是.NET Framework呢?

.NET是一個微軟搭造的開發者平台,它主要包括:

1.支持(面向)該平台的編程語言(如C#、Visual Basic、C++/CLI、F#、IronPython、IronRuby...),

2.用於該平台下開發人員的技術框架體系(.NET Framework、.NET Core、Mono、UWP等),

1.定義了通用類型系統,龐大的CTS體系

2.用於支撐.NET下的語言運行時的環境:CLR

3..NET體系技術的框架庫FCL

3.用於支持開發人員開發的軟體工具(即SDK,如VS2017、VS Code等)

.NET Framework是什麼

事實上,像我上面講的那些諸如程序集、GC、AppDomain這樣的為CLR的一些概念組成,實質上指的是.NET Framework CLR。

.NET平台是微軟為了佔據開發市場而成立的,不是無利益驅動的純技術平台的那種東西。基於該平台下的技術框架也因為 商業間的利益 從而和微軟自身的Windows操作系統所綁定。所以雖然平台雄心和口號很大,但很多框架類庫技術都是以Windows系統為藍本,這樣就導致,雖然.NET各方面都挺好,但是用.NET就必須用微軟的東西,直接形成了技術-商業的綁定。

.NET Framework就是.NET 技術框架組成在Windows系統下的具體的實現,和Windows系統高度耦合,上文介紹的.NET系統,就是指.NET Framework。

部署.net Framework :https://docs.microsoft.com/zh-cn/dotnet/framework/deployment/deployment-guide-for-developers

.NET Framework高級開發:https://docs.microsoft.com/en-us/previous-versions/visualstudio/visual-studio-2008/29eafad8(v%3dvs.90)

.NET Framework源碼在線瀏覽:https://referencesource.microsoft.com/

如何在VS中調試.NET Framework源代碼

最為關鍵的是pdb符號文件,沒得符號就調不了,對於符號我們從微軟的符號伺服器上下載(默認就已配置),還得有源代碼來調試。

點擊工具-選項-調試-常規,如果你之前沒有在該配置欄配置過,那麼你就勾選 啟用源伺服器支持 、啟用.net Framework源代碼單步執行,然後將 要求源文件與原始版本完全匹配 給取消掉。

然後就是下載pdb符號文件了,如果想直接下載那麼可以在調試-符號這欄 將Microsoft符號伺服器給勾上 。如果想按需下載,那麼在調試的時候,可以點擊調試-窗口 選擇 模塊/調用堆棧 來選擇自己想載入的去載入。

如何配置VS來調試.NET Framework源碼: https://referencesource.microsoft.com/#q=web 、 https://technet.microsoft.com/zh-cn/cc667410.aspx

還一種方法是,下載.NET Reflector插件,該插件可以幫助我們在VS中直接調試dll,這種方式操作非常簡單,不過該插件收費,具體的可以查看我之前寫過的文章(群里有該插件的註冊版)

.NET Core是什麼

有丑才有美,有低才有高,概念是比較中誕生的。.NET Core就是如此,它是其它操作系統的.NET Framework翻版實現。

操作系統不止Windows,還有Mac和類Linux等系統, .NET的實現 如果按操作系統來橫向分割的話,可以分為 Windows系統下的 .NET Framework 和 兼容多個操作系統的 .NET Core。

我們知道,一個.NET程序運行核心在於.NET CLR,為了能讓.NET程序在其它平台上運行,一些非官方社區和組織為此開發了在其它平台下的.NET實現(最為代表的是mono,其團隊後來又被微軟給合併了 ),但因為不是官方,所以在一些方面多少有些缺陷(如FCL),後來微軟官方推出了.NET Core,其開源在Github中,並被收錄在NET基金會(.NET Foundation,由微軟公司成立與贊助的獨立自由軟體組織,其目前收錄包括.NET編譯器平台("Roslyn")以及ASP.NET項目系列,.NET Core,Xamarin Forms以及其它流行的.NET開源框架),旨在真正的 .NET跨平台。

.NET Core是.NET 技術框架組成在Windows.macOS.Linux系統下的具體的實現。

.NET Core是一個開源的項目,其由 Microsoft 和 GitHub 上的 .NET 社區共同維護,但 這份工作仍然是巨大的,因為在早期對.NET上的定義及最初的實現一直是以Windows系統為參照及載體,一些.NET機制實際上與Windows系統耦合度非常高,有些屬於.NET自己體系內的概念,有些則屬於Windows系統api的封裝。 那麼從Windows轉到其它平台上,不僅要實現相應的CLR,還要捨棄或重寫一部分BCL,因而,.NET Core在概念和在項目中的行為與我們平常有些不同。

比如,NET Core不支持AppDomains、遠程處理、代碼訪問安全性 (CAS) 和安全透明度,任何有關該概念的庫代碼都應該被替換。

這部分代碼它不僅指你項目中的代碼,還指你項目中using的那些程序集代碼,所以你會在github上看到很多開源項目都在跟進對.NET Core的支持,並且很多開發者也嘗試學習.NET Core,這也是一種趨勢。

.NET Core指南https://docs.microsoft.com/en-us/dotnet/core/

.NET基金會:https://dotnetfoundation.org

.NET Core跨平台的行為變更:https://github.com/dotnet/corefx/wiki/ApiCompat

微軟宣布.NET開發環境將開源 :https://news.cnblogs.com/n/508410/

.NET Standard是什麼

值得一提的是微軟還為BCL提出了一個標準,畢竟各式各樣的平台,技術層出不窮,為了防止.NET在類庫方面的碎片化,即提出了一套正式的 .NET API (.NET 的應用程序編程介面)規範,.NET Standard。

正如上面CLS一樣,.NET Standard就類似於這樣的一個概念,無論是哪個託管框架,我們遵循這個標準,就能始終保持在BCL的統一性,即我不需要關心我是用的.NET Framework還是.NET Core,只要該類被定義於.NET Standard中,我就一定能在對應支持的.NET Standard的版本的託管框架中找到它。

.NET Standard: https://docs.microsoft.com/zh-cn/dotnet/standard/net-standard#net-implementation-support

.NET Standard開源代碼:https://github.com/dotnet/standard

.NET官方開源項目鏈接

現在我將給出.NET相關的開源項目地址:

參與.NET和.NET開源項目的起點:https://github.com/Microsoft/dotnet

.NET Core:https://github.com/dotnet/core

.NET Core文檔:https://github.com/dotnet/docs

ASP.NET Core:https://github.com/aspnet/home

ASP.NET Core文檔:https://github.com/aspnet/Docs

EntityFramework Core框架:https://github.com/aspnet/EntityFrameworkCore

ASP.NET Core MVC框架:https://github.com/aspnet/Mvc

EntityFramework6:https://github.com/aspnet/EntityFramework6

.NET Framework源碼:https://github.com/microsoft/referencesource

.NET Core基類庫:https://github.com/dotnet/corefx

.NET Core CLR:https://github.com/dotnet/coreclr

Roslyn編譯器:https://github.com/dotnet/roslyn

MVC5、Web API2、Web Pages3框架源碼:https://github.com/aspnet/AspNetWebStack

.NET Standard:https://github.com/dotnet/standard

KestrelHttpServer用於ASP.NET Core的跨平台Web伺服器:https://github.com/aspnet/KestrelHttpServer

Visual Studio Code源碼:https://github.com/Microsoft/vscode

一些優秀的.NET庫、工具、框架、軟體開源集合:https://github.com/quozd/awesome-dotnet

一些常用框架對ASP.NET Core和.NET Core的支持報告:https://github.com/jpsingleton/ANCLAFS

一些.NET下用於支持開發的開源項目集合:https://github.com/Microsoft/dotnet/blob/master/dotnet-developer-projects.md

微軟出品的分散式框架orleans:https://github.com/dotnet/orleans

ML.NET 用於.NET的開源和跨平台機器學習框架:https://github.com/dotnet/machinelearning

Visual Studio

在文章最後,我還要簡單的說下Visual Studio。

通過上文得知,只需要一個txt記事本+csc.exe我們就可以開發出一個.NET程序,那麼與之相比,.NET提供的開發工具VS有什麼不同呢?

我們用記事本+csc.exe來編寫一個.NET程序只適合小打小鬧,對於真正要開發一個項目而言,我們需要文件管理、版本管理、一個好的開發環境等。而vs ide則就是這樣一個集成代碼編輯、編譯、調試、追蹤、測試、部署、協作、插件擴展這樣多個組件的集成開發環境,csc.exe的編譯功能只是vs ide中的其中之一。使用vside開發可以節省大量的開發時間和成本。

sln解決方案

當你用VS來新建一個項目時,VS會先為你新建一個整體的解決方案。這個解決方案表現為.sln和.suo後綴格式的文件,它們均是文本文件,對解決方案右鍵屬性可以進行相應的修改,也可以直接用記事本打開。

在sln中,定義了解決方案的版本及環境,如包含的項目,方案啟動項,生成或部署的一些項目配置等,你可以通過修改或重新定義sln來更改你的整個解決方案。

而suo則包含於解決方案建立關聯的選項,相當於快照,儲存了用戶界面的自定義配置、調試器斷點、觀察窗口設置等這樣的東西,它是隱藏文件,可刪除但建議不要刪除。

我們可以通過對比各版本之間的sln來修改sln,也可以使用網上的一些轉換工具,也可以直接點擊VS的文件-新建-從現有代碼創建項目來讓項目在不同VS版本間切換。

Visual Studio 2010 - # Visual Studio 4.0

Visual Studio 2012 - # Visual Studio 4.0

Visual Studio 2013 - # Visual Studio 12.00

Visual Studio 2015 - # Visual Studio 14

Visual Studio 2017 - # Visual Studio 15

項目模板

VS使用項目模板來基於用戶的選擇而創建新的項目,也就是新建項目中的那些展示項(如mvc5項目/winform項目等等),具體表現為包含.vstemplate及一些定義的關聯文件這樣的母版文件。將這些文件壓縮為一個 .zip 文件並放在正確的文件夾中時,就會在展示項中予以顯示。

用戶可以創建或自定義項目模板,也可以選擇現有的模板,比如我創建一個控制台項目就會生成一個在.vstemplate中定義好的Program.cs、AssemblyInfo.cs(程序集級別的特性)、App.config、ico、csproj文件

csproj工程文件

這裡面,csproj是我們最常見的核心文件,CSharp Project,它是用於構建這個項目的工程文件。

csproj是基於xml格式的MSBuild項目文件,其仍然是文本文件,可以打開並修改定義了的工程構造的屬性,比如選擇性的添加或刪除或修改包含在項目中的文件或引用、修改項目版本、將其轉換為其它類型項目等。

MSBuild是微軟定義的一個用於生成應用程序的平台(Microsoft Build Engine),在這裡為VS提供了項目的構造系統,在微軟官方文檔上有著詳細的說明:https://msdn.microsoft.com/zh-cn/library/dd393573.aspx、https://docs.microsoft.com/zh-cn/visualstudio/msbuild/msbuild

項目屬性雜項

現在,簡單說明一下csproj文件的一些核心元素。我們用vs新建一個控制台項目,然後對項目右鍵屬性打開項目屬性,在應用程序頁我們可以定義:程序集名稱(生成出來的程序集以程序集名稱作為文件名,相當於csc中的/out)、默認命名空間(每次新建類裡面顯示的命名空間)、目標框架、應用程序類型、程序集信息(AssemblyInfo中的信息)、啟動對象(可同時存在多個Main方法,需指定其中一個為入口對象)、程序集資源(一些可選的圖標及文件)

1.在生成頁有:

條件編譯符號(全局的預編譯#define指令,不用在每個文件頭部定義,相當於csc中的/define)

定義DEBUG/TRACE常量(用於調試輸出的定義變數,如智能追蹤的時候可以輸出該變數)

目標平台(指定當前面向什麼處理器生成的程序集,相當於csc中的/platform。選擇x86則生成的程序集生成32位程序,能在32/64位Intel處理器中使用。選擇x64則生成64位,只能在64位系統中運行。選擇Any CPU則32位系統生成32位,64位系統則生成64位。注意:編譯平台和目標調用平台必須保持一致,否則報錯。生成的32位程序集不能調用64位程序集,64位也不能調用32位)、首選32位(如果目標平台是Any CPU並且項目是應用程序類型,則生成的是32位程序集)

允許不安全代碼(unsafe開關,在c#中進行指針編程,如調換a方法和b方法的地址)

優化代碼(相當於csc中的/optimize,優化IL代碼讓調試難以進行,優化JIT代碼)

輸出路徑(程序集輸出目錄,可選擇填寫相對路徑目錄或絕對路徑目錄)

XML文檔文件(相當於csc中的/doc,為程序集生成文檔注釋文件,瀏覽對方程序集對象就可以看到相關注釋,VS的智能提示技術就運用於此)

為COM互操作註冊(指示託管應用程序將公開一個 COM 對象,使COM對象可以與託管應用程序進行交互)

2.在高級生成設置中有:語言版本(可以選擇C#版本)、調試信息(相當於csc中的/debug。選擇none則不生成任何調試信息,無法調試。選擇full則允許將調試器附加到運行程序,生成pdb調試文件。選擇pdb-only,自.NET2.0開始與full選項完全相同,生成相同的pdb調試文件。)、文件對齊(指定輸出文件中節的大小)、DLL基址(起點地址)

3.在生成事件選項中可以設置生成前和生產後執行的命令行,我們可以執行一些命令。

4.在調試選項中有一欄叫:啟用Visual Studio承載進程,通過在vshost.exe中載入運行項目程序集,這個選項可以增加程序的調試性能,啟用後會自動在輸出目錄生成.vshost.exe這樣一個文件,只有噹噹前項目不是啟動項目的時候才能刪除該文件。

IntelliTrace智能追溯

還要介紹一點VS的是,其IntelliTrace智能追溯功能,該功能最早存在於VS2010旗艦版,是我用的最舒服的一個功能。

簡單介紹,該功能是用來輔助調試的,在調試時可以讓開發人員了解並追溯代碼所產生的一些事件,並且能夠進行回溯以查看應用程序中發生的情形,它是一個非常強大的調試追蹤器,它可以捕捉由你代碼產生的事件,如異常事件、函數調用(從入口)、ADO.NET的命令(Sql查詢語句...)、ASP.NET相關事件、代碼發送的HTTP請求、程序集載入卸載事件、文件訪問打開關閉事件、Winform/Webform/WPF動作事件、線程事件、環境變數、Console/Trace等輸出...

我們可以通過在調試狀態下點擊調試菜單-窗口-顯示診斷工具,或者直接按Ctrl+Alt+F2來喚起該功能窗口。

當然,VS還有其它強大的功能,我建議大家依次點完 菜單項中的 調試、體系結構、分析這三個大菜單裡面的所有項,你會發現VS真是一個強大的IDE。比較實用且方便的功能舉幾個例子:

比如 從代碼生成的序列圖,該功能在vs2015之前的版本可以找到(https://msdn.microsoft.com/en-us/library/dd409377.aspx 、https://www.zhihu.com/question/36413876)

比如 模塊關係的代碼圖,可以看到各模塊間的關係

比如 對解決方案的代碼度量分析結果

比如 調試狀態下 函數調用的 代碼圖,我們可以看到MVC框架的函數管道模型

以及並行堆棧情況、載入的模塊、線程的實際情況

還有如進程、內存、反彙編、寄存器等的功能,這裡不再一一展示

鏈接

有關解決方案:https://msdn.microsoft.com/zh-cn/library/b142f8e7(v=vs.110).aspx

有關項目模板: https://msdn.microsoft.com/zh-cn/library/ms247121(v=vs.110).aspx

有關項目元素的說明介紹:https://docs.microsoft.com/zh-cn/previous-versions/visualstudio/visual-studio-2010/16satcwx(v%3dvs.100)

有關調試更多內容:https://docs.microsoft.com/zh-cn/visualstudio/debugger/

有關代碼設計建議:https://docs.microsoft.com/zh-cn/visualstudio/code-quality/code-analysis-for-managed-code-warnings

有關IntelliTrace介紹:https://docs.microsoft.com/zh-cn/previous-versions/visualstudio/visual-studio-2010/dd264915(v%3dvs.100)

建議

我熱愛編程。

我知道大多數人對技術的積累都是來自於平常工作中,工作中用到的就去學,用不到就不學,學一年的知識,然後用個五六年。

我也能理解人的理想和追求不同,有的人可能就想平淡點生活。有的人可能是過了拼勁,習慣了安逸。有的人已經認命了。

而我現在也每天飽滿工作沒多少時間,但在下班之餘我仍然堅持每天都看一看書。

想學沒時間學,想拼不知道往哪拼。有埋汰自己腦袋笨的,有說自己不感興趣的。有明明躊躇滿志,但總三天捕魚兩天晒網的。我身邊的朋友大多都這樣。

我想說,儘管我們每個人的境遇、思想、規劃不同,但我肯定大家大部分是出於生計而工作。

而出於生計,那就是為了自己。而既然是為了自己,那就別每天渾渾噩噩過,即使你因各種原因而沒有鬥志。

編程來不得虛的,如果你沒走上管理,那麼你的技術好就是好,不好就是不好,混不得,一分技術一分錢。自己不紮實,你運氣就不可能太好。

技術是相通的,操作系統、通信、數據結構、協議標準、技術規範、設計模式,語言只是門工具。要知其然也要知其所以然,只知道1個梨+1個梨=2個梨,不知道1個蘋果+1個蘋果等於啥就悲劇了。

那怎樣提升自己?肯定不能像之前那樣被動的去學習了。

光靠工作中的積累帶來的提升是沒有多少。你不能靠1年的技術重複3年的勞動,自己不想提升就不能怨天尤人。

上班大家都一樣,我認為成功與否取決於你的業餘時間。你每天下班無論再苦都要花一個小時來學習,學什麼都行,肯定能改變你的人生軌跡。

比如你每天下班後都用一小時來學一個概念或技術點,那麼300天就是300個概念或者技術點,這是何等的恐怖。

當然,這裡的學要有點小方法小技巧的。不能太一條道摸到黑的那種,雖然這樣最終也能成功,並且印象還深刻,但是總歸效率是有點低的。

比如你從網上下載個項目源碼,你項目結構不知道,該項目運用技術棧也不太了解,就一點一點的開始解讀。這是個提升的好方法,但這樣很累,可以成功,但是很慢。見的多懂的少,往往會因為一個概念上的缺失而在一個細小的問題上浪費很長時間。或者說一直漫無目的的看博客來了解技術,那樣獲取的知識也不系統。

我的建議是讀書,書分兩類,一類是 講底層概念的 一類是 講上層技術實現的。

可以先從上層技術實現的書讀起(如何連接資料庫、如何寫網頁、如何寫窗體這些)。在有一定編程經驗後就從底層概念的書開始讀,操作系統的、通信的、資料庫的、.NET相關組成的這些...

讀完之後再回過頭讀這些上層技術的書就會看的更明白更透徹,最後再琢磨git下來的項目就顯得輕鬆了。

就.NET CLR組成這一塊中文書籍比較少,由淺到深推薦的書有 你必須知道的.NET(挺通俗),CLR C#(挺通俗,進階必看),如果你想進一步了解CLR,可以看看園子里 包建強http://www.cnblogs.com/Jax/archive/2009/05/25/1488835.html 和中道學友http://www.cnblogs.com/awpatp/archive/2009/11/11/1601397.html翻譯的書籍及文章,當然如果你英語合格的話也可以直接閱讀他們翻譯的來源書籍,我這裡有Expert .NET 2.0 IL Assembler的機器翻譯版,同時我也建議從調試的方面入手,如 NET高級調試(好多.NET文件調試、反編譯的文章都是參考這本書和Apress.Expert.dot.NET.2.0.IL.Assembler(這本書我有機器翻譯版)的內容)或者看看Java的JVM的文章。

歡迎加群和我交流(書籍我都放在群文件里了)

現在技術發展很快,我建議大家有基礎的可以直接看官方文檔,(詳細鏈接我已經在各小節給出)以下是部分常用總鏈接:

asp.net指南:https://docs.microsoft.com/zh-cn/aspnet/#pivot=core

Visual Studio IDE 指南:https://docs.microsoft.com/zh-cn/visualstudio/ide/

C# 指南: https://docs.microsoft.com/zh-cn/dotnet/csharp/

.NET指南:https://docs.microsoft.com/zh-cn/dotnet/standard/

微軟開發文檔:https://docs.microsoft.com/zh-cn/

最後送給大家我經常做的兩句話:

1.先問是不是,再問怎樣做,最後我一定會問 為什麼

2.沒人比誰差多少,相信自己,堅持不斷努力,你也能成功

原文地址: https://www.cnblogs.com/1996V/p/9037603.html


喜歡這篇文章嗎?立刻分享出去讓更多人知道吧!

本站內容充實豐富,博大精深,小編精選每日熱門資訊,隨時更新,點擊「搶先收到最新資訊」瀏覽吧!


請您繼續閱讀更多來自 dotNET跨平台 的精彩文章:

要用Identity Server 4-OAuth 2.0 超級簡介
Microsoft Graph:連接每個應用都需要的基礎數據

TAG:dotNET跨平台 |