一文帶你瞭解 C# DLR 的世界

来源:https://www.cnblogs.com/ms27946/archive/2020/02/20/DLR-In-CSharp.html

一文帶你瞭解 C DLR 的世界 在很久之前,我寫了一片文章 "dynamic結合匿名類型 匿名對象傳參" ,裡面我以為DLR內部是用反射實現的。因為那時候是心中想當然的認為只有反射能夠在運行時解析對象的成員信息並調用成員方法。後來也是因為其他的事一直都沒有回過頭來把這一節知識給補上,正所謂亡羊補牢 ...


一文帶你瞭解 C# DLR 的世界

在很久之前,我寫了一片文章dynamic結合匿名類型 匿名對象傳參,裡面我以為DLR內部是用反射實現的。因為那時候是心中想當然的認為只有反射能夠在運行時解析對象的成員信息並調用成員方法。後來也是因為其他的事一直都沒有回過頭來把這一節知識給補上,正所謂亡羊補牢,讓我們現在來大致瞭解一下DLR吧。

DLR 全稱是 Dynamic Language Runtime(動態語言運行時)。這很容易讓我們想到同在C#中還有一個叫 CLR 的東西,它叫 Common Language Runtime。那這兩者有什麼關係呢?這個後續再說

DLR 是 C#4.0 新引進來的概念,其主要目的就是為了動態綁定與交互

C#關鍵字 dynamic

DLR 首先定義了一個核心類型概念,即動態類型。即在運行時確定的類型,動態類型的成員信息、方法等都只在運行時進行綁定。與CLR的靜態類型相反,靜態類型都是在C#編譯期間通過一系列的規則匹配到最後的綁定。

將這種動態進行綁定的過程它有點類似反射,但其內部卻和反射有很大的不同。這個稍微會談到。

由動態類型構成的對象叫動態對象。

DLR一般有下列特點:

  1. 把CLR的所有類型全部隱式轉成dynamic。如dynamic x = GetReturnAnyCLRType()
  2. 同樣,dynamic幾乎也可以轉換成CLR類型。
  3. 所有含有動態類型的表達式都是在運行期進行動態計算的。

DLR發展到現在,我們幾乎都使用了動態類型關鍵字 dynamic以及還有引用DLR的類庫 Dapper等。

在我們不想創建新的靜態類做DTO映射時,我們第一時間會想到動態類型。也經常性的將dynamic作為參數使用。

這時候我們就要註意一些 dynamic 不為大多人知的一些細節了。

不是只要含有 dynamic 的表達式都是動態的。

什麼意思呢,且看這段代碼dynamic x = "marson shine";。這句代碼很簡單,就是將字元串賦值給動態類型 x。

大家不要以為這就是動態類型了哦,其實不是,如果單單隻是這一句的話,C#編譯器在編譯期間是會把變數 x 轉變成靜態類型 object 的,等價於object x = "marson shine";。可能有些人會驚訝,為什麼C#編譯器最後會生成object類型的代碼。這就是接下來我們要註意的。

dynamic 於 object 的不可告人的關係

其實如果你是以 dynamic 類型為參數,那麼實際上它就是等於 object 類型的。換句話說,dynamic在CLR級別就是object。其實這點不用記,我們從編譯器生成的C#代碼就知道了。

這裡我用的是dotpeek查看編譯器生成的c#代碼。

這裡順便想問下各位,有沒有mac下c#反編譯的工具。求推薦

所以我們在寫重載方法時,是不能以 object 和 dynamic 來區分的。

void DynamicMethod(object o);
void DynamicMethod(dynamic d);  // error 編譯器無法通過編譯:已經存在同名同形參的方法

如果說 dynamic 與 object 一樣,那麼它與 DLR 又有什麼關係呢?

其實微軟提供這麼一個關鍵字,我認為是方便提供創建動態類型的快捷方式。而真正於動態類型密切相關的是命名空間System.Dynamic下的類型。主要核心類DynamicObject,ExpandoObject,IDynamicMetaObjectProvider ,關於這三個類我們這節先不談。

DLR探秘

首先我們來大致瞭解C#4.0加入的重要功能 DLR,在編譯器中處於什麼層次結構。

在這裡我引用 https://www.codeproject.com/Articles/42997/NET-4-0-FAQ-Part-1-The-DLR 這片文章的一副結構圖的意思

動態編程 = CLR + DLR

這足以說明 DLR 在C#中的位置,雖然名字與CLR只有一個字母之差,但是它所處的層次其實是在CLR之上的。我們知道編譯器將我們寫的代碼轉換成IL,然後經由CLR轉換成本地代碼交由CPU執行可執行程式。那麼實際上,DLR 是在編譯期間和運行期做了大量工作。最後還是會將C#代碼轉換成CLR靜態語言,然後再經由 CLR 將代碼轉換成本地代碼執行(如調用函數等)。

