小编Rob*_*een的帖子

14
推荐指数
2
解决办法
4526
查看次数

自动为IDE中的C源文件生成头文件

我正在尝试使用Eclipse和NetBeans在C(而不是C++)中进行编程.是否有一个功能/插件,它们可以自动保持源文件和头文件同步?

同样,当我在源文件中实现一个函数时,它会自动在头文件中插入正确的行吗?

我确实看过像lzz这样的解决方案,但它们并不是我想要的.

c eclipse netbeans eclipse-cdt header-files

13
推荐指数
1
解决办法
1万
查看次数

检查JUnit测试中的深度相等性

我正在为克隆,序列化和/或写入XML文件的对象编写单元测试.在所有三种情况下,我想验证结果对象是否与原始对象"相同".我在我的方法中经历了几次迭代,并且发现了所有这些问题的错误,想知道其他人做了什么.

我的第一个想法是在所有类中手动实现equals方法,并使用assertEquals.在决定覆盖equals以对可变对象执行深度比较之后,我放弃了这种方法是一件坏事,因为你几乎总是希望集合对它们包含的可变对象使用引用相等[1].

然后我想我可以将方法重命名为contentEquals或其他东西.然而,经过更多的思考,我意识到这无助于我找到我正在寻找的那种回归.如果程序员添加了一个新的(可变的)字段,并忘记将它添加到克隆方法中,那么他可能会忘记将它添加到contentEquals方法中,而我写的所有这些回归测试都将毫无价值.

然后我写了一个漂亮的assertContentEquals函数,它使用反射来检查对象的所有(非瞬态)成员的值,必要时递归.这避免了上面的手动比较方法的问题,因为它默认假定必须保留所有字段并且程序员必须显式声明要跳过的字段.但是,有一些合法的情况,克隆后字段确实不应该相同[2].我输入了一个额外的参数toassertContentEquals,它列出了要忽略的字段,但由于这个列表是在单元测试中声明的,所以在递归检查的情况下它真的很难实现.

所以我现在想回到在每个被测试的类中包含一个contentEquals方法,但这次使用类似于上面描述的assertContentsEquals的辅助函数实现.这种方式在递归操作时,将在每个单独的类中定义豁免.

任何意见?你过去如何处理这个问题?

编辑阐述我的想法:

[1]我从这篇文章中得到了理解,因为它没有覆盖可变类的等于.一旦你将一个可变对象粘贴在一个Set/Map中,如果一个字段发生变化,那么它的散列会改变但是它的存储桶不会改变它.因此,选项是不对可变对象重写equals/getHash,或者具有一个策略,一旦将可变对象放入集合中,就永远不会更改它.

我没有提到我正在现有的代码库上实现这些回归测试.在这种情况下,改变equals的定义,然后必须找到它可以改变软件行为的所有实例的想法吓坏了我.我觉得我可以轻松打破比我修复更多的东西.

[2]我们的代码库中的一个示例是图结构,其中每个节点都需要一个唯一的标识符,用于在最终写入XML时链接节点XML.当我们克隆这些对象时,我们希望标识符不同,但其他所有内容保持不变.在对它进行反复思考后,似乎问题"这个对象已经存在于此集合中"和"这些对象是否定义相同",在这种情况下使用基本不同的相等概念.第一个是询问身份,如果进行深度比较,我希望包括ID,而第二个是询问相似性,我不希望包含ID.这使我更倾向于实施equals方法.

你们同意这个决定,还是认为实施平等是更好的方法?

java junit equality

13
推荐指数
1
解决办法
3294
查看次数

Scala IDE(Eclipse)作为Scala应用程序运行

我对scala语言(以及一般的编程)相对较新.我最近安装了JDK和Scala IDE(用于eclipse).设置顺利,但我在尝试运行Hello World应用程序时遇到了问题.当我尝试"Run As"时,唯一可用的选项是"Java Applet"和"Java Application".如何继续尝试作为"Scala应用程序"运行?提前谢谢了!

java eclipse scala scala-ide

13
推荐指数
2
解决办法
2万
查看次数

如何创建多语言JavaDocs?

JavaDoc是普通Java API的英文版和中文版,但似乎需要为每个版本分别提供源代码.有没有更方便的方法来做到这一点?

java multilingual javadoc

12
推荐指数
2
解决办法
6219
查看次数

Agda的递归方案

毋庸置疑,Haskell的标准结构

newtype Fix f = Fix { getFix :: f (Fix f) }

cata :: (Functor f) => (f a -> a) -> Fix f -> a
cata f = f . fmap (cata f) . getFix 
Run Code Online (Sandbox Code Playgroud)

太棒了,非常有用.

试图在Agda中定义类似的东西(我只是为了完整起见)

data Fix (f : Set -> Set) : Set where
    mkFix : f (Fix f) -> Fix f
Run Code Online (Sandbox Code Playgroud)

失败,因为f不一定是严格积极的.这是有道理的 - 通过适当选择,我很容易从这种结构中得到一个矛盾.

我的问题是:在Agda编码递归方案有什么希望吗?它完成了吗?需要什么?

recursion haskell agda catamorphism recursion-schemes

12
推荐指数
1
解决办法
903
查看次数

我怎么知道Jenkins构建失败的原因?

我正在尝试在新的Jenkins服务器上创建我的第一个Jenkins构建作业.在前两次尝试中,工作失败了; 在我修复了这些问题后,下一个构建(我通过单击"立即构建"手动请求)失败了 - 但是没有给出构建错误.

我看到的唯一有用的信息是构建状态页面上的"无更改"(和一个mercurial修订版ID).

我怎么知道为什么构建失败了?

jenkins

11
推荐指数
2
解决办法
2万
查看次数

sbt:在子项目上运行任务

我有以下项目结构:

lazy val root = project.aggregate(rest,backend)
lazy val rest = project
lazy val backend = project
Run Code Online (Sandbox Code Playgroud)

当我从父级执行"运行"任务时,我想要"后端"项目中的特定类来main执行其方法.我怎么做到这一点?

sbt

11
推荐指数
1
解决办法
4147
查看次数

确保docker正在使用device-mapper存储后端

Docker 0.7引入了多个存储后端,其中之一就是devicemapper.如何检查它正在使用哪个存储后端,并强制它使用(devicemapper如果尚未使用)?

docker

11
推荐指数
1
解决办法
2340
查看次数

为什么在此Scala代码中需要向上转换?

这编译:

import scala.collection._

trait Foo[A, +This <: SortedSet[A] with SortedSetLike[A,This]]
extends SortedSetLike[A, This] { this: This =>

  def bar: This = (this: SortedSetLike[A,This]).empty

}
Run Code Online (Sandbox Code Playgroud)

但如果删除了upcast,则无法编译:

import scala.collection._

trait Foo[A, +This <: SortedSet[A] with SortedSetLike[A,This]]
extends SortedSetLike[A, This] { this: This =>

  def bar: This = this.empty

}
Run Code Online (Sandbox Code Playgroud)

为什么?从extends我们知道的子句Foo是a SortedSetLike[A, This],所以upcast当然是有效的 - 但是这不表明编译器允许发生冲突的继承吗?

scala upcasting scala-collections

11
推荐指数
1
解决办法
1179
查看次数