问题标签 [contract]

有没有办法改变代码合约在运行时的行为方式？例如，当运行时前或后条件失败时，应用程序崩溃。有没有办法，而不是崩溃，有一个消息框显示？

Please find below my code. Employee class implements IEmployee interface.

As is visible the above code does compile but wont work because interface instance cannot be created.How can I achive DI(Dependency Injection) here...If I write..

Then this class will be dependent not only on the Interface but also the class...assuming that one fine day Employee class becomes Employee2.There will be code changes at two places.. 1)[ServiceKnownType(typeof(MiddleWare.Classes.Employee2))]

2)IEmployee TempObject = (IEmployee)Activator.CreateInstance(typeof(Employee2));

I want to avoid that. Can we do something at implementation of IOperationBehavior or is there a Ninject way of achieving this or am I trying to achieve impossible?

我想强制一个结构对于由构造函数强制执行的某个合同始终有效。然而，运营商违反了合同default。

例如，考虑以下内容：

作为一种解决方法，我将结构更改为一个类，这样我可以确保在初始化新实例时始终调用构造函数。但我想知道，是否绝对没有办法使用结构获得相同的行为？

我在 Racket 中写了一个免费的乘以进位 PRNG。我想用它provide来限制对我库中某些功能的访问，并对它们强加合同。使用球拍文档（上面链接），我已将以下代码放在我的文件顶部为此：

但是当我在 DrRacket 中运行该文件时，出现以下错误：

该代码在没有插入上述代码的情况下在 DrRacket 中运行时不会引发错误，并且可以正常工作。

限制仅访问源文件之外的某些功能以及在 Racket 中执行合同的正确方法是什么？

编译器回答：

“Vector3f不实现接口成员IVector<float>.Add(ref IVector<float>)”

我如何确定哪些证明最耗时，以便能够与Asserts 一起帮助验证者？

有没有比猜测和检查更好的方法？

我最近观看了 JB Rainsberger的集成测试是一个骗局，现在正在寻找有关该主题的更多材料。我不得不说，我对我们做错了多少感到震惊（即当我们应该进行单元测试时进行集成测试），对 Rainsberger 描述的概念很感兴趣，但也对如何应用它们感到困惑。我想要更多描述的协作测试和合同测试，但我不知道从哪里开始。

唯一让我印象深刻的是测试需要问的 4 个问题：

A面：

B面：

但是如何将它应用于我的应用程序堆栈中的一些随机方法？

是否有书或教程或示例以现实世界为例并应用这些孤立微测试的想法？理想情况下，该示例使用 Java、C# 或 C++。

任何一般性地处理这些概念并帮助我更好地理解它们的文献将不胜感激。

此外，如果有论坛，我可以就如何正确进行单元测试甚至重构现有代码和发布示例提出更详细的问题。

谢谢！

我正在寻找一种方法来确定集合（甚至可能是任何 Iterable）是否保证由其类合同订购。

我已经知道 Guava 方法：Ordering.natural().isOrdered(myCollection) 但是这个方法与我的需要无关，因为它检查集合中的值是否是有序的。这不是我需要确定的，我想要的是一种isSorted行为如下的方法：

ETC...

我正在查看的内容通常是通过检查集合的类来实现的，并将其与集合的某种参考表进行比较，这些参考表约定它们是有序的，并且只对这些集合返回 true。

你知道这样的东西是否已经存在于某个图书馆吗？

可能重复：
为什么我的比较方法会抛出异常——比较方法违反了它的一般约定！

我有这个代码：

有时它会抛出这个异常：

为什么 ？

1）我怎样才能避免它？2）我怎样才能捕捉到这个异常？

提前致谢。

是否可以为内置的 JsonSerializer 提供某种自定义合同解析器？

响应数据的格式如下：

我要设置的属性是：名称

问题是：我怎样才能将骆驼大小写反序列化为帕斯卡大小写？

希望你能帮帮我！