前期綁定與后期綁定 在.NET中，前期綁定（Early Binding）是指在編譯時(shí)就確定了對(duì)象的類型和方法，而后期綁定（Late Binding）或動(dòng)態(tài)綁定是在運(yùn)行時(shí)確定對(duì)象的類型和方法。
前置知識(shí)：C#類型系統(tǒng)結(jié)構(gòu) C#作為C++++ ，在類型系統(tǒng)上沿用C++的類型系統(tǒng)
前期綁定 在代碼能執(zhí)行之前，將代碼中依賴的assembly,module,class,method,field等類型系統(tǒng) 的元素提前構(gòu)建好。
比如一個(gè)簡(jiǎn)單的的控制臺(tái)，就自動(dòng)提前加載了各種需要的DLL文件。完成前期綁定。
后期綁定 后期綁定的優(yōu)點(diǎn)是可以在運(yùn)行時(shí)更改類型，無需重新編譯代碼。缺點(diǎn)是在編譯時(shí)不進(jìn)行類型檢查，可能導(dǎo)致運(yùn)行時(shí)錯(cuò)誤。dynamic ，多態(tài)，System.Reflection 等
舉個(gè)例子，使用Reflection下的“元數(shù)據(jù)查詢API”，動(dòng)態(tài)加載DLL
var dllpath = "xxx.dll" ;
Assembly assembly = Assembly.LoadFrom(dllpath);
Type dataAccessType = assembly.GetType("xxxxx" );
object dataAccess = Activator.CreateInstance(dataAccessType);
MethodInfo addMethod = dataAccessType.GetMethod("Add" );
addMethod.Invoke(dataAccess, new object [] { "hello world" });
反射 反射的本質(zhì)就是“操作元數(shù)據(jù)”
什么是元數(shù)據(jù)？ MetaData，本是上就是存儲(chǔ)在dll中的一個(gè)信息數(shù)據(jù)庫(kù)，記錄了這個(gè)assembled中有哪些方法，哪些類，哪些屬性等等信息
舉個(gè)例子：
通過Reflection XXXInfo系列API 查詢所有細(xì)節(jié)
Type t = typeof (System.IO.FileStream);
FieldInfo[] fi = t.GetFields(BindingFlags.Static | BindingFlags.NonPublic | BindingFlags.Public );
PropertyInfo[] pi = t.GetProperties(BindingFlags.Static | BindingFlags.NonPublic | BindingFlags.Public );
EventInfo[] ei = t.GetEvents(BindingFlags.Static | BindingFlags.NonPublic | BindingFlags.Public );
......
反射如何構(gòu)建類型系統(tǒng) 通過Reflection XXXBuilder系列API 構(gòu)建一個(gè)全新的類型
AssemblyBuilder ab = AssemblyBuilder.DefineDynamicAssembly(new AssemblyName ("MyAssembly" ), AssemblyBuilderAccess.RunAndCollect);
ModuleBuilder mob = ab.DefineDynamicModule("MyModule" );
TypeBuilder tb = mob.DefineType("MyType" , TypeAttributes.Public | TypeAttributes.Class);
MethodBuilder mb = tb.DefineMethod("SumMethod" , MethodAttributes.Public | MethodAttributes.Static, typeof(int ), new Type [] { typeof(int ), typeof(int ) });
ILGenerator il = mb.GetILGenerator();
il.Emit(OpCodes.Ldarg_0);
il.Emit(OpCodes.Ldarg_1);
il.Emit(OpCodes.Add);
il.Emit(OpCodes.Ret);
Type type = tb.CreateType();
MethodInfo method = type.GetMethod("SumMethod" );
Console.WriteLine(method.Invoke(null , new object [] { 5 , 10 }));
反射底層調(diào)用 C#的類型系統(tǒng)，與C++的類型系統(tǒng)是一一對(duì)應(yīng)的。因此其底層必定是調(diào)用C++的方法。
眼見為實(shí)，以Invoke為例
反射到底慢在哪？ 動(dòng)態(tài)解析 動(dòng)態(tài)調(diào)用 無法在編譯時(shí)優(yōu)化 額外的安全檢查 緩存易失效 總之，千言萬語匯成一句話。最好的反射就是不要用反射。除非你能保證對(duì)性能要求不高/緩存高命中率
CLR的對(duì)反射的優(yōu)化 除了緩存反射的匯編，.NET 中提供了一系列新特性來盡可能的繞開“反射”
Emit Emit 是 .NET 提供的一種動(dòng)態(tài)生成和編譯代碼的技術(shù)。通過 Emit，我們可以動(dòng)態(tài)生成一個(gè)新的方法，這個(gè)方法可以直接訪問私有成員，這對(duì)于一些特殊場(chǎng)景非常有用，比如動(dòng)態(tài)代理、代碼生成器、AOP（面向切面編程）等.
public class Person
{
private int _age;
public override string ToString ()return _age.ToString();
}
}
static void EmitTest (Person person )typeof (Person);
FieldInfo ageField = personType.GetField("_age" , BindingFlags.Instance | BindingFlags.NonPublic);
if (ageField == null )
{
throw new ArgumentException("未找到指定的私有字段" );
}
DynamicMethod dynamicMethod = new DynamicMethod("SetAgeValue" , null , new Type[] { typeof (Person), typeof (int ) }, personType);
ILGenerator ilGenerator = dynamicMethod.GetILGenerator();
ilGenerator.Emit(OpCodes.Ldarg_0);
ilGenerator.Emit(OpCodes.Ldarg_1);
ilGenerator.Emit(OpCodes.Stfld, ageField);
ilGenerator.Emit(OpCodes.Ret);
Action<Person, int > setAgeAction = (Action<Person, int >)dynamicMethod.CreateDelegate(typeof (Action<Person, int >));
setAgeAction(person, 100 );
}
切構(gòu)建代碼又臭又長(zhǎng)。
Expression Expression 是 .NET 提供的一種表達(dá)式樹的技術(shù)。通過 Expression，我們可以創(chuàng)建一個(gè)表達(dá)式樹，然后編譯這個(gè)表達(dá)式樹，生成一個(gè)可以訪問私有成員的方法
static void ExpressionTest (Person person)
{
Type personType = typeof(Person);
FieldInfo ageField = personType.GetField("_age" , BindingFlags.Instance | BindingFlags.NonPublic);
if (ageField == null )
{
throw new ArgumentException ("未找到指定的私有字段" );
}
ParameterExpression instanceParam = Expression.Parameter(personType, "instance" );
ParameterExpression newValueParam = Expression.Parameter(typeof(int ), "newValue" );
BinaryExpression assignExpression = Expression.Assign(Expression.Field(instanceParam, ageField), newValueParam);
BlockExpression blockExpression = Expression.Block(assignExpression);
Action<Person, int > setAgeAction = Expression.Lambda<Action<Person, int >>(blockExpression, instanceParam, newValueParam).Compile();
setAgeAction(person, 100 );
}
切構(gòu)建代碼又臭又長(zhǎng)。
UnsafeAccessorAttribute .Net 8中引入了新特性UnsafeAccessorAttribute 。
static void New ()var person = new Person();
GetAgeField(person) = 100 ;
}
[UnsafeAccessor(UnsafeAccessorKind.Field, Name = "_age" ) ]
static extern ref int GetAgeField (Person counter )為什么它這么快？ 對(duì)于C#來說，私有類型是OOP語言的定義。它定義了什么是私有類型，它的行為是什么。Unsafe Accessor就能猜到意圖了
3，2，1. 上匯編！！！
.NET 9中的改進(jìn) 支持泛型，更優(yōu)雅。https://learn.microsoft.com/zh-cn/dotnet/core/compatibility/core-libraries/9.0/unsafeaccessor-generics
參考資料 https://blog.csdn.net/sD7O95O/article/details/133002995 https://learn.microsoft.com/zh-cn/dotnet/api/system.runtime.compilerservices.unsafeaccessorattribute?view=net-8.0
轉(zhuǎn)自https://www.cnblogs.com/lmy5215006/p/18545334
400 186 1886
