将零参数作为参数传递——行为是在哪里定义的？

Question

C# 规范。允许您调用

void foo(params int[] x)

零参数的函数。然而我在C#lang中没有找到。规格关于进一步行为的一句话—— foo 会得到空数组还是空引用吗？我还检查了 MSDN——什么也没有。

行为是在哪里定义的？

注意：我不是在问 VS 的行为方式，而是在问语言的设计。

Answer 1

C# 语言规范第 7.4.1 节（参考：C# 3.0 规范 ）

特别要注意的是一个空的
当数组为零时创建
为参数指定的参数
数组。

这是本节的最后一行

Answer 2

17.5.1.4 参数数组

参数数组允许参数
以两种方式之一指定
方法调用：

• 论据
给定的参数数组可以是
类型的单个表达式是
隐式转换（§13.1）为
参数数组类型。在这种情况下，
参数数组的作用精确
就像一个值参数。

•
或者，调用可以
指定零个或多个参数
参数数组，其中每个参数
是一个类型的表达式
隐式转换（§13.1）为
参数数组的元素类型。
在这种情况下，调用创建
参数数组的实例
类型的长度对应于
参数数量，初始化
数组实例的元素
与给定的参数值，和
使用新创建的数组实例
作为实际参数。

在同一部分中给出了一个示例：

using System;
class Test
{
    static void F(params int[] args) {
        Console.Write("Array contains {0} elements:", args.Length);
        foreach (int i in args)
            Console.Write(" {0}", i);
        Console.WriteLine();
    }

    static void Main() {
        int[] arr = {1, 2, 3};
        F(arr);
        F(10, 20, 30, 40);
        F();
    }
}

产生输出

Array contains 3 elements: 1 2 3 Array
contains 4 elements: 10 20 30 40 Array
contains 0 elements:

此示例说明了预期的行为：空数组

Answer 3

对于被调用者来说，它等于 void foo(int[] x) 并且传递 n 参数将为您提供一个包含 n 元素的数组。因此零参数将被转换为 int[0]。