C# 方法(ref局部变量和ref返回)
>本章内容:
方法的结构
方法体内部的代码执行
局部变量
局部常量
控制流
方法调用
返回值
返回语句和void方法
局部函数
参数
值参数
引用参数
引用类型作为值参数和引用参数
输出参数
参数数组
参数类型总结
方法重载
命名参数
可选参数
栈帧
递归
ref局部变量和ref返回
在本章前面你己经看到了,你可以使用ref关键字传递一个对象引用给方法调用,这样在调
用上下文中,对对象的任何改动在方法返回后依然可见。ref返回功能则相反,它允许你将一个
引用发送到方法外,然后在调用上下文内使用这个引用。一个相关的功能是ref局部变量,它允
许一个变量是另一个变量的别名。
我们将从ref局部变量这个功能开始讲解。下面是关于ref局部变量功能的重要事项。
- 你可以使用这个功能创建一个变量的别名,即使引用的对象是直类型。
- 对任意一个变量的赋值都会反映到另一个变量上,因为它们引用的是相同的对象,即使
是值类型。
创建别名的语法需要使用关键字ref两次,一次是在别名声明的类型的前面,另一次是在赋
值运算符的右边,“被别名”的变量的前面,如下所示:
下面的代码是一个示例,其中使用ref局部变量功能创建了变量x的一个别名,叫作Y。当×
改变时,y也会变,反之亦然。
class Program
{static void Main(){int x=2;ref int y=ref x;Console.WriteLine($"x={x},y={y}");x=5;Console.WriteLine($"x={x},y={y}");y=6;Console.WriteLine($"x={x},y={y}");}
}
但是,别名功能不是ref局部变量功能最常见的用途。实际上,它经常和ref返回功能一起使
用。ref返回功能提供了一种使方法返回变量引用而不是变量值的方法。这里需要的额外语法也
使用了ref关键字两次:
- 一次是在方法的返回类型声明之前
- 另一次是在return关键字之后,被返回对象的变量名之前
下面的代码演示了一个例子。注意,在方法调用之后,因为调用了修改ref局部变量的代码,
所以类的字段值改变了。
class Simple
{private int Score=5;//ref 返回方法的关键字public ref int RefToValue(){return ref Score;}//ref返回的关键字public void Display(){Console.WriteLine($"Value inside class object:{Score}");}
}class Program
{static void Main(){Simple s=new Simple();s.Display();//ref局部变量的关键字ref int v1Outside=ref s.RefToValue();}v1Outside=10; //在调用域外修改值s.Display(); //检查值是否已经改变
}
另一个可能有用的例子是Math库中Max方法的变形。提供两个数字类型的变量,Math.Max
能够返回两个值中较大的那个。但是,假设你想返回的是包含较大值的变量的引用,而不是实际
的值。为此,你可以使用ref返回功能,如以下代码所示。
using static System.Console;class Program
{static ref int Max(ref int p1,ref int p2){if(p1>p2){return ref p1;//返回引用,而不是值}elsereturn ref p2;//返回引用,而不是值}static void Main(){int v1=10;int v2=20;WriteLine("Start");WriteLine($"v1:{v1},v2:{v2}\n");ref int max=ref Max(ref v1,ref v2);WriteLine("After assignment");WriteLine($"max:{max}\n");max++;WriteLine("After increment");WriteLine($"max:{max},v1:{v1},v2:{v2}");}
}
-
你不能将返回类型是void的方法声明为ref返回方法。
-
ref return表达式不能返回如下内容:
- 空值
- 常量
- 枚举成员
- 类或者结构体的属性
- 指向只读位置的指针
-
ref return表达式只能指向原先就在调用域内的位置,或者字段。所以,它不能指向方
法的局部变量。 -
即使将一个方法声明为ref返回方法,如果在调用该方法时省略了ref关键字,则返回的
将是值,而不是指向值的内存位置的指针。 -
如果将ref局部变量作为常规的实际参数传递给其他方法,则该方法仅获取该变量的一个
副本。尽管ref局部变量包含指向存储位置的指针,但是当以这种方式使用时,它会传递
值而不是引用。