泛型限制如何有效區分 C# 中的值類型和參考型別？

泛型限制：區分值類型與引用型別

簡介

簡介

在泛型在程式設計中，約束允許我們指定類型參數的限制。一個常見問題是區分值類型（例如整數）和引用類型（例如字串）。此問題探討了類型參數的限制未如預期解決的情況。

問題

作者提出了區分不同值類型場景的挑戰：值類型(int)、可空值類型(int?) 和引用類型(string) 。最初，他們建議使用 where T : struct 來識別結構類型（值類型），使用 where T : class 來識別引用類型，但由於成員定義重複而導致編譯錯誤。

解決方案

class RequireStruct<T> where T : struct { }
class RequireClass<T> where T : class { }

static void Foo<T>(T a, RequireStruct<T> ignore = null) where T : struct { } // 1
static void Foo<T>(T? a) where T : struct { } // 2
static void Foo<T>(T a, RequireClass<T> ignore = null) where T : class { } // 3

關鍵的見解是約束不是方法簽名的一部分，並且重載解析會考慮參數類型。因此，作者將約束放在參數中以區分值類型和引用類型。這是修改後的程式碼：透過使用這些輔助類，程式碼現在可以正確區分不同的值類型場景。 Foo(z) 將編譯並對應到方法 (3)，因為 string 是引用類型。

以上是泛型限制如何有效區分 C# 中的值類型和參考型別？的詳細內容。更多資訊請關注PHP中文網其他相關文章！