4回答
在Java中向接口添加不变量
、、、、
我一直在考虑创建一个Java框架，允许程序员在接口上指定不变量(前置条件和后置条件)。其目的是使代码更加健壮，并减少需要为同一接口的不同实现编写的单元测试的数量。我设想创建一些方法，用程序员也会编写的不变量来注释方法。例如。
浏览 0提问于2010-07-22得票数 6
回答已采纳
1回答
我在代码契约中使用不变量时遇到了一个问题。我想在我的抽象类中定义一个不变的，但是它被忽略了。下面的代码显示了我的接口和抽象类。ContractInvariantMethod] { }之后，我在Point类中实现了这个接口，并从它创建了一个对象。class Program static void
浏览 7提问于2015-03-18得票数 9
回答已采纳
但是，我希望避免手动编写这些接口，并在需要在类和接口中添加新方法时维护它们。guid (“我自己自动生成但对于gievn类FullName不变量的guid”)
只有接口GUID会带来问题，因为每次添加方法时都会发生变化。我现在需要
浏览 1提问于2013-11-13得票数 4
回答已采纳
为什么可以为后置条件和对象不变量添加和删除代码契约，而不能为C#中的先决条件添加和删除代码契约呢？在“CLR C# C#”一书中，我看到了以下摘录：
由于新版本(不破坏兼容性)不能使契约变得更严格，因此在引入新的虚拟、抽象或接口成员时，您应该仔细考虑先决条件。对于后置条件和对象不变量，可以随意添加和删除契约，因为在虚拟/抽象/接口成员中表示的条件和在覆盖成员中表示的条件只是逻辑上
浏览 8提问于2020-02-20得票数 0
回答已采纳
3回答
有效Java:转发类的安全性
、、、、
有效的Java第3版，第18项:偏好组合而不是继承描述了使用继承向类添加行为的问题：
子类脆弱的一个相关原因是它们的超类可以在后续版本中获得新方法。假设程序的安全性取决于一个事实，即插入到某个集合中的所有元素都满足某个谓词。可以通过子类集合和重写每个能够添加元素的方法来保证这一点，以确保在添加元素之前满足谓词的要求。这就是所谓的转发，新类中的方法称为转发方法.向现有类添加新方法不会对新类产生影响.编写转发方法很繁琐，但是您必须<em
浏览 1提问于2018-03-20得票数 6
回答已采纳
1回答
我几乎完成了，并希望添加对类不变量、先决条件和后置条件的本地支持。method code
ensure this.balance == newBalance;您还可以在类的顶部定义类的不变性class BankAccount { # class body以下是我的问题：
在抽象类或接口中包
浏览 1提问于2017-02-26得票数 0
3回答
不变量，重言式？
、、
因此，我在阅读断言Java时遇到了不变量这个术语。在我阅读了网络上的其他文章之后，在我的理解中，不变量是重言式。我误解了吗？
浏览 2提问于2013-12-21得票数 1
回答已采纳
3回答
为了使程序按预期运行，我需要一个不变量(或2个不变量)来保持。这是在函数setSecondaryRouter()中签入的。但是，我希望将这个属性secondaryRouter设置为在第二个对象中与第一个对象相同。这种情况意味着，第二次使用setSecondaryRouter()时，不变量已经保持不变。问题是，我的编译器“帮助”确保我没有未编译的异常，除非我添加了一个try-catch子句，或者添加了一个抛出声明调用函数(从而帮助解决了
浏览 0提问于2016-04-14得票数 0
回答已采纳
2回答
我知道不变是什么，但我的问题是要从一个类中识别它。我会解释--当老师在课堂上向我们展示一段java代码，并问我们什么是不变量时--这是当我掉下来的时候，我不知道如何识别它。编辑:添加示例图片。这里的不变量是什么，但对我来说重要的是为什么。
浏览 1提问于2020-02-08得票数 0
1回答
我目前正在研究数据结构和面向对象的契约，特别是在Java中。例如，让我们假设这个大小受限的堆栈包含数据类型Person的元素。我现在对不变量的想法是：如果尚未达到堆栈的最大大小，则limitNotReached()返回true，否则返回false。
这是
浏览 4提问于2021-02-06得票数 1
我在PostSharp文档中找到了一个关于的主题。据我所知，该特性只允许通过方面检查输入和输出参数。但是我没有找到任何关于类不变量和后置条件的东西。在我尝试使用C#代码契约之前，.Net核心不支持它。现在，我想尝试使用来自PostSharp的来检查不变量、先决条件和后置条件。如果我使用PostSharp，那么最好的方法是什么？是否存在其他用于合同编程的工具？使用工具的主要原因是我不希望将主代码绑定到合同检查中。
浏览 2提问于2019-11-25得票数 1
回答已采纳
2回答
在经历了这些问题之后，我了解到，抽象与将接口与实现分离有关。1实现与功能无关。拥有接口文档的程序员可以独立地实现新版本的模块或ADT。一个新的、更好的实现可以取代旧的实现。4团队合作。一旦
浏览 1提问于2015-08-02得票数 0
我正在使用Daikon (很可能是程序不变检测器)为一个简单的java类生成不变量，这个类使用不同的方法。我想从这个类中省略几个方法，这是我通过以下命令实现的：该工具还提供了在某些点跳过不变量的选项，如ENTER、EXIT等。我将以下文本附加到
浏览 3提问于2014-04-10得票数 0
我有Java背景，非常喜欢静态类型安全，想知道clojure程序员如何处理数据格式定义的问题(可能不仅仅是类型，还有通用的不变量，因为类型只是其中的一个特例)。在Java中，我会将文档的数据建模为一个对象图，例如，一个类表示一个文档，每个元素种类对应一个类。通过这种方式，我得到了关于数据结构的编译时保证，并且图形元素的“宽度”字段是整数而不是浮点数。它不能保证宽度为正--但使用getter/setter接口将允许相应的类添加
浏览 1提问于2012-02-12得票数 6
回答已采纳
1回答
我不是100%确定三次幂和中的不变量是什么。我在想，对于LI1来说，不变量与tot=(i^2(i+1)^2)/4 (立方体从0到i的和的等式)有关。
不过，我不知道该为LI2或LI3做些什么。LI2处的循环是i^3，LI3是i^2，但我不完全确定如何将它们定义为循环不变量。如果我在每个while循环体中有3个单独的total变量，并在第一个循环中的i++之前添加到
浏览 1提问于2012-02-11得票数 0
回答已采纳
我正在阅读“有效Java”中的序列化章节。我正在努力理解下面的段落，这是在书中找到的。
浏览 2提问于2011-09-16得票数 23
回答已采纳
2回答
此行为用于几种内容类型，仅在其中一种内容类型中，我需要确保此字段不会在相同内容类型的任何其他实例中重复，即该内容类型的两个对象不能共享相同的year 和 week (可以共享相同的年份或同一周)。由于此限制仅针对特定的内容类型，所以我尝试使用zope.interface.invariant，但由于某些原因，我无法访问行为中定义的字段。)
def check_year_and_week(data):如何从check_year_and_week不变式中</em
浏览 3提问于2013-11-14得票数 1
回答已采纳
我最近才了解到，为了能够在C#中将该接口作为参数传递，我需要有反变体接口，而这个特性仅在.NET 4.0中添加。
因此很明显，您不能执行这个协变或不变接口是有原因的，它可能与传入、获取泛型类有关。我不太清楚这里的限制是什么，并且知道我已经看到了在什么地方可以使用Contravariant接口，而其他人却不能使用，在哪里可以使用协变量(什么时候可以使用协变量？)我想看看(链接将很好)一些例子，为什么有必要使用这些特性，如果你允许协变/不
浏览 0提问于2012-05-21得票数 7
回答已采纳
我有一个接口(在Java中)，它接受一个自引用的泛型参数，我想在Kotlin中创建一个实现它的对象文字。在Java中，我通过不包括泛型类型(不安全)来做到这一点，但我不知道如何在Kotlin中这样做。
下面是Kotlin中的一个例子，尽管在我的例子中，接口是用Java实现的。interface Generic<V, T : Generic&
浏览 2提问于2017-03-28得票数 2
回答已采纳
云服务器
ICP备案
腾讯会议
云直播
对象存储
腾讯云开发者
