C#中的`params`总是会在每次调用时分配一个新的数组？

在C#世界中,这有一个很好的优势,允许您使用“raw”参数或可重用的数组实例调用相同的函数：

CultureInfo c = CultureInfo.InvariantCulture;

String formatted0 = String.Format( c,"{0} {1} {2}",1,2,3 );

Int32 third = 3;
String formatted0 = String.Format( c,third );

Int32[] values = new Int32[ 1,3 ];
String formatted1 = String.Format( c,values );

这意味着生成的CIL等效于：

String formatted0 = String.Format( c,new Object[] { 1,3 } );

Int32 third = 3;
String formatted0 = String.Format( c,third } );

Int32[] values = new Int32[ 1,values );

这意味着(在非优化的JIT编译器中)每个调用将分配一个新的Object []实例 – 尽管在第三个示例中,您可以将数组存储为字段或其他可重用的值,以消除每个调用String.Format.

但是在官方的CLR运行时和JIT中,为了消除这种分配而进行的任何优化？或者也许是特别标记的数组,一旦执行离开调用站点的范围,它将被释放？

或者也许是因为C#或JIT编译器知道参数的数量(当使用“raw”)时,它可以像stackalloc关键字那样做,并将数组放在堆栈上,因此不需要解除分配？