[你必须知道的.NET]第十一回：参数之惑---传递的艺术（上）

本文将介绍以下内容：

按值传递与按引用传递深论
ref和out比较
参数应用浅析

1. 引言

接上回《第九回：品味类型---值类型与引用类型（中）－规则无边》中，对值类型和引用类型的讨论，其中关于string类型的参数传递示例和解释，引起园友的关注和讨论，可谓一石激起千层浪。受教于装配脑袋的深切指正，对这一概念有了相当进一步的了解，事实证明是我错了，在此向朋友们致歉，同时非常感谢大家的参与，尤其是装配脑袋的不倦相告。

因此，本文就以更为清晰的角度，把我理解有误的雷区作做以深入的讨论与分析，希望通过我的一点点努力和探讨至少对如下几个问题能有清晰的概念：

什么是按值传递？什么是按引用传递？
按引用传递和按引用类型参数传递的区别？
ref与out在按引用传递中的比较与应用如何？
param修饰符在参数传递中的作用是什么？

2. 参数基础论

简单的来说，参数实现了不同方法间的数据传递，也就是信息交换。Thinking in Java的作者有过一句名言：一切皆为对象。在.NET语言中也是如此，一切数据都最终抽象于类中封装，因此参数一般用于方法间的数据传递。例如典型的Main入口函数就有一个string数组参数，args是函数命令行参数。通常参数按照调用方式可以分为：形参和实参。形参就是被调用方法的参数，而实参就是调用方法的参数。例如：

using System;

public class Arguments
{
  public static void Main(string [] args)
  {
    string myString = "This is your argument.";
    //myString是实际参数
    ShowString(myString);
  }

  private void ShowString(string astr)
  {
    Console.WriteLine(astr);
  }
}

由上例可以得出以下几个关于参数的基本语法：

形参和实参必须类型、个数与顺序对应匹配；
参数可以为空；
解析Main(string [] args)，Main函数的参数可以为空，也可以为string数组类，其作用是接受命令行参数，例如在命令行下运行程序时，args提供了输入命令行参数的入口。
另外，值得一提的是，虽然CLR支持参数默认值，但是C#中却不能设置参数默认值，这一点让我很郁闷，不知为何？不过可以通过重载来变相实现，具体如下：

static void JudgeKind(string name, string kind)
{
    Console.WriteLine("{0} is a {1}", name, kind);
}

static void JudgeKind(string name)
{
    //伪代码
    if(name is person)
    {
        Console.WriteLine(name, "People");
    }
}

这种方法可以扩展，可以实现更多个默认参数实现，不过，说实话有些多此一举，不够灵活，不爽不爽。

3. 传递的基础

接下来，我们接上面的示例讨论，重点将参数传递的基础做以交代，以便对参数之惑有一个从简入繁的演化过程。我们以基本概念的形式来一一列出这些基本概念，先混个脸儿熟，关于形参、实参、参数默认值的概念就不多做交代，参数传递是本文的核心内容，将在后文以大量的笔墨来阐述。所以接下来的概念，我们就做以简单的引入不花大量的精力来讨论，主要包括：

3.1 泛型类型参数

泛型类型参数，可以是静态的，例如MyGeneric<int>；也可以是动态的，此时它其实就是一个占位符，例如MyGeneric<T>中的T可以是任何类型的变量，在运行期动态替换为相应的类型参数。泛型类型参数一般也以T开头来命名。

3.2 可变数目参数

一般来说参数个数都是固定的，定义为集群类型的参数可以实现可变数目参数的目的，但是.NET提供了更灵活的机制来实现可变数目参数，这就是使用param修饰符。可变数目参数的好处就是在某些情况下可以方便的提供对于参数个数不确定情况的实现，例如计算任意数字的加权和，连接任意字符串为一个字符串等。我们以一个简单的示例来展开对这个问题的论述，为：

在此基础上，我们将使用param关键字实现可变数目参数的规则和使用做以小结为：

param关键字的实质是：param是定制特性ParamArrayAttribute的缩写（关于定制特性的详细论述请参见第三回：历史纠葛：特性和属性），该特性用于指示编译器的执行过程大概可以简化为：编译器检查到方法调用时，首先调用不包含ParamArrayAttribute特性的方法，如果存在这种方法就施行调用，如果不存在才调用包含ParamArrayAttribute特性的方法，同时应用方法中的元素来填充一个数组，同时将该数组作为参数传入调用的方法体。总之就是param就是提示编译器实现对参数进行数组封装，将可变数目的控制由编译器来完成，我们可以很方便的从上述示例中得到启示。例如：

static void ShowAgeSum(string team, params int[] ages){...}

实质上是这样子：

static void ShowAgeSum(string team, [ParamArrayAttribute] int[] ages){...}

param修饰的参数必须为一维数组，事实上通常就是以群集方式来实现多个或者任意多个参数的控制的，所以数组是最简单的选择；
param修饰的参数数组，可是是任何类型。因此，如果需要接受任何类型的参数时，只要设置数组类型为object即可；
param必须在参数列表的最后一个，并且只能使用一次。

4. 深入讨论，传递的艺术

默认情况下，CRL中的方法都是按值传递的，但是在具体情况会根据传递的参数情况的不同而有不同的表现，我们在深入讨论传递艺术的要求下，就是将不同的传递情况和不同的表现情况做以小结，从中剥离出参数传递复杂表现之内的实质所在。从而为开篇的几个问题给出清晰的答案。

4.1 值类型参数的按值传递

首先，参数传递根据参数类型分为按值传递和按引用传递，默认情况下都是按值传递的。按值传递主要包括值类型参数的按值传递和引用类型参数的按值传递。值类型实例传递的是该值类型实例的一个拷贝，因此被调用方法操作的是属于自己本身的实例拷贝，因此不影响原来调用方法中的实例值。以例为证：

// FileName    : Anytao.net.My_Must_net
// Description : The .NET what you should know of arguments.
// Release      : 2007/07/01 1.0

// Copyright   : (C)2007 Anytao.com  http://www.anytao.com

using System;

namespace Anytao.net.My_Must_net
{
    class Args
    {
        public static void Main()
        {
            int a = 10;
            Add(a);
            Console.WriteLine(a);
        }

        private static void Add(int i)
        {
            i = i + 10;
            Console.WriteLine(i);
        }
    }
}

休息一下，请看下篇『第十二回：参数之惑---传递的艺术（下）』

参考文献

（USA）Jeffrey Richter, Applied Microsoft .NET Framework Programming

（USA）David Chappell， Understanding .NET

温故知新

[开篇有益]
[第一回：恩怨情仇：is和as]
[第二回：对抽象编程：接口和抽象类]
[第三回：历史纠葛：特性和属性]
[第四回：后来居上：class和struct]
[第五回：深入浅出关键字---把new说透]
[第六回：深入浅出关键字---base和this]
[第七回：品味类型---从通用类型系统开始]
[第八回：品味类型---值类型与引用类型（上）－内存有理]
[第九回：品味类型---值类型与引用类型（中）－规则无边]
[第十回：品味类型---值类型与引用类型（下）－应用征途]