現在我們來簡要介紹一下DLR在編譯期間做了什麼。

到這裡就不得不以例子來做說明瞭,我們就上面的例子稍加改造一下:

// program.cs
dynamic x = "marson shine";
string v = x.Substring(6);
Console.WriteLine(v);

為了節省篇幅,我簡化並改寫了難看的變數命名以及不必要的註釋。生成的代碼如下:

            object obj1 = (object) "marson shine";
      staticCallSite1 = staticCallSite1 ?? CallSite<Func<CallSite, object, int, object>>.Create(Binder.InvokeMember(CSharpBinderFlags.None, "Substring", (IEnumerable<Type>) null, typeof (Example), (IEnumerable<CSharpArgumentInfo>) new CSharpArgumentInfo[2]
      {
        CSharpArgumentInfo.Create(CSharpArgumentInfoFlags.None, (string) null),
        CSharpArgumentInfo.Create(CSharpArgumentInfoFlags.UseCompileTimeType | CSharpArgumentInfoFlags.Constant, (string) null)
      }));

      object obj2 = ((Func<CallSite, object, int, object>) staticCallSite1.Target)((CallSite) staticCallSite1, obj1, 6);
        staticCallSite2 = staticCallSite2 ?? CallSite<Action<CallSite, Type, object>>.Create(Binder.InvokeMember(CSharpBinderFlags.ResultDiscarded, "WriteLine", (IEnumerable<Type>) null, typeof (Example), (IEnumerable<CSharpArgumentInfo>) new CSharpArgumentInfo[2]
        {
          CSharpArgumentInfo.Create(CSharpArgumentInfoFlags.UseCompileTimeType | CSharpArgumentInfoFlags.IsStaticType, (string) null),
          CSharpArgumentInfo.Create(CSharpArgumentInfoFlags.None, (string) null)
        }));

      ((Action<CallSite, Type, object>) staticCallSite2.Target)((CallSite) staticCallSite2, typeof (Console), obj2);

上文的兩個變數staticCallSite1,staticCallSite2 是靜態變數,起到緩存的作用。

這裡涉及到了DLR核心三個概念

  1. ExpressTree(表達式樹):通過CLR運行時用抽象語法樹(AST)生成代碼並執行。並且它也是用來與動態語言交互的主要工具(如Python,JavaScript 等)
  2. CallSite(調用點):當我們寫的調用動態類型的方法,這就是一個調用點。這些調用都是靜態函數,是能夠緩存下來的,所以在後續的調用,如果發現是相同類型的調用,就會更快的運行。
  3. Binder(綁定器):除了調用點之外,系統還需要知道這些方法如何調用,就比如例子中的通過調用Binder.InvokeMember方法,以及是那些對象類型調用的方法等信息。綁定器也是可以緩存的

總結

DLR運行過程我們總結起來就是,在運行時DLR利用編譯運行期間生成的表達式樹調用點綁定器代碼,以及緩存機制,我們就可以做到計算的重用來達到高性能。在很早前從老趙的表達式樹緩存系列文章也指出了,利用表達式樹緩存性能最接近直接調用(當然不包括IL編程)。

現在我們就知道了為什麼DLR能幹出與反射相同的效果,但是性能要遠比反射要高的原因了。

參數資料:

  1. https://www.codeproject.com/Articles/42997/NET-4-0-FAQ-Part-1-The-DLR
  2. 《深入理解C#》

您的分享是我們最大的動力!

