Рассмотрим следующий пример кода:
class MyClass
{
public long x;
public void DoWork()
{
switch (x)
{
case 0xFF00000000L:
// do whatever...
break;
case 0xFFL:
// do whatever...
break;
default:
//notify that something going wrong
throw new Exception();
}
}
}
Забудьте о бесполезности фрагмента: мое сомнение связано с поведением оператора switch
.
Предположим, что поле x
может иметь только два значения: 0xFF00000000L
или 0xFFL
. Переключатель выше не должен попадать в опцию "по умолчанию".
Теперь представьте, что один поток выполняет переключатель с "x" равным 0xFFL, поэтому первое условие не будет соответствовать. В то же время другой поток изменяет переменную "x" на 0xFF00000000L. Мы знаем, что 64-битная операция не является атомарной, так что сначала будет указана нижняя левая точка, затем верхняя часть (или наоборот).
Если второе условие в коммутаторе будет выполнено, когда "x" равно нулю (т.е. во время нового присваивания), попадет ли мы в нежелательный случай "по умолчанию"?