如果程序希望使用一个值类型实例来进行同步,通常都会是错误(bug)。但运行时应该认为这是非法并抛出异常吗?在下面的代码示例中如果两个不同的线程同时调用同一个Counter 实例的Increment 方法,将会发生什么?
class Counter{private int _i;public int Increment(){lock (_i){return ++_i;}}}
当我们打算这样做的时候,会发现这样一个意想不到的问题:C#编译器不允许lock关键字使值类型。不过,我们已经熟知lock关键字的内部原理,可以变通一下:
class Counter{private int _i;public int Increment(){bool acquired = false;try{Monitor.Enter(_i, ref acquired);return ++_i;}finally{if (acquired) Monitor.Exit(_i);}}}
这样一来,程序就引入了一个错误(bug)。多个线程能够同时进入锁内修改_i,而且调 Monitor.Exit还会抛出异常.Monitor.Enter 方法接收的是System.Object类型的参数,是一个引用,而我们传递的是值类型(按值传递)。尽管此时(在需要引用的地方传递值),我们所传递的值并没有被更改,但是传递给 Monitor.Enter 方法的值与传递给Monitor.Exit方法的值具有不同的标识。类似地,在一个线程里传递给Monitor.Enter方法的值,与另一个线程里传递给Monitor.Enter的值也具有不同的标识。如果我们在需要引用的地方(按值)传递值,就不能获得正确的锁语义。
当方法返回引用类型时,如果我们返回了一个值类型,在语义上也不是非常合适。例如,下面的代码:
object GetInt()
{
int i = 42;return i; }
object obj= GetInt();
GetInt方法按值返回一个值类型,然而调用者期望方法返回的是引用类型。方法本可以返回在方法执行时存储i的栈位置,但得到的将是到无效内存地址的引用,因为方法的栈帧会在方法返回前清空。这说明默认情况下按值复制的值类型语义,并不适合需要对象引用(指向托管堆)的地方。
技术群:添加小编微信并备注进群
小编微信:mm1552923
公众号:dotNet编程大全