C＃：如何声明检查的开关表达式功能？

Question

我正在说C＃（10.0/.net6），我有一个问题。 有一个代码：

Int32 x = Int32.MaxValue;
Int32 y = Int32.MaxValue;

try
{
  WriteLine($"{x} * {y} = {SomeFuncSwitch(x, y, 2)}");
  WriteLine($"{x} + {y} = {SomeFunc(x, y)}");
}
catch ( OverflowException ex )
{
  WriteLine( $"Overflow in {ex.TargetSite}!" );
}

static Int32 SomeFunc(Int32 x, Int32 y) => checked (x + y);

static Int32 SomeFuncSwitch(Int32 x, Int32 y, UInt16 condition) =>
checked (
  condition switch
  {
    1 => x + y,
    _ => x * y
  }
);

somefunc（）抛出异常，而somefuncswitch（）没有。如果每个开关案例都是检查。是否有（适当的）使用单个检查的方法？

Answer 1

这似乎是使用Switch表达式使用检查表达式的结果。

如果您这样做（通过检查块），它可以按预期工作：

static Int32 SomeFuncSwitch(Int32 x, Int32 y, UInt16 condition)
{
    checked
    {
        return condition switch
        {
            1 => x + y,
            _ => x * y
        };
    }
}

像您一样，我希望原始代码可以正常工作。代码的生成方式可能存在一些错误。

当然，它看起来像一个编译器错误。 If you look at the decompiled C# code you can请参阅检查表达式中缺少somefuncswitch（），但并不缺少somefunc（）。