对于那些以身作则的人(比如我)，以下是安东尼·科索夫所说的。

我创建了一些ref、out和其他例子来说明这一点。我并没有介绍最佳实践，只是举例来理解它们之间的差异。

https://gist.github.com/2upmedia/6d98a57b68d849ee7091

Ref表示Ref参数中的值已经设置，方法可以读取和修改它。 使用ref关键字等同于说调用方负责初始化形参的值。

Out告诉编译器，对象的初始化是由 函数需要赋值给out形参。 没有分配是不允许的。

https://www.codemaggot.com/ref-and-out-keywords/

“贝克”

这是因为第一个将字符串引用更改为指向“Baker”。更改引用是可能的，因为您通过ref关键字传递了它(=>是对字符串引用的引用)。 第二个调用获取字符串引用的副本。

弦一开始看起来很特别。但字符串只是一个引用类，如果你定义

string s = "Able";

那么s是一个包含文本“Able”的字符串类的引用! 对同一个变量via的另一个赋值

s = "Baker";

不改变原来的字符串，但只是创建一个新的实例，让我们指向该实例!

你可以试试下面的小代码示例:

string s = "Able";
string s2 = s;
s = "Baker";
Console.WriteLine(s2);

你想要什么? 您将得到的仍然是“Able”，因为您只是将s中的引用设置为另一个实例，而s2指向原始实例。

编辑: String也是不可变的，这意味着根本没有修改现有字符串实例的方法或属性(你可以尝试在文档中找到一个，但你找不到:-))。所有字符串操作方法都会返回一个新的字符串实例!(这就是为什么你在使用StringBuilder类时经常会得到更好的性能)

创作时间:

我们创建调用方法Main()

(2)它创建一个List对象(这是一个引用类型对象)并将其存储在变量myList中。

public sealed class Program 
{
    public static Main() 
    {
        List<int> myList = new List<int>();

在运行时:

(3)运行时在堆栈#00处分配一个内存，足够宽来存储一个地址(#00 = myList，因为变量名实际上只是内存位置的别名)

(4)运行时在内存位置#FF的堆上创建一个列表对象(所有这些地址都是为了举例)

(5) Runtime会将对象的起始地址#FF存储在#00(或者在word中，将List对象的引用存储在指针myList中)

回到创作时间:

(6)然后我们将List对象作为参数myParamList传递给被调用的方法modifyMyList，并将一个新的List对象赋给它

List<int> myList = new List<int>();

List<int> newList = ModifyMyList(myList)

public List<int> ModifyMyList(List<int> myParamList){
     myParamList = new List<int>();
     return myParamList;
}

在运行时:

(7)运行时启动被调用方法的调用例程，作为它的一部分，检查参数的类型。

(8)在找到引用类型后，它在堆栈#04处分配一个内存，用于别名参数变量myParamList。

然后它将值#FF也存储在其中。

(10) Runtime在内存位置#004的堆上创建一个列表对象，并用这个值替换#04中的#FF(或者在这个方法中取消引用原始的list对象并指向新的list对象)

#00中的地址不会改变，并保留对#FF的引用(或者原始的myList指针不会被干扰)。

ref关键字是一个编译器指令，用于跳过(8)和(9)的运行时代码的生成，这意味着不会为方法参数分配堆。它将使用原始的#00指针对位于#FF的对象进行操作。如果原始指针没有初始化，运行时将停止抱怨它不能继续，因为变量没有初始化

out关键字是一个编译器指令，它与ref几乎相同，只是在(9)和(10)处略有修改。编译器期望参数是未初始化的，并将继续使用(8)，(4)和(5)在堆上创建一个对象，并将其起始地址存储在参数变量中。不会抛出任何未初始化的错误，并且之前存储的任何引用都将丢失。

如果你想将参数作为引用传递，那么你应该在将参数传递给函数之前初始化它，否则编译器本身会显示错误。但是对于out形参，您不需要在将对象形参传递给方法之前初始化它。可以在调用方法本身中初始化对象。

From the standpoint of a method which receives a parameter, the difference between ref and out is that C# requires that methods must write to every out parameter before returning, and must not do anything with such a parameter, other than passing it as an out parameter or writing to it, until it has been either passed as an out parameter to another method or written directly. Note that some other languages do not impose such requirements; a virtual or interface method which is declared in C# with an out parameter may be overridden in another language which does not impose any special restrictions on such parameters.

从调用者的角度来看，c#在很多情况下假设调用带有out形参的方法时，会导致传入的变量在未被读取之前就被写入。当调用用其他语言编写的方法时，这个假设可能不正确。例如:

struct MyStruct
{
   ...
   myStruct(IDictionary<int, MyStruct> d)
   {
     d.TryGetValue(23, out this);
   }
}

如果myDictionary标识了一个用c#以外的语言编写的dictionary <TKey,TValue>实现，即使MyStruct s = new MyStruct(myDictionary);看起来像一个任务，它可能会留下未修改的s。

注意用VB编写的构造函数。NET与c#中的方法不同，它不假设被调用的方法是否会修改任何out参数，并且无条件地清除所有字段。上面提到的奇怪行为不会发生在完全用VB或完全用c#编写的代码中，但是当用c#编写的代码调用用VB.NET编写的方法时就会发生。