C#怎么实现泛型编程_C#如何使用泛型类和泛型方法提高代码复用【基础】

C#泛型编程：从“能用”到“好用”的关键几步

泛型编程，听起来像是给代码加个就万事大吉？其实不然。真正的核心在于，你引入的类型参数是否被实际、有效地使用了，施加的约束是否恰到好处，以及类型推断是否可靠。一个不加任何约束的 T，往往是在为运行时异常埋下伏笔；而过度严苛的约束，又会把代码的适用场景牢牢锁死，失去泛型的灵活性优势。

泛型类怎么定义才不白写

从具体的类开始改造，通常是最稳妥的路径。比方说，你手头有一个只处理 int 类型的 NodeInt 类。第一步，就是把它的名字改成 Node。接下来才是重头戏：逐个检查字段、属性、方法签名，把其中硬编码的 int 类型替换成 T。这里有个常见的误区——别一上来就给 T 加上一堆像 where T : class, new() 这样的约束，除非你真的需要调用 new T() 或者进行空值判断。

• 替换范围要广：凡是字段、属性、构造函数参数、返回值中间出现的具体类型，只要未来有可能发生变化，都应该考虑替换成 T。
• 操作决定约束：如果类内部存在 CompareTo 这类比较操作，那么 where T : IComparable 这个约束就是必须的，否则编译器会直接报错。
• 告别硬编码：避免在泛型类内部继续使用 typeof(int) 或 default(int) 这样的硬编码。正确的做法是使用 default(T) 或 typeof(T)。
• 继承规则要清晰：继承泛型基类时，子类必须做出明确选择。要么指定具体类型（例如 class IntNode : Node），要么保持类型参数开放（例如 class GenericNode : Node）。绝对不能写成 class BadNode : Node 这种形式，因为此处的 T 对于 BadNode 来说并未声明。

泛型方法的类型推断常被高估

编译器的类型推断能力确实方便，但它的边界需要被清楚认知。它能推断出 Swap(ref a, ref b) 中的 T 是 int，是因为两个参数都是明确的 int 类型。然而，一旦参数类型不一致，或者方法根本没有参数，这种推断就会立刻失效。

• ref/out 参数的特殊性：对于带有 ref 或 out 参数的方法，类型推断仅依赖于传入变量的声明类型，而不会考虑其运行时的实际值。
• 单参数与 null 的陷阱：像 void Log(T value) 这样的单参数方法，调用 Log(42) 可以顺利推断为 int。但调用 Log(null) 则会引发错误，因为编译器无法从 null 中确定 T 具体是哪个引用类型。
• 重载解析的优先级：在进行方法重载解析时，编译器会先尝试进行类型推断，然后再筛选候选方法。如果类型推断失败，即使存在参数匹配的非泛型重载版本，编译器也不会选择它。
• 约束的必要性判断：方法内部如果只是调用 T 的 ToString() 这类从 object 继承的方法，则无需额外约束。但若需要调用像 CompareTo 这样的特定接口方法，就必须加上 where T : IComparable 约束。