使用代码契约将泛型设为枚举类型

Question

几天前，我问了一个标题为如何将泛型限制为枚举类型？的问题。总结一下这个问题是下面的代码：

class MyClass<T> where T : enum // Not possible in C#
{
}

我被介绍给代码契约，并且我可以为该问题生成一个编译时警告，这就是我想要的（在编译时被告知 T 应该）是一个枚举）。我尝试了以下代码（完整源代码）。

class MyClass<T>
{
  public MyClass()
  {
    Contract.Requires(typeof(System.Enum).IsAssignableFrom(typeof(T)));
  }
}

它只会产生无用的运行时错误。我应该能够生成编译时警告，但我无法让它工作。谁能告诉我我做错了什么？

这是项目代码合同设置的图片：

Answer 1

因此，我在一个文件中编写了以下代码：

public class SomeClass<T>
{
    [ContractInvariantMethod]
    private void Invariants()
    {
        Contract.Invariant(typeof(System.Enum).IsAssignableFrom(typeof(T)));
    }

    /// <summary>Initializes a new instance of the SomeClass class.</summary>
    /// <param name="dependency"></param>
    public SomeClass()
    {

    }
}

public class SomeOtherClass
{
    public SomeOtherClass()
    {
        var myClass = new SomeClass<int>();

    }
}

从那里，我进入项目选项的“代码合同”部分，并选中“静态检查”下的所有复选框。然后我将警告级别设置为“高”。当我重建解决方案时，我收到一条警告：“代码契约：不变量需要未经验证：typeof(...)”，对应于类不变量。

从那里，我将警告级别设置回低水平，发现没有警告，就像你报告的那样。因此，我认为将警告级别设置为高是您所需要的。

如果这不起作用，您可以尝试按照我所做的并将您的契约定义为类不变量（迂腐地，我建议无论如何都这样做，因为从概念上讲，这更多的是类级别不变量，而不是构造函数的结果执行）。

编辑：我在发布后看到了您的屏幕截图，因此我对此进行了修改，以建议使用我的“如果这不起作用”建议与类级别不变式，而不是需要从 xtor 调用。