C#创建类实例语法疑问：代码第5行执行逻辑解析

嘿，别担心，这行代码其实只是你熟悉的实例化语法的“特殊场景版”，咱们把它拆解开来看：

首先，先带你回忆下你平时用的var instance = new ClassName()：这行是在堆内存上创建一个类的实例，然后把这个实例的引用地址赋值给左边的变量。那这里的p = new Element<K>()本质上也是做了同样的实例化动作，但关键在于p是被ref关键字修饰的参数——这才是它看起来“不一样”的原因。

先搞懂ref参数的核心作用 #

在C#里，ref修饰的参数传递的是变量本身的引用，而不是变量存储的值（也就是实例的引用地址）。换句话说：你在方法内部对这个ref参数做的任何修改，都会直接同步到方法外部的那个原始变量上，而不是只在方法内部生效。

回到代码里的具体执行步骤 #

这段代码是二叉搜索树的递归插入逻辑，当p == null时，说明我们找到了要插入新节点的位置（要么是树的根节点为空，要么是某个叶子节点的左/右子节点为空）：

1. new Element<K>()：在.NET的托管堆上创建一个泛型Element<K>类的新实例。此时这个实例的成员（比如key、left、right）都会被初始化为对应类型的默认值（比如引用类型的默认值是null，值类型的话是对应类型的默认值）。
2. p = ...：因为p是ref参数，这个赋值操作会把刚创建的新实例的引用地址，直接赋值给调用这个方法时传入的外部变量。举个例子：如果第一次调用方法时传入的是根节点root（一开始是null），那赋值后外部的root就会指向这个新实例；如果是递归到某个节点的left属性（原本是null），那这个节点的left属性就会立刻指向新创建的实例。
3. p.key = key：紧接着给这个新实例的key属性赋值为要插入的键值，完成节点的初始化。

对比你熟悉的语法差异 #

你平时写的Classname instancename = new Classname()是给局部变量赋值，修改只在当前作用域有效；而这里是给**ref参数**赋值，修改会直接“穿透”方法，影响外部的变量——但本质上都是创建类实例+赋值引用地址，只是作用范围不同而已。

举个直观的小例子：假设外部有个变量Element<int> root = null，调用_InsertIntoBinarySearchTree(ref root, 5)：

• 进入方法后p是null，执行p = new Element<int>()，此时外部的root也会同步指向这个新实例；
• 接着p.key = 5，外部的root.key也会变成5；
• 最终外部的root就变成了一个持有key=5的二叉搜索树节点。

这样是不是就清晰多啦？

内容的提问来源于stack exchange，提问作者user9630194