阅读目录

• 引言
• 形参和实参
• 命名实参
• 可选参数
• params，数目可变参数
• 方法解析与重载决策
• 参数传递      【重难点】
• ref引用参数/out输出参数   参数修饰符
• 泛型类型参数
• 泛型类型参数的约束
• in/out 泛型类型参数修饰符
• 本文回顾与总结

//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 = "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 = 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 = "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