代码契约继承

Question

发现代码契约有点奇怪，我想知道是否有人知道原因...

好吧，现在是一些代码示例的时间了：

程序集 1：

[ContractClass(typeof(IServiceCodeContract<>))]
public interface IService<T> where T : class { ... }

[ContractClassFor(typeof(IService<>))]
public abstract class IServiceCodeContract<T> : IService<T> where T : class { ... }

public abstract class ServiceBase<T> : IService<T> where T : class { ... }

程序集 2：

[ContractClass(typeof(ICampaignServiceCodeContract))]
public class CampaignService : ServiceBase<Campaign>, ICampaignService { ... }

[ContractClassFor(typeof(ICampaignService))]
public abstract class ICampaignServiceCodeContract : IServiceCodeContract<Campaign>, ICampaignService { ... }

现在这是我的问题... 在最后一行代码上，编译器很好，直到我实际编译代码，然后它突出显示“IServiceCodeContract”蓝线表示找不到实际错误读取的类型：

The type or namespace name 'IServiceCodeContract' could not be found (are you missing a using directive or an assembly reference?)

我有从程序集 2 到程序集 1 的引用，并且我已导入“System.Diagnostics.Contracts”命名空间和缺少的类所在的命名空间在。 该类被声明为公共类并显示在反射器中，那么为什么它找不到它呢？

程序集之间的代码契约继承是否存在问题？

编辑：

只是一个想法，从另一个程序集继承契约基类是否会出现问题......这个东西在编译时不会做一些疯狂的二进制注入事情吗？

还发布在这里： http://forums.asp.net/t/1770324.aspx/1

Answer 1

派生类 (ICampaignServiceCodeContract) 的契约类不应派生自除它所注释的类（在本例中为 ICampaignService）之外的任何内容。

您可以保留从基接口/类继承的所有方法未实现（使用 VS 生成的默认主体），并仅在特定于此类/接口的方法中编写契约。

-MaF