C#中out参数内部工作原理解析：未初始化变量传参疑问

先看你给出的代码：

class fff {
    public static void jjj(out int j) {
        j = 88;
    }
}

//Main method
int jfjf;
fff.jjj(out jfjf);

核心结论 #

方法内的int j并非指向某个独立对象，它就是Main方法中jfjf变量的内存别名——二者指向同一块栈内存空间。

具体工作原理 #

• 局部变量的内存分配：当你在Main里声明int jfjf;时，编译器会在当前线程的栈上为它分配一块4字节的内存（对应int类型的大小）。此时这块内存里的内容是栈上遗留的随机垃圾值，但C#编译器禁止你直接读取未初始化的局部变量——但out参数是特殊情况，因为编译器会强制方法必须给该参数赋值。
• out参数的传递逻辑：使用out修饰符传递参数时，传递的不是变量的当前值，而是变量的内存地址。所以方法jjj里的形参j，本质上是对Main中jfjf内存位置的直接引用。
• 赋值操作的本质：方法里执行j = 88;时，是直接把数值88写入jfjf所在的栈内存块中。等方法执行完毕返回Main后，jfjf的内存里已经被写入了有效值88，自然可以正常使用。

为什么允许传入未初始化变量？ #

C#对out参数有强制规则：包含out参数的方法必须在返回前，给所有out参数完成赋值（无论代码路径如何）。编译器会做这个检查，所以它不需要关心传入的变量是否初始化——因为方法执行完后，该变量一定会被赋予有效值。

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