为何委托行为类似引用类型？C# Transform方法委托使用问询

让我一步步来解答你的这两个C#核心问题，都是委托和泛型的经典知识点~

简单说，委托在C#里本质就是引用类型的对象——它是一个密封类，继承自System.MulticastDelegate（最终溯源到System.Delegate）。当你声明一个委托变量时，存储的是对这个委托对象的引用，而非方法本身的“值”，这就导致它表现出典型的引用类型特征：

• 赋值传递引用：把一个委托变量赋值给另一个后，两个变量会指向同一个委托实例。比如给其中一个变量用+=添加新的方法调用，另一个变量的调用列表也会同步变化。
• 支持null值：委托变量的默认值是null，表示没有指向任何方法，这和普通值类型（除可空值类型）不能为null的特性完全不同。
• 参数传递是引用传递：当把委托作为参数传给方法时，方法内部对委托的修改（比如添加/移除调用）会直接影响外部的委托实例。

举个直观的小例子：

Action myAction = () => Console.WriteLine("Hello");
Action anotherAction = myAction;
anotherAction += () => Console.WriteLine("World");
myAction(); // 会输出 Hello 和 World，因为两个变量指向同一个委托实例

我们结合你的代码拆解分析：

先看泛型委托的定义 #

public delegate T Transformer<T>(T arg);

这是一个泛型委托，它定义了一个“输入类型为T、输出类型也为T”的方法签名。泛型的核心价值是不用为每个类型单独定义委托（比如IntTransformer、StringTransformer），一次定义就能适配所有数据类型。

再看Util.Transform方法的运行原理 #

public static void Transform<T>(T[] values, Transformer<T> t) {
    for (int i = 0; i < values.Length; i++)
        values[i] = t(values[i]);
}

1. 自动类型推断：当你在Main里调用Util.Transform(values, Square)时，编译器会自动推断出T是int——因为values是int[]，而Square方法的签名int(int)完全匹配Transformer<int>的要求，编译器会自动创建一个Transformer<int>实例，指向Square方法。
2. 委托的执行逻辑：方法内部遍历数组的每个元素，调用t(values[i])其实就是调用委托指向的Square方法，把元素的平方结果赋值回数组对应位置。由于数组本身是引用类型，修改会直接反映到原数组（也就是Main里的values）。
3. 编译期类型安全：泛型保证了输入和输出的类型必须一致，比如你不能给int[]数组传递一个接受string的转换方法，编译器会直接报错，避免了运行时的类型错误。

这个设计的核心作用 #

• 解耦逻辑与复用：Transform方法只负责“遍历数组并应用转换”这个通用逻辑，具体的转换规则（比如平方、取反、转大写等）完全由外部传入的委托决定。不用修改Util类的代码，只要传递不同的委托（或lambda表达式），就能实现各种数组转换需求。
• 代码简洁性：如果不想单独写Square方法，还可以用lambda表达式简化调用：

  Util.Transform(values, x => x * x);
  

• 适配任意类型：这个方法不局限于int数组，比如处理字符串数组：

  string[] strs = { "a", "b", "c" };
  Util.Transform(strs, s => s.ToUpper());
  // 处理后strs变成 {"A", "B", "C"}
  

这样一来，Util.Transform就变成了一个通用的数组转换工具，灵活度和复用性都拉满了。

内容的提问来源于stack exchange，提问作者streamc