详解C# 4.0中必选参数与可选参数混合的问题-可选参数和必选参数

在VS2010 CTP中的C#4.0编译器调试通过,正式版可能会有些变化。

1.使用示例

class Program 
{ 
    static void Main(string[] args) 
    { 
        Test t = new Test(); 
        t.OptionalAndNamedParams(1); 
        t.OptionalAndNamedParams(2, "a"); 
        t.OptionalAndNamedParams(3, c: "b", b: "a"); 
        t.OptionalAndNamedParams(4, c: "http://g.cn"); 
    } 
} 

class Test 
{ 
    // a为必选参数;b,c为可选参数 
    public void OptionalAndNamedParams(int a, string b = "", object c = "http://xianfen.net") 
    { 
        Console.WriteLine("a:{0}, b:{1}, c:{2}", a, b, c); 
    } 
}

运行结果为：

使用中的注意事项：

当必选参数与可选参数在同一个方法中混合使用时，必选参数的声明应该放在可选参数的前面。

可选参数的初始值必须是一个在编译期可确定的常量。

可选参数不可用ref，out等修饰符。

如果全部显式指定参数名(paraName:value)，参数的顺序可以任意调整。

2.内部实现

ILDASM反编译一下Test.OptionalAndNamedParams，代码段为：

.method public hidebysig instance void  OptionalAndNamedParams(int32 a, 
[opt] string b, 
[opt] object c) cil managed 
{ 
  .param [2] = "" 
  .param [3] = "http://developer.51cto.com/" 
  // ...

可选参数前声明为OptionalAttribute特性。这是C#4.0的语法糖。

Test.OptionalAndNamedParams方法等价的代码为：

public void OptionalAndNamedParams(int a, 
    [Optional, DefaultParameterValue("")] string b, 
    [Optional, DefaultParameterValue("http://developer.51cto.com/")] object c) 
{ 
    Console.WriteLine("a:{0}, b:{1}, c:{2}", a, b, c); 
}

如果不用DefaultParameterValueAttribute特性设置默认值，则输出为：

现在知道了Office开发中Missing的原因了。

OptionalAttribute和DefaultParameterValueAttribute不是FCL的新类，他们把方法的参数声明为可选方法和指定默认值，以便被支持可选参数和默认参数的语言调用(如VB、VC++等)。

3.调用过程

Main方法中，调用t.OptionalAndNamedParams(1)的IL代码为(Release模式编译)：

IL_0006:  ldloc.0 
  IL_0007:  ldc.i4.1 
  IL_0008:  ldstr      "" 
  IL_000d:  ldstr      "http://developer.51cto.com/" 
  IL_0012:  callvirt   instance void Test::OptionalAndNamedParams(int32, string,object)

可以看到，编译器先取得可选参数的默认值，然后像常规方法一样调用，并不是后期绑定，这在程序集版本控制时应加以注意，更新了应用程序中含有可选参数方法的程序集后，可能由于默认值的改变导致程序行为异常。

4.方法重载

可选参数与方法重载时，方法的调用方式一模一样，到底调用的哪个可以举个例子：

在上面的Test类添加一个方法，定义为：

public void OptionalAndNamedParams(int a, string b)
{
Console.WriteLine("overload, a:{0}, b:{1}", a, b);
}

输出结果变成：

可以看出，首先调用参数完全匹配的方法。

【编辑推荐】