为什么 params 的性能不如常规数组？

Question

如果您现在在 IDE 中输入string.Format，您会看到有 4 种不同的重载：一个采用字符串和对象，另一个采用字符串和两个对象，然后一个采用三个对象，以及最后一个使用params。根据this answer 的说法，这是因为params 生成了'overhead'，其他一些语言可能不支持。

我的问题是，为什么不能像这样调用方法：

void Foo()
{
    Bar(1, 2, 3);
}

void Bar(params int[] args)
{
    // use args...
}

在编译时本质上被转换为

void Foo()
{
    Bar(new[] { 1, 2, 3 });
}

void Bar(int[] args)
{
    // use args...
}

？然后它不会产生任何开销，除了创建数组（无论如何都是必要的），并且与其他语言完全兼容。

参数的数量在编译时就已经知道了，那么是什么阻止了 C# 编译器进行某种字符串替换并使第一个场景本质上是第二个场景的语法糖呢？为什么我们必须专门实现hidden language features 来支持可变参数？

Answer 1

标题做出了不正确的假设。

参数和非参数方法都采用数组；不同之处在于编译器会在进行params 方法调用时发出 IL 以隐式创建数组。 一个数组作为单个参数传递给这两个方法。

这个can be seen in this .NET Fiddle（查看“整理 -> 查看 IL”）。

using System;

public class Program
{
    public static void Main()
    {
        var a1 = 1;
        var a2 = 2;
        var a3 = 3; 
        with_params(a1,a2,a3);
        no_params(new [] {a1,a2,a3});
    }

    public static void with_params(params int[] x) {}
    public static void no_params(int[] x) {}
}

在两种情况中，IL 是相同的；一个新数组被创建，它被填充，并且该数组被提供给被调用的方法。

这个相同的 IL 生成有一个“例外”，因为编译器可以在以非参数形式使用时移出常量值数组并使用 'dup' 初始化，as seen here。但是，在这两种情况下，都提供了一个 new 数组作为参数。