lock なぜ参照だけをロックできて、値型はロックできないのか

クズども · 掲載地 2016/12/08 10:43:37

値型を渡すとボックス化され、次にここでコードが実行されたときに再びボックス化され、同じオブジェクトが2回も使われないためロックされません

lock(x)
{
  ...
}

ロックは実際にはMonitorオブジェクトを通じて行われます:

上記は以下と同等です:

System.Object obj = (System.Object)x;
System.Threading.Monitor.Enter(obj);
やってみて
{
  ...
}
最終的に
{
  System.Threading.Monitor.Exit(obj);
}

次にMSDNの原文を引用すると:
Monitorは値型ではなく、オブジェクト(参照型)をロックします。 avalue type variableをEnterに渡すと、それはオブジェクトとしてボックス化されます。同じ変数を再度Enterに渡すと、それは別のオブジェクトとしてボックス化され、thethreadはブロックされません。この場合、モニターが保護しているはずのコードは保護されていません。さらに、変数をExitに渡すと、さらに別のオブジェクトが作成されます。 Exitに渡されるオブジェクトとEnterに渡されるオブジェクトが異なるため、MonitorはSynchronizationLockExceptionを投げます。詳細については、概念トピック「モニター」をご覧ください。

[出典] lock なぜ参照だけをロックできて、値型はロックできないのか

閲覧したセクション