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();
}
在泛型委托中，如果类型仅用作方法返回类型，且不用于方法参数，则可声明为协变的。