更多相關文章
  • 設:我們有一個coreSize=10,maxSize=20,keepAliveTime=60s,queue=40 1、池初始化時裡面沒有任何線程。 2、當有一個任務提交到池就創建第一個線程。 3、若繼續提交任務,有空閑線程就調撥空閑線程來處理任務?若沒有線程空閑則再新建一個線程來處理,如此直到cor ...
  • 0、背景:在由於不想在小項目中引入SpringSecurity這種重量級安全框架,我自定義了一個LoginFilter來處理認證+授權邏輯。對於認證或授權失敗的情況,最初是在filter中拋出異常,並攜帶401狀態碼,然後利用Spring的ControllerAdvice全局捕獲這些異常並轉換後返回 ...
  • 1. Stream介面,它 直接負責 位元組流的傳輸。 2. Reader/Writer介面,它本身 不能讀直接讀寫數據 ,而是以Stream介面為內部核心,在外圍裝飾增強,負責字元流的讀寫。字元和位元組的轉換過程必須指定 字元編碼 方式。 3. 為了提高Reader/Writer介面的效率,又在外圍裝 ...
  • 0、前言 用mybatis,那麼分頁必不可少,基本都是用PageHelper這個分頁插件,好用方便; 1、實現 1.1、添加依賴: <!-- 3、集成 mybatis pagehelper--> <dependency> <groupId>com.github.pagehelper</groupId ...
  • 多用www.bing.com國際版解決代碼報錯 代碼運行的時候,報異常,國內的搜索引擎一搜, 浮誇的廣告太多,解決方案准確性不足, 盜版又很嚴重(導致一錯皆錯),方案未及時更新等詬病。 www.bing.com國際版可以關聯到: (1). 外國官網,可以獲得官方的解決方案。 (2). stackov ...
  • 擱置了幾天,工作忙的一塌糊塗,今天終於抽空來繼續看看MVC的知識。先來看看MVC的路由是如何處理的。以下為替代的路由: app.UseEndpoints(endpoints => { endpoints.MapControllerRoute( name: "default", pattern: "{ ...
  • 前言 通常在應用程式開發到正式上線,在這個過程中我們會分為多個階段,通常會有 開發、測試、以及正式環境等。每個環境的參數配置我們會使用不同的參數,因此呢,在ASP.NET Core中就提供了相關的環境API,方便我們更好的去做這些事情。 環境 ASP.NET Core使用ASPNETCORE_ENV ...
  • ​ 在C#8.0中,針對介面引入了一項新特性,就是可以指定預設實現,方便對已有實現進行擴展,也對面向Android和Swift的Api進行互操作提供了可能性。下麵我們來看看該特性的具體規則與實現。 一、主要應用場景: 在不破壞影響已有實現的情況下,可以添加新成員。這解決了在第三方已經大量使用了的介面 ...
一周排行
  • 一、引言 按照專用隊列解釋: MachineName\Private$\QueueName,只針對於本機的程式才可以調用的隊列,有些情況下為了安全起見定義為私有隊列。所以剛開始的時候認為,要想訪問遠程消息隊列,只能使用公共隊列。但是後來發現,公共隊列依賴Domain Controller(域控),在 ...
  • 本文只對api介面,header請求參數進行簡單驗證,起到拋磚引玉使用,需要深入驗證,請自行擴展 項目目錄結構如圖 中間件類 using ApiMiddleware.Common.DataEnityModel; using ApiMiddleware.Common.DbContext; using ...
  • 前言:由於公司占時沒有運維,出於微服務的需要,Apollo只能先裝在windows 阿裡雲上跑起來,由於環境及網路等問題,在安裝過程中遇到很多坑,算是一個個坑填完後,最終實現。 一. java jdk環境 java jdk 1.8下載地址: https://www.oracle.com/java/t ...
  • 前言 nuget 是 .net 的常用包管理器,目前已經內置到 Visual Studio 2012 以後的版本。大多數 .net 包都托管在 nuget.org,包括 .net core 框架基礎包,得益於 .net core 的模塊化設計,很多非核心包都可以進行一定程度的獨立升級。 製作並上傳 ...
  • 簡單的介紹一下集合,通俗來講就是用來保管多個數據的方案。比如說我們是一個公司的倉庫管理,公司有一堆貨物需要管理,有同類的,有不同類的,總而言之就是很多、很亂。我們對照集合的概念對倉庫進行管理的話,那麼 數組就是將一堆貨整整齊齊的碼在倉庫的某個地方,普通列表也是如此;Set就是在倉庫里有這麼一個貨架, ...
  • 中間件分類 ASP.NET Core 中間件的配置方法可以分為以上三種,對應的Helper方法分別是:Run(), Use(), Map()。 Run(),使用Run調用中間件的時候,會直接返回一個響應,所以後續的中間件將不會被執行了。 Use(),它會對請求做一些工作或處理,例如添加一些請求的上下 ...
  • 字元串的常用操作 很好理解 字元串可以用 ' + ' 連接,或者乘一個常數重覆輸出字元串 字元串的索引操作 通過一對中括弧可以找到字元串中的某個字元 可以通過正負數雙向操作噢 用一個中括弧來實現 為什麼沒有-0??去清醒腦子想想 -0 和 0 有差嗎? 還有一個切片操作 就像切菜那樣簡單,同樣是中括 ...
  • title: Java基礎語法(3) 運算符 blog: "CSDN" data: "Java學習路線及視頻" 1.算術運算符 算術運算符的註意問題 如果對負數取模,可以把模數負號忽略不記,如:5% 2=1。 但被模數是負數則不可忽略。此外,取模運算的結果不一定總是整數。 對於除號“/”,它的整數除 ...
  • 下麵是互相轉換的代碼: 有想要瞭解更多關於python知識的請在下方評論或私信小編 ...
  • 引言 構建分散式系統並不容易。然而,人們日常所使用的應用大多基於分散式系統,在短時間內依賴於分散式系統的現狀並不會改變。ApacheZooKeeper旨在減輕構建健壯的分散式系統的任務。ZooKeeper基於 分散式計算的核心概念而設計,主要目的是給開發人員提供一套容易理解和開發的介面,從而簡化分佈 ...
x