为什么 params 'less performant' 不是常规数组？

Question

如果你现在去输入 string.Format 到你的 IDE，你会看到有 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

标题假设不正确。

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

这个can be seen in this .NET Fiddle（查看"Tidy Up -> View 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 生成有一个 "exception"，因为当以 non-parameter 形式使用时，编译器可以移出 constant-valued 数组并使用 'dup' 初始化， as seen here。但是，在这两种情况下，都提供了一个 new 数组作为参数。

为什么 params 'less performant' 不是常规数组？

Why is params 'less performant' than a regular array?

c#

variadic-functions

params