我应该对通用接口使用类型化代码契约吗？

Question

我有一个数学库的通用接口，如下所示：

[ContractClass(typeof(MathsDoubleContracts))]
public interface IMaths<T>
{
    T SomeFunction(T n);
}

这使我能够创建 IMaths、IMaths 等（尽管一开始我只需要 double 版本）。

我想建立代码合同。目前我已经这样做了：

[ContractClassFor(typeof(IMaths<double>))]
public abstract class MathsDoubleContracts : IMaths<double>
{
    public double SomeFunction(double n)
    {
        // Always positive
        Contract.Ensures(0 <= Contract.Result<double>());

        return double.NaN;
    }
}

这似乎有效，但我对此感到非常惊讶（鉴于我在 IMaths 而不是 IMaths上指定合约;)。

我想知道：

1. 我可以在通用接口上指定多个合约类，每个合约类对应我想要使用的每种特定类型（例如同时具有 [ContractClass(typeof(MathsDoubleContracts))] 和 IMaths 上的 [ContractClass(typeof(MathsDecimalContracts))] 属性？这是明智之举吗？
2. 我最好完全不使用通用接口（即从 IMathsDouble 开始，其中所有函数都以双精度定义，添加 IMathsDecimal< /code> 稍后）？

Answer 1

Q1

请举个例子。

编辑

否。它不允许多个。请参考此处。

AttributeUsageAttribute(AttributeTargets.Class, AllowMultiple = false, Inherited = false)]

注意AllowMultiple = false。

Q2

是的，尽管仿制药可能会带来一些小好处。你的界面并不是很通用。例如，我无法使用 IMaths 。我实际上回答了一个不同但相关的问题此处。

您可以添加诸如 where T : ... 之类的限制，但这也行不通，因为您必须限制为仅 int, double while你只能做 where T : struct 这不是同一件事。这里泛型仅仅是一种装饰，IMaths 的抽象不能按原样使用（或者可以吗？可以取决于您的代码），并且您需要具体的类或接口。

子接口是一个安全的选择

interface IntMaths : IMaths<int>
{

}

Answer 2

我通过将契约应用于通用接口来做到这一点，然后在运行时推断契约类型。

然而，我的问题是在“通用代码”程序集中定义一个基本抽象接口，该接口应用于 IService 类型的对象，然后继承该接口以实现我需要的类型特定实现。

但是我不必指定特定于类型的实现，我可以简单地（通过依赖项注入）在运行时确定契约和对象类型...

代码契约继承

我认为我的问题是使其“可移植”