1.Untiy3D中C#的底層原理
Unity底層在運行C#程式時有兩種機制：一種是Mono，另一種是IL2CPP，Mono存在的目的是為了跨平臺，因為最初C#只支持Windows，而IL可以看成是一種匯編語言且完全基于堆疊，必須運行在虛擬機上，也就是說C#會被編譯器編譯成IL，當需要他們時就會被實時的加載到運行庫中，由虛擬機動態的編譯成匯編代碼（JIT）再進行執行，
注：Unity中其他的兩門腳本語言Boo，Untiy Script（這兩暫時還沒接觸到）也是被編譯成IL后再由Mono虛擬機解釋并執行的，
IL有三種轉譯模式：
1、Just-in-time(JIT)模式：在程式運行程序中將CIL（IL）轉譯為機器碼，
2、Ahead-of-Time（AOT）模式：將IL轉譯成機器碼并存盤在檔案中，此檔案并不能完全獨立運行，通常此種模式可產生出絕大部分JIT模式所產生的機器碼，只有部分例外，例如trampolines或是控制監督相關的代碼任然需要JIT來運行，
3、完全靜態編譯：這種模式只支持少數平臺，它基于AOT編譯模式更進一步所產生的機器碼，完全靜態編譯可以使得程式在運行期間不需要JIT，這種做法適用于IOS，PS3，Xbox360等不允許使用JIT的作業系統
Mono使用垃圾回識訓制來管理記憶體，應用程式向垃圾回收器申請記憶體，最終由垃圾回收器決定是否回收，當我們向垃圾回收器申請記憶體時，如果發現記憶體不足，就會自動出發垃圾回收（也可以主動觸發），垃圾回收器會遍歷記憶體中所有物件的參考關系，如果沒有被任務物件參考則會釋放記憶體，
3.1.1之后Mono正式將（Simple Generational GC）SGen-GC設定為默認的垃圾回收器，這種方式的主要思想是將物件分給兩個記憶體池，一個新的一個老的，那些存活時間長的物件都會放到較老的物件池中，這種設計基于一個事實，程式經常會申請一些小的臨時物件，用完了馬上釋放，而如果某個物件一直不釋放則，往往以后的很長時間內也不會被釋放，
此外，我們稱IL編碼為托管代碼，這部分代碼由C#自動生成，由虛擬機JIT編譯執行，且其中的物件由GC管理，而使用C++或C#以不安全型別寫的代碼稱為非托管代碼，虛擬機無法追蹤到這類代碼物件，故程式員需要對這部分代碼的物件手動進行管理避免記憶體泄漏的問題，（一般情況下，我們使用托管代碼來撰寫游戲邏輯，非托管代碼用于更底層的架構、第三方庫或者是作業系統相關介面）
（中間一部分為 List與Dictionary的原始碼剖析，可自行查閱原始碼進行學習）
這里只對部分函式做結論和總結：
List:
List使用Array陣列作為底層資料結構，優點是隨機存盤，索引快，缺點是擴容時會很糟糕，每次針對陣列進行new操作都會造成記憶體垃圾，會給GC帶來負擔，
Remove（）函式，原理是使用Array.Copy()對陣列進行覆寫，復雜度為O(N).
Clear()函式，并不會對記憶體進行操作真正的洗掉元素，而是將物件內的count置0，因為對記憶體進行操作會產生極大的性能消耗，
Enumerator()介面，這是列舉迭代部分細節的介面，其中Enumerator這個結構，每次在獲取迭代器時都會被創建出來，如果大量使用迭代器，例如 foreach陳述句，就會產生大量的垃圾，這也就是為什么我們常常說要避免在Update()中使用foreach的底層原因，
Sort()函式，內部使用Array.Sort()介面，使用快速排序進行排序，
總結：
1.List的效率并不是很高，只是通用性強，底層使用的大部分演算法都是線性演算法，
2.同時其記憶體分配方式也是不合理的，當增加元素需要對陣列進行擴充時，原陣列會被拋棄，這會給GC帶來很大的壓力，
3.內部代碼是執行緒不安全的，底層沒有對多執行緒做任何加鎖和限制，如實作需要多執行緒操作需要手動加鎖，
Dictionary:
private struct Entry{ public int hashCode; // 低31位哈希值，如果未使用則為-1 public int next; // 下一個實體索引，如果是最后一個則為-1 public Tkey key; // 實體的Key public TValue value; // 實體的Value }
Dictionary使用鏈地址法來解決哈希沖突，內部有兩個陣列一個int型別的bucket，還有一個Entry型別（如上）的entries，
其中bucket就是下圖中的紫色部分，也就是哈希表，
Entry代表了下圖中綠色部分，每一個Entry保存自己的Key，Value，以及哈希值，并且可以索引到下一個實體（如果有），
總結：
1. Dictionary在效率上與List一樣，最好在實體化物件時就確定大致的數量，這樣會減少分配記憶體的頻率，另外，使用值作為鍵值比使用物件要更高效，因為類物件的Hash值通常都是由地址記憶體再計算得到的，
2.從記憶體操作上看，Dictionary增長速度大約是兩倍，洗掉資料時，同List一樣不對記憶體進行操作
3.Dictionary是執行緒不安全的，需要自己進行lock操作
2.浮點數精度問題
在實際使用程序中，許多人都會想要使用double型別來代替float從而解決精度問題，但最后往往以失敗告終，
因為無論是double型別還是float型別，在計算機底層存盤都是以二進制的形式存盤的，并且存盤的位數有限（32位/64位），所以十進制在轉為二進制時很多數字會丟失精度，
2.1精度問題可能會發生的情況？
（1）數值比較不相等
撰寫代碼時通常會遇到數值觸及閾值從而觸發邏輯的情景，例如某一個變數，從0開始，每次加一個小于0.01的數，加到剛好0.23時觸發事件，但是我們不能確定每次加多少，所以結果會出現要么比0.23大，要么比0.23小，很難會出現剛好等于0.23的情況，這時使用>,<,==等這些符號就不好處理，如果一定要比較，可以使用ABS()<0.001這樣的方式解決，
（2）數值計算不確定
例如x=1f, y=2f, z = (1f/5555f)* 11110f, 我們預期x/y應當是等于z的，但是由于精度問題，z結果可能為0.4999999，這樣x/y與z就不會相等，
（3）不同設備計算結果不同
不同計算機上作業系統，CPU暫存器都不同，計算時會有一定的精度偏差
2.2如何解決精度問題？
（1）由一臺計算機進行運算
在網路同步方面，可以使用一臺計算機，例如特定的一臺服務器用來進行計算，
（2）改用int，long型別來替代浮點數
例如，4080，與4.08*1000在數學中是完全成立的，我們可以使用4080當做4.08進行存盤，從而避免把資料放在小數點后面（精度截斷），
（3）用定點數保持一致性并縮小精度問題
定點數就是，小數部分與整數部分分開存盤，從而與方法二一樣，其小數部分可以使用int或long來存盤，避免小數截斷的問題，
struct MyNum{ int Interger; int Decimal; }
（4）用字串代替浮點數
當精度要求特別高時，可以使用字串來代替浮點數，這種方式不用擔心越界問題，并且還可以自由的控制精度，缺點是很消耗CPU和記憶體，使用字串代替浮點數，一次計算量相當于好幾萬次普通浮點數，所以當精度要求特別高，且計算次數不多時可以考慮這種方法，
3.委托、事件、裝箱、拆箱
3.1委托與事件
C#中指標被封裝進了底層類中，絕大多數的情況都看不到指標，但回呼函式依然存在，于是C#中多了委托這一概念，委托可以看成是一種更高級的函式指標，它不僅會把地址指向另一個函式，而且還能傳遞引數、獲取回傳值等多個資訊，此外，系統還會為委托物件自動生成同步、異步的呼叫方法，開發人員可以使用BeginInvoke（），EndInvoke（）來避開Thread類，從而直接使用多執行緒呼叫，
委托（delegate）不是一個語言的基本型別，在創建委托的時候實際上就是在創建一個delegate類的實體，這個delegate類繼承了Sysytem.MulticastDeleate類，類實體中有BeginInvoke（），EndInvoke（），Invoke（）三個函式，分別表示異步呼叫開始，結束，以及直接呼叫，
注：我們不能直接寫一個類來繼承Sysytem.MulticastDeleate類，和它的父類Delegate類，官方檔案中的解釋是這兩個類是特殊的類，編輯器或其他工具可以從他這里繼承，但是你不能直接繼承它，
Delegate中有一個變數用來存盤函式地址可以認為是一個鏈表，重寫了+=,-=運算子，用來向這個鏈表中添加或者洗掉元素，也就是把函式地址加入或者洗掉到鏈表中，
所以delegate關鍵字只是一個修飾用詞，背后C#編輯器會重寫代碼，我們可以認為編譯程序把delegate關鍵字識別的物件轉譯成為Delegate類物件，
事件（event）則是在delegate上又做了一層封裝，這次封裝的意義是，限制用戶直接操作delegate實體中的變數的權限，封裝后，用戶不再能通過直接賦值的方式（=運算子）來改變委托變數，只能通過注冊或者注銷委托的方式來增減委托函式的數量，通過這樣的方式更好的維護了委托的秩序，增加了系統穩定性，
3.2裝箱與拆箱
裝箱：把值型別實體轉換成為參考型別實體，拆箱：把參考型別實體轉為成為值型別實體，（參考物件有：string型別，class實體，陣列）（值物件有：所有整數，浮點數，bool，struct實體）
int a = 5; object obj = a;
上面就是一個簡單的裝箱程序，因為a是一個值型別，是直接有資料的變數，obj為參考變數，指標與記憶體拆分開來，把a賦值給obj，實際上就是obj為自己創建了一個指標，并指向a的資料空間，
a = (int)obj
而這段代碼就是一個簡單的拆箱的程序，相當于把obj指向的記憶體空間復制一份給了a，因為a是值參考，所以它不允許指向某個記憶體空間，只能靠復制資料來傳遞資料，
3.3為何需要裝箱？
值型別是在宣告之后就立即被初始化的了的，因為它一旦宣告，就有了自己的空間，因此它不可能為null，也不能為null，而參考型別在分配記憶體以后，只是一個空殼子，可以認為是指標，初始化后不指向任何空間，因此默認為null，
這里要注意Struct部分，很多人會把它當成是類，而類是參考型別，結構體是值型別，所以a，b同是結構的實體，a賦值給了b，而b更改資料之后a的數值并沒有改變，這是因為a，b是值型別，各自占用了一片記憶體空間，修改b物件不會對a有影響，在a賦值給b的程序實際上是將資料原封不動復制一份給了b，
后面涉及到了堆疊記憶體，所以來說說堆疊記憶體是怎么回事？
堆疊是存放物件的一種特殊的容器，它是最基本的資料結構之一，遵循先進后出的原則，它是一段連續的記憶體，所以對堆疊資料定位比較快速；堆則是隨機分布的空間，定位資料時需要堆記憶體的創建和洗掉節點時間復雜度是O(logN)，顯然堆疊的速度更快，但是堆疊物件有嚴格的宣告周期，并且堆疊空間有限，會有堆疊溢位的問題；而堆物件宣告周期不確定，空間也幾乎沒有限制，所以并不是所有情況都應該使用堆疊，
那值型別和參考型別就是堆和堆疊記憶體分配的區別嗎？不是！
參考型別指向的記憶體塊都在堆內，一般這些記憶體塊都在委托堆內，這樣便于記憶體塊的回收和控制，GC會對這些堆進行回收和整理，也有非委托記憶體不歸委托堆管理的部分，這些部分需要自行管理，
大部分時候，只有當程式邏輯和介面需要更加通用的時候才需要裝箱，比如一個含型別為object的引數的方法，該object可支持任意型別，以便通用，當你需要一個值型別為（如nt32）傳入時，就需要裝箱，又比如一個非泛型的容器為了保證通用，而將元素型別定義為object，當值型別資料加入容器時，就需要裝箱，
3.4裝箱的優化
由于裝箱拆箱的程序，都是生成全新的物件，不斷地分配和銷毀記憶體不但會大量消耗CPU，同時也會增加記憶體碎片，降低性能，所以我們要盡可能的減少裝箱拆箱，Struct型別比較特殊，它即是值型別，又可以繼承介面，用途多，稍不留神就會增加性能消耗，以下為Struct的優化技巧：
1）Struct通過多載函式來避免拆箱，裝箱
如果Strcut沒有多載一些函式，實體呼叫它們的時候就會先裝箱在呼叫，所以對于用到的那些需要呼叫的參考方法時，必須多載，
2）通過泛型來避免拆箱、裝箱
Struct可以繼承Interface介面，我們可以利用Interface做泛型介面，使用泛型來傳遞引數，這樣就不會在裝箱后再傳遞值了，比如B，C繼承A，就有了這個泛型反復方法 Void Test(T t) where T : A, 以避免使用object參考型別來傳遞引數，
3）通過繼承統一介面提前拆箱、裝箱，避免多次重復拆箱、裝箱
比如Struct A和Struct B都繼承了介面1，我們呼叫的方法時void Test(I i)，當呼叫Test方法時，傳進去的Struct A或 Struct B的實體相當于提前執行了裝箱操作，Test方法拿到了引數后就不用擔心后面會進行裝箱拆箱操作了，
4.業務邏輯優化技巧
4.1使用List和Dictionary時提高效率
每次使用List的Insert，Contain，Remove函式時，都是會順序遍歷List的，如果經常用到他們就會有比較大的性能消耗，
Dictionary也有很多問題，它使用一個Hash沖突方案來解決關鍵字的字典組件，因此Hash值與容器中陣列的映射和獲取Hash值的函式GetHashCode()比較關鍵，Hash沖突與陣列大小有很大關系，陣列越大，哈希沖突率越小，在實際使用程序中應當初始化一個合理的大小，使得Hash沖突不那么頻繁，且放任其自由擴容也會增加GC負擔；GetHashCode()繼承自基類Object類中的方法，用來獲取類實體的Hash值，這個函式實質是用演算法將記憶體地址轉化成哈希值的程序，不會有任何快取的程序，如果頻繁的使用GetHashCode（），我們應當要關注此時這個函式的算力損耗，并確認是否可以作為唯一ID，
4.2巧用struct
由于struct是一個值參考物件，所以傳遞struct時，其實是在不斷地克隆資料，
struct A{ public int gold; } public void main(){ A a = new A(); a.gold = 1; A b = a; b.gold =2; }
舉這個例子，上述struct中有一個整數變數gold，實體a的gold值為1，將a賦值給b后，b的gold設定為2，此時a中的gold仍為1，因為a和b是兩個不同的記憶體，
struct這樣的值變數對性能優化有什么好處呢，如果在函式中被定義成區域變數，則struct的值型別變數分配的記憶體是在堆疊上的，堆疊是連續記憶體，并且在函式呼叫結束后，堆疊的回收非常快速和簡單，只有將尾指標置零就可以了，這樣既不會產生記憶體碎片，又不需要記憶體垃圾回收，CPU讀取資料對連續記憶體也非常高效，
除了以上，struct陣列對提高記憶體訪問速度也有所幫助，因為內部存盤時連續存盤的，CPU在讀取資料時，連續記憶體可以幫助我們提高CPU的快取命中率，因為CPU在讀取記憶體時會把一個大塊記憶體放入快取，當下次讀取時先從快取中查詢，如果命中則不需要再向記憶體讀取資料（快取比記憶體塊100倍），非連續記憶體的快取命中率比較低，而CPU快取命中率的高低很影響CPU的效率，
4.3盡可能得使用物件池
物件的創建與銷毀都會引起記憶體分配時的性能損耗以及垃圾回收時的艱難，尤其是當業務邏輯大，資料量多的時，垃圾回收需要檢查的記憶體也越多，如果回收后依然記憶體不足，就得向系統請求分配更多記憶體，物件池的使用并不麻煩，我們是需要在創建銷毀物件的時候呼叫物件池管理物件即可，關于物件池的代碼有很多讀者可自行查找相關代碼，
4.4字串導致的性能問題
在C#中由于string是參考型別變數，每次動態創建一個string，C#都會在堆記憶體中分配一個記憶體用于存放字串，
sting strA = "test"; for(int i=0;i<100;i++){ string strB = strA + i.ToString(); string[] strC = strB.Split('e'); strB = strB + strC[0]; string strD = string.Format("Hello{0}, this is {1} and {2}."strB,strC[0],strC[1]); }
4.5字串隱藏問題
字串隱藏問題，當兩個字符比較時，首先會比較兩個字串的地址是否一致（參考變數），如果不一致才會遍歷字串各個字符，如果都一致則回傳true，
該問題涉及到ToCharArray（），Clone（），Compare（）函式，string.ToCharArray()回傳的char []陣列是一個新創建的字串陣列，與原有的string無關，我們修改回傳的字串時不會影響原來的string物件，而Clone和ToString介面則是直接回傳該物件，并不會重新創建一個新物件，
轉載請註明出處，本文鏈接：https://www.uj5u.com/qita/553173.html
標籤：其他
下一篇：返回列表