如何强制不变方法在 C# 代码合同中引发特定异常？

Question

我希望我的对象不变方法抛出一个特定的异常。是否有意义？在 C# 中可能吗？

例如，我有以下代码，包括具有不变方法的类 A 和异常类 E。目前 E 类不参与 A...

class A {
    int x = 0, y = 1;

    [ContractInvariantMethod]
    private void YisGreaterThanX() {
        Contract.Invariant(x < y);
    }
}

class E : Exception {
}

我需要的是以下内容。像 Contract.Requires 一样，拥有 Contract.Invariant（或者可能是一个属性构造函数，它接受异常派生类）会很有用。

class A {
    int x = 0, y = 1;

    [ContractInvariantMethod]
    private void YisGreaterThanX() {
        Contract.Invariant<E>(x < y);
    }
}

class E : Exception {
}

这是一个好主意吗？可能是我的逻辑错了？

Answer 1

鉴于我们不应该是catching Contract failures，并且由于没有明确指定异常的overload for Contract.Invariant，所以这个答案希望是假设性的。

因此，在所有免责声明之后，您可以通过连接ContractFailed 事件处理程序来破解以下内容：

Contract.ContractFailed += Contract_ContractFailed();

在处理程序中，过滤Invariant 失败，处理失败并重新抛出异常：

public static void Contract_ContractFailed(object sender,  ContractFailedEventArgs e)
{
    if (e.FailureKind == ContractFailureKind.Invariant)
    {
        e.SetHandled();
        throw new E(e.Message, e.OriginalException);
    }
}

鉴于您无法在 Contract.Invariant 定义中传递太多信息，如果您需要参数化抛出的异常，您需要将预期的异常编码为例如bool, string Contract.Invariant overload，或者使用外部全局状态，比如线程本地存储。

所有这些都是臭的 IMO。因此，要回答您的最后一个问题，我认为抛出可捕获的异常根本不是一个好主意 - 您的代码被调用超出其设计的状态范围，因此某处缺少错误/验证。

编辑
随后注意到，ContractFailed 处理程序中的处理+投掷仍然包裹在内部ContractException 中。所以你需要解压，例如

catch(Exception ex)
{
   var myException = ex.InnerException;
   // ... do something
}