params 是编译器级支持的可变参数机制，必须为方法最后一个参数（cs0227），仅支持一维数组且唯一；传多个值会隐式堆分配，传数组则直接引用；泛型中类型推导优先按实参而非元素类型。
params 不是语法糖，而是编译器级支持的可变参数机制；它不改变调用语义，但会隐式构造数组——这意味着每次调用都可能触发堆分配，性能敏感场景需警惕。
params 参数必须是方法最后一个参数
这是编译器强制规则，不是约定。如果把 params int[] numbers 放在其他参数前面或中间，C# 编译器直接报错 CS0227: Params parameter must be last in the parameter list。
常见错误写法：
-
void Log(string level, params string[] messages, bool includeTimestamp)→ ❌ 编译失败 -
void Log(params string[] messages, string level)→ ❌ 同样失败
正确写法只有一种顺序：
-
void Log(string level, bool includeTimestamp, params string[] messages)→ ✅
params 只能修饰一维数组，且只能有一个
你不能写 params int[,] matrix 或 params List<string> items</string> —— 这些在 C# 12 及之前版本全部非法。即使到了 C# 13，params 对 ReadOnlySpan<t></t> 的支持也仅限于显式重载，不能替代原生数组语义。
典型误用场景：
- 想传二维数据 → 错误地尝试
params int[][] grids（交错数组）→ ❌ 编译报错CS0225: The params parameter must be a single-dimensional array - 想混用多个可变参数 →
void Process(params int[] nums, params string[] names)→ ❌ 只允许一个params
若真需要多组可变参数，得手动拆成多个数组参数，比如：void Process(int[] nums, string[] names)，再由调用方显式构造数组。
调用时传数组 vs 传多个值，行为完全不同
表面上看 Sum(1, 2, 3) 和 Sum(new int[]{1, 2, 3}) 结果一样，但底层内存和引用关系不同：
- 传多个值（如
Sum(1, 2, 3)）→ 编译器自动生成新数组，分配在堆上，元素按值拷贝 - 传已有数组（如
Sum(arr)）→ 直接传递该数组引用，不新建数组 - 传
object[]给params object[]没问题；但传int[]给params object[]会把整个int[]当作一个元素 → 输出System.Int32[]
这个细节在日志、调试或序列化逻辑里容易暴露：你可能以为传了 5 个字符串，结果只收到 1 个数组对象。
params 在泛型方法中要小心类型推导
泛型 + params 组合时，编译器优先按「传入的每个参数」推导类型，而不是看数组元素类型。例如：
public static T Max<t>(params T[] values) { ... }</t>
调用 Max(1, 2L, 3) 会失败，因为 1 是 int，2L 是 long，无法统一为同一个 T。
更隐蔽的问题：
-
Max(null, "hello")→ 推导出T = string，没问题 -
Max(null, null)→ 编译器无法推导T，报错CS0411: The type arguments for method cannot be inferred from the usage
此时必须显式指定类型：Max<string>(null, null)</string>。
真正容易被忽略的是：params 数组一旦创建，就脱离了栈帧生命周期，哪怕你只传两个 int，也会产生一次堆分配 + GC 压力。高频调用（如游戏循环、网络包解析）中，应优先考虑重载或 Span<t></t> 手动传参，而非无脑依赖 params。
