请注意,这可能是
this question的重复,我不完全确定.
我的问题是我有一个类库项目,它引用了第三方类型库(COM).我想将契约放入类库中的方法,如下所示:
public class foo { public static int divide(TypeFromTypeLib tftl,int a,int b) { Contract.Requires<ArgumentException>(b != 0); return a / b; } }
然后让客户项目使用这种方法,例如
var n = foo.divide(null,4,2);
但我也希望客户端项目在其某些方法中也使用契约.因此,我将两个项目的Code Contracts属性设置为’Perform Runtime Contract Checking'(没有它,你得到运行时断言告诉你它需要这个设置).
现在,当我尝试编译客户端时,我收到以下错误:
Could not resolve member reference: my_class_lib.foo::divide.
ccrewrite : error : Rewrite aborted due to Metadata errors.
这似乎是不可避免的 – 任何时候调用一个类型来自第三方类型库的方法.从方法的签名中删除类型,没关系.
谁能解释为什么会这样?这是一个线索,我的代码结构从根本上是有缺陷的(如果是这样,为什么?),或者它是代码合同的怪癖?是否有针对此问题的建议修复程序?
解决方法
说实话,我不知道为什么ccrewrite有interop类型的问题,但我可以给你3个解决方法:
解决方案1
这个是最简单的:
>转到项目的参考列表.
>查找第三方类型库.
>右键单击.
>从上下文菜单中选择“属性”.
>将Interop类型从True更改为False.
你必须为这两个项目做到这一点.此解决方案的缺点是,在构建之后,您将在bin文件夹中获得额外的互操作程序集.
解决方案2
另一种解决方案可能是从公共接口中删除第三方类型库中的类型,即:
public class foo { public static int divide(int a,int b) { return divide(null,a,b); } private static int divide(TypeFromTypeLib tftl,int b) { Contract.Requires<ArgumentException>(b != 0); return a / b; } }
当然,只有在客户端不需要使用TypeFromTypeLib时才能这样做.
解决方案3
如果您需要在客户端使用TypeFromTypeLib,您可以为此类编写一个包装器,即:
public class MyTypeFromTypeLib { //... } public class foo { public static int divide(MyTypeFromTypeLib mytftl,int b) { var tftl = new TypeFromTypeLib(); //Map MyTypeFromTypeLib to TypeFromTypeLib //... return divide(tftl,int b) { Contract.Requires<ArgumentException>(b != 0); return a / b; } }
但是,这种解决方案很麻烦,因为需要额外的类.