在 dotnet 里面，可以使用 FormatterServices 的 GetUninitializedObject 方法可以實作只創建物件，而不呼叫物件的建構式方法，而如果在使用此方法時，存在了 DLL 缺失的情況，此時能否讓此方法運行通過，創建出空的物件
答案是可以創建成功，也可以創建不成功，當所有碰到的欄位都是參考型別的時候，可以創建成功，如果存在值型別，但是值型別的 DLL 定義檔案被洗掉，將會失敗
下面來寫一點測驗的邏輯，如下面代碼分別定義 F1 和 F2 和 F3 三個不同的型別
class F1
{
public F2 F2 { get; } = new F2();
}
class F2
{
public F3 F3 { get; } = new F3();
}
public class F3
{
}
在 Main 函式里面使用下面代碼呼叫 FormatterServices 的 GetUninitializedObject 方法創建物件
class Program
{
static void Main(string[] args)
{
var f1 = FormatterServices.GetUninitializedObject(typeof(F1));
}
}
接著將 F3 類放在另一個專案里面，然后讓此專案參考包含 F3 類的專案，在構建完成之后，洗掉包含 F3 類的專案的輸出 DLL 檔案，接著運行 Main 方法，可以看到實際上 f1 物件還是被創建才出來，不會炸掉
上面代碼放在 github 和 gitee 歡迎訪問
可以通過如下方式獲取本文的源代碼，先創建一個空檔案夾，接著使用命令列 cd 命令進入此空檔案夾，在命令列里面輸入以下代碼，即可獲取到本文的代碼
git init
git remote add origin https://gitee.com/lindexi/lindexi_gd.git
git pull origin 2f00793486fcb1962de7e368ec527cf1169db135
以上使用的是 gitee 的源，如果 gitee 不能訪問，請替換為 github 的源
git remote remove origin
git remote add origin https://github.com/lindexi/lindexi_gd.git
獲取代碼之后，進入 JinaldalurhaBelnallbune 檔案夾
其實此時即使獲取 F2 的型別，通過反射拿到所有的成員，也是可以獲取到的，如下圖
可以看到原本是 F3 的型別對應的屬性，在反射拿到的是 System.Reflection.RuntimePropertyInfo 型別
可以看到對應的模塊被洗掉時，只會提示說檔案找不到，而不會讓反射失敗
接下來試試使用結構體的方式，也就是欄位實際是值型別的方式，修改 F2 和 F3 從參考型別修改為結構體，代碼如下
struct F2
{
public F3 F3 { get; }
}
public struct F3
{
static F3()
{
}
}
依然將 F3 放在另一個程式集，然后在輸出檔案里面洗掉此程式集的 DLL 檔案，嘗試運行代碼，可以看到此時運行將會失敗
原因是因為值型別需要計算物件的占用的記憶體空間的大小，在準備創建 F1 的時候需要開始計算 F2 的占用空間，因為 F2 是一個結構體，但是 F2 里面參考了 F3 型別，此時 F2 就需要開始計算 F3 的空間，然而定義 F3 占用空間大小的資料放在了被洗掉的程式集里面，因此拿不到 F3 的占用空間大小，從而計算不出 F2 的空間大小，也就無法創建 F1 物件，因此失敗
那為什么 F3 的占用空間大小需要放在定義 F3 的程式集里面，不能放在被參考的如 F2 所在的程式集里面？原因在于 dotnet 的應用可以支持 DLL 兼容更新，如我可以方便的更改 F3 型別的定義，如添加一個欄位，那么此時 F3 的占用記憶體空間大小自然就需要修改了，然而此時我可以做到不更改 F2 所在的程式集，只需要更新 F3 所在的程式集即可，這就是因為在運行時里面讀取了 F3 所在的程式集拿到了 F3 的占用記憶體空間的大小，不需要依賴在 F2 所在的程式集的定義
上面代碼放在 github 和 gitee 歡迎訪問
可以通過如下方式獲取本文的源代碼，先創建一個空檔案夾，接著使用命令列 cd 命令進入此空檔案夾，在命令列里面輸入以下代碼，即可獲取到本文的代碼
git init
git remote add origin https://gitee.com/lindexi/lindexi_gd.git
git pull origin 415664a5516c778db662dd519e9114a320a4d690
以上使用的是 gitee 的源，如果 gitee 不能訪問，請替換為 github 的源
git remote remove origin
git remote add origin https://github.com/lindexi/lindexi_gd.git
獲取代碼之后，進入 JinaldalurhaBelnallbune 檔案夾
如果不是直接的參考的型別找不到定義的程式集，那依然可以成功，將 F2 從結構體修改為參考型別，如下面代碼
class F2
{
public F3 F3 { get; }
}
此時洗掉 F3 所在的程式集，依然可以創建出來 F1 物件
通過勺ò干以了解到 F1 物件的記憶體空間，可以計算出來，因為 F2 是參考型別，參考型別占用的欄位記憶體空間是固定的，所以就不需要再去計算 F2 里面包含的 F3 結構體的占用空間
當然，依然讓 F2 是結構體型別，但是將 F3 修改為參考型別，也能創建成功，原因是 F2 結構體在不知道 F3 的程式集時依然可以根據參考型別占用的欄位空間是固定的，計算出包含 F3 的屬性的欄位占用的記憶體，因此不需要去讀取 F3 所在的程式集
通過勺ò干以了解到 dotnet 里面加載程式集的機制
更多請看 dotnet C# 只創建物件不呼叫建構式方法
轉載請註明出處，本文鏈接：https://www.uj5u.com/net/292611.html
標籤：.NET技术
上一篇：02.反射Reflection