Почему компилятор C# оптимизирует операторы переключения строк иначе, чем операторы целочисленного переключения, для пов ⇐ C#

[Anonymous]

У меня есть два метода в C#, которые используют выражения переключателя: один работает с целыми числами, а другой — со строками:

Код: Выделить всё

public int Int(int value)
{
int sum = value switch
{
0 => 0,
1 => 1,
2 => 2,
_ => throw new System.Exception()
};
return sum;
}

public int String(string value)
{
int sum = value switch
{
"0" => 0,
"1" => 1,
"2" => 2,
_ => throw new System.Exception()
};
return sum;
}

При компиляции (режим Release, C# 12) эти методы преобразуются следующим образом:

Код: Выделить всё

// Integer method
public int Int(int value)
{
switch (value)
{
case 0:
return 0;
case 1:
return 1;
case 2:
return 2;
default:
throw new Exception();
}
}

// String method
public int String(string value)
{
if (!(value == "0"))
{
if (!(value == "1"))
{
if (value == "2")
{
return 2;
}
throw new Exception();
}
return 1;
}
return 0;
}

Я проверил производительность с помощью BenchmarkDotNet и обнаружил, что метод String работает быстрее. Кроме того, если я вручную реализую сравнение в стиле if для целочисленного метода, оно также будет работать значительно лучше.
Мой вопрос:
Почему компилятор C# решает оптимизировать выражение строкового переключателя в цепочку if, но не применяет аналогичную оптимизацию для выражения целочисленного переключателя?Любое понимание причин различных оптимизаций компилятора для операторов переключения будет очень признателен!

Подробнее здесь: https://stackoverflow.com/questions/793 ... ently-from