out参数，ref参数，params参数数组

out参数，ref参数，params参数数组

params参数数组

params关键字可以为方法指定数目可变的参数。params关键字修饰的参数，可以传入任意数目的同类型参数，甚至可以不传入参数。

不过params修饰的参数必须是方法的最后一个参数，并且一个方法只能有一个params修饰的参数。

示例

public class MyClass{    public static void UseParams(params int[] list)    {        for (int i = 0; i < list.Length; i++)        {            Console.Write(list[i] + " ");        }        Console.WriteLine();    }    public static void UseParams2(params object[] list)    {        for (int i = 0; i < list.Length; i++)        {            Console.Write(list[i] + " ");        }        Console.WriteLine();    }    static void Main()    {        // You can send a comma-separated list of arguments of the         // specified type.        UseParams(1, 2, 3, 4);        UseParams2(1, 'a', "test");        // A params parameter accepts zero or more arguments.        // The following calling statement displays only a blank line.        UseParams2();        // An array argument can be passed, as long as the array        // type matches the parameter type of the method being called.        int[] myIntArray = { 5, 6, 7, 8, 9 };        UseParams(myIntArray);        object[] myObjArray = { 2, 'b', "test", "again" };        UseParams2(myObjArray);        // The following call causes a compiler error because the object        // array cannot be converted into an integer array.        //UseParams(myObjArray);        // The following call does not cause an error, but the entire         // integer array becomes the first element of the params array.        UseParams2(myIntArray);    }}/*Output:    1 2 3 4    1 a test    5 6 7 8 9    2 b test again    System.Int32[]*/

该示例中，UseParams方法可以接受任意数目的int类型参数，UseParams2方法可以接受任意数目的object类型参数。

ref引用参数

ref关键字使参数通过引用传递(非值传递)。通过引用传递参数的效果是：在方法中对参数的任何改变都会保留。

说明：引用传递和引用类型是两个概念，不要混淆。值类型和引用类型都可以用ref修饰，当通过引用传递时，不会对值类型装箱。

若要使用ref参数，方法的定义和调用都必须显式使用ref关键字，如下所示：

class RefExample {        static void Method(ref int i) {            // Rest the mouse pointer over i to verify that it is an int.            // The following statement would cause a compiler error if i            // were boxed as an object.            i = i + 44;        }        static void Main() {            int val = 1;            Method(ref val);            Console.WriteLine(val);            // Output: 45        }    }

传递给ref形参的实参必须先经过初始化才能使用。这与out形参不同，out形参使用前可以不初始化。

同一个类中的方法签名，差别不能仅仅是参数修饰分别为ref和out。如果两个方法之间的差别仅在于，一个为ref参数，另一个为out参数，则会发生编译错误。例如，下面的代码会编译出错：

class CS0663_Example{    // Compiler error CS0663: "Cannot define overloaded     // methods that differ only on ref and out".    public void SampleMethod(out int i) { }    public void SampleMethod(ref int i) { }}

不过，有ref(out)和没ref(out)的函数可以重载，如下所示，可以通过编译：

class RefOverloadExample{        public void SampleMethod(int i) { }        public void SampleMethod(ref int i) { }}

属性不是变量，它们是方法，所以不能作为ref参数传递。

下面类型的方法不能使用ref和out关键字：

• 异步方法，即以async修饰符修饰的方法。
• 迭代器方法，包括yield return 或 yield break 声明语句。

out输出参数

在ref中已经对out有所介绍，下面对out参数进行详细解析。out关键字可以应用在两个地方：参数修饰符；接口或委托中修饰泛型类型参数。首先介绍参数修饰符部分。

参数修饰

out关键字通过引用传递参数。这与ref关键字相似，不过ref要求在传递之前初始化而变量，out没有此要求。和ref一样，方法定义和调用处都必须显式使用out关键字。例如：

class OutExample{    static void Method(out int i)    {        i = 44;    }    static void Main()    {        int value;        Method(out value);        // value is now 44    }}

虽然out参数传递的变量无需在传递之前初始化，但需要在方法返回之前赋值。

示例

如果希望方法返回多个值，可以声明out方法。下面的示例使用out返回具有单个方法调用的三个变量。注意，第三个参数赋为null值，这使得方法可以由选择地返回值。

class OutReturnExample    {        static void Method(out int i, out string s1, out string s2)        {            i = 44;            s1 = "I've been returned";            s2 = null;        }        static void Main()        {            int value;            string str1, str2;            Method(out value, out str1, out str2);            // value is now 44            // str1 is now "I've been returned"            // str2 is (still) null;        }    }

泛型修饰符

对于泛型类型参数，out关键字可指定该类型参数是协变的。可以在泛型接口和委托中使用out关键字。

通过协变，可以使用比指定类型派生程度更大的类型。这样可以对委托类型和实现变体接口的类进行隐式转换。引用类型支持协变和逆变，值类型不支持。

如果接口具有协变类型形参，则允许其返回派生程度更大的实参。例如，.NET framework 4中的IEnumerable<T>接口，其类型T是协变的，因此无需使用任何特殊的转换方法就可以将IEnumerable<Of String>类型的对象分配给IEnumerable<Of Object>类型的对象。

可以向协变委托分配同一类型的其他委托，但需使用派生程序更大的泛型类型参数。

示例

下面演示如何声明、扩展和实现一个协变泛型接口。此外还演示如何对实现协变接口的类使用隐式转换。

// Covariant interface.interface ICovariant<out R> { }// Extending covariant interface.interface IExtCovariant<out R> : ICovariant<R> { }// Implementing covariant interface.class Sample<R> : ICovariant<R> { }class PRogram{    static void Test()    {        ICovariant<Object> iobj = new Sample<Object>();        ICovariant<String> istr = new Sample<String>();        // You can assign istr to iobj because        // the ICovariant interface is covariant.        iobj = istr;    }}

在泛型接口中，当符合下列条件，可将类型参数声明为协变的

• 类型形参仅用作接口方法的返回类型，不用作方法实参的类型。 说明：此规则有个例外，如果在协变接口中，包含用作方法参数的逆变泛型委托，则可以将协变类型用作此委托类型参数。
• 类型参数不用作接口方法的泛型约束。

下面演示如何声明、实例化和调用一个协变泛型委托：

// Covariant delegate.public delegate R DCovariant<out R>();// Methods that match the delegate signature.public static Control SampleControl(){ return new Control(); }public static Button SampleButton(){ return new Button(); }public void Test(){                // Instantiate the delegates with the methods.    DCovariant<Control> dControl = SampleControl;    DCovariant<Button> dButton = SampleButton;    // You can assign dButton to dControl    // because the DCovariant delegate is covariant.    dControl = dButton;    // Invoke the delegate.    dControl(); }