//oldValue、parameter1、optionalParam1、optionalParam2就是Change方法的形参//方法签名如果有多个形参，则多个形参用逗号隔开private static void Change<T>(T oldValue, object parameter1, object optionalParam1 = null, object optionalParam2 = null){    T newValue = default(T);    oldValue = newValue;}

private static void Main(){    int a = 5;    //传进去2个实参，实参1为变量，实参2为值    //实参初始化了形参的初始值    Change(a, 99);}

private static void Main(){    Change(99, 88);    //如果不记得形参的顺序，但却知道其名称，可以按任意顺序发送实参。    Change(oldValue: 99, parameter1: 88);    Change(parameter1: 99, oldValue: 88);    //命名实参还可以标识每个实参所表示的含义，从而改进代码的可读性。    //命名实参可以放在位置实参后面，如此处所示。    Change(99, parameter1: 88);    //但是，位置实参不能放在命名实参后面。 下面的语句会导致编译器报错。    //Change(parameter1: 99, 88);}

private static void Main(){    //下面对 Change 的调用导致编译器报错，原因是调用者为任意一个形参提供了实参，则它必须为前面的所有可选形参提供实参。     //Change(3, 2, , 4);    //如果你想跳过第三个可选形参，则可以使用命名实参来达到目的。    Change(3, optionalParam2: 4, parameter1: 99);}

private static void Change(params object[] aryParameters){}private static void Main(){    //如果不传实参，则aryParameters长度为0    Change();    Change(3);    Change(3, 4, 8);    Change(new string[] { "as", "er" });}

private static void ChangeValue<T>(T oldValue){    T newValue = default(T);    oldValue = newValue;}private static void Main(){    int a = 100;    //传递的是值类型实例的副本，所以针对方法内部的改变丝毫不会影响到实例本身    ChangeValue(a);    Console.WriteLine(a);//输出是：100}

private static void ChangeValue(string value){    //此时传递进来的value副本和value都指向"init"    value = "update";//value副本做赋值操作，分配一个新的string类型实例对象(new string("update"))，value副本已经指向 "update"（地址为0x02），而value仍然还是指向"init"（地址为0x01）}private static void Main(){    string value = http://www.mamicode.com/"init";    //value变量存的是对"init"的引用（内存地址：0x01）    //那么传递的是value变量的副本（本质也就是对"init"的引用的副本，也是0x01）    //这2个0x01都存储在线程堆栈上，并且都指向"init"的托管堆内存块    ChangeValue(value);    //ChangeValue方法只是改变了value副本的指向，value本身的指向不受任何影响，所以结果可想而知输出“init”    Console.WriteLine(value);}

public string TestProperty { get; set; }private static void ChangeValue(Program p){    //此时传递进来的p副本和p都指向new Program { TestProperty = "init" }    //对p副本所指向内存块的TestProperty属性做赋值操作，    //而不是对p副本做赋值操作，那么也就是说p副本的指向并未改变    //实际上操作的内存块依然是new Program { TestProperty = "init" }    //所以p副本所指向内存块的TestProperty属性已经指向"update"了    p.TestProperty = "update";    //这里只是改变了一个地址，就是p副本和p共同指向的内存块里面的TestProperty属性的地址}private static void Main(){    Program p = new Program { TestProperty = "init" };    //p变量存的是对new Program { TestProperty = "init" }的引用（内存地址：0x001）    //那么传递的是p变量的副本（本质也就是对new Program { TestProperty = "init" }的引用的副本，也是0x001）    //这2个0x001都存储在线程堆栈上，并且都指向new Program { TestProperty = "init" }的托管堆内存块    ChangeValue(p);    //ChangeValue既没有改变p的指向，也没有改变p副本的指向    //p和p副本依然指向同一个内存块    //由于ChangeValue修改了该内存块TestProperty属性的值，所以输出结果“update”    Console.WriteLine(p.TestProperty);}

public string TestProperty { get; set; }private static void ChangeValue(Program p){    //此时传递进来的p副本和p都指向new Program { TestProperty = "init" }    p = new Program();//对p副本做赋值操作，这个时候，p副本已经指向另外一个内存块0x002了，而p依然还是指向0x001    //对p副本所指向内存块0x002的TestProperty属性做赋值操作    //p副本所指向内存块0x002的TestProperty属性已经指向"update"了    p.TestProperty = "update";    //这里改变了二个地址，就是p副本的地址和0x002里面的的TestProperty属性的地址}private static void Main(){    Program p = new Program { TestProperty = "init" };    //p变量存的是对new Program { TestProperty = "init" }的引用（内存地址：0x001）    //那么传递的是p变量的副本（本质也就是对new Program { TestProperty = "init" }的引用的副本，也是0x001）    //这2个0x001都存储在线程堆栈上，并且都指向new Program { TestProperty = "init" }的托管堆内存块    ChangeValue(p);    //ChangeValue并没有改变p的指向，而是将p副本的指向由0x001改成0x002，然后又将0x002的TestProperty改成“update”了    //所以p指向的0x001内存块没有受到任何影响    //那么p指向的0x001内存块里面的TestProperty值并未改变，所以输出结果“init”    Console.WriteLine(p.TestProperty);}

private static void ChangeValue(ref int value){    value = 0;}private static void Main(){    int value = http://www.mamicode.com/100;    //实际上传递的是value实例的引用(类似于指针)    ChangeValue(ref value);    //由于ChangeValue方法修改了value的引用所指向的内存块里面的值（实例本身），所以输出是：0    Console.WriteLine(value);}

private static void ChangeValue(ref string value){    /* value的引用     * value的引用的引用     * value的引用指向对象实例，而[value的引用的引用]指向[value的引用]     * 所以其本质就是修改value的引用所指向的托管堆里的内存块里面的值     */    value = "update";}private static void Main(){    string value = http://www.mamicode.com/"init";    //实际上传递的是value实例的引用的引用（类似于指针的指针）    ChangeValue(ref value);    //由于ChangeValue方法修改了value的引用的引用所指向的内存块里面的值，所以输出是：“update”    Console.WriteLine(value);}

private static void ChangeValue(int value){    value = 0;}private static void ChangeValue(ref int value){    value = 0;}private static void Main(){    int a = 1;    ChangeValue(a);    ChangeValue(ref a);}//以下是IL代码.method private hidebysig static     void Main () cil managed {    // Method begins at RVA 0x2350    // Code size 16 (0x10)    .maxstack 1    .entrypoint    .locals init (        [0] int32 a    )    IL_0000: ldc.i4.1 //把1推送到堆栈上。    IL_0001: stloc.0  //从堆栈的顶部弹出1并存到索引 0 处的局部变量列表中。    IL_0002: ldloc.0  //将索引 0 处的局部变量a加载到堆栈上。【这个地方走ChangeValue(a)，直接就是进行堆栈数据拷贝。】    IL_0003: call void ConsoleTest.Program::ChangeValue(int32)    IL_0008: ldloca.s a //将局部变量a的地址加载到堆栈上。   【这个地方走ChangeValue(ref a)，则是把堆栈上的地址拿过来。由此可见，加上ref修饰符之后，传的就是实例的引用地址了】    IL_000a: call void ConsoleTest.Program::ChangeValue(int32&)    IL_000f: ret} // end of method Program::Main

本文回顾与总结

本文先是对形参/实参、命名实参、可选参数、params数目可变参数等基础知识概念作了一翻讲解，顺便蜻蜓点水了值类型与引用类型，然后以此为铺垫，开始循序渐进、由浅入深的揭秘参数传递的神秘面纱。
参数传递才是本文的重难点，比较绕，而且拗口，理解起来需要静下心细细品味与琢磨。为了更好的理解参数传递的本质，本文也引入了IL代码和指针来加以辅助。
然而不甘寂寞的泛型类型参数也作为特邀嘉宾到场助兴，为本文增色不少。

本篇文章主要是对C#.NET里面与参数有关的知识进行盘点，但是却牵连其他知识点：
指针、内存分布、地址指向、堆栈、托管堆、泛型类型参数等...
那么问题来了：
1、引用类型加上ref、out修饰符的意义和应用场景？
2、指针和引用是什么关系，或者二者之间有何异同之处？
3、值类型的引用传递，其传的地址是堆栈地址还是托管堆地址？
4、值类型一定存储在堆栈上面吗？
5、C#的指针传递是怎样的内幕？
6、....C#的语法点滴还有哪些醉美可赏？CLR又究竟还存在多少奇幻魅惑？
这些问题还是先留给大家自己去思考一下吧，待博主后续博文继续揭晓。

对于问题或者迷惑，我们必须深入探讨，揪出其本质，才能在技术的道路上越发沉淀和累积。
您的支持是我写文的强劲动力，希望本文能够给您带来帮助和益处，非常感谢您的阅读！

看完文章，来一首英文民谣吧：《Five Hundred Miles》—Justin Timberlake
要是觉得不好听，那说明我的品味太次了。。。哈哈