36

我正在使用构建脚本来编译几个 C# 项目。二进制输出被复制到结果文件夹,覆盖文件的先前版本,然后添加/提交到颠覆。

我注意到编译的二进制输出是不同的,即使源或环境根本没有变化。这怎么可能?对于相同的输入,二进制结果不应该完全相等吗?

我不是故意在任何地方使用任何类型的特殊时间戳,但是编译器(Microsoft,.NET 4.0 中包含的那个)是否可能自己添加时间戳?

我问的原因是我将输出提交给 subversion,并且由于我们的构建服务器的工作方式,签入的更改会触发重建,导致再次修改的二进制文件被循环签入。

4

4 回答 4

33

另一个更新:

自 2015 年以来,编译器团队一直在努力从编译器工具链中获取非确定性的来源,以便相同的输入确实产生相同的输出。有关更多详细信息,请参阅 Roslyn github 上的“概念确定性”标签。


更新:这个问题是我 2012 年 5 月博客的主题。谢谢你的好问题!


这怎么可能?

非常简单地。

对于相同的输入,二进制结果不应该完全相等吗?

绝对不。反之亦然。每次运行编译器时,都应该得到不同的输出。否则你怎么知道你已经重新编译了?

C# 编译器在每次编译时将新生成的 GUID 嵌入到程序集中,从而保证没有两个编译产生完全相同的结果。

此外——即使没有 GUID,编译器也不保证两个“相同”的编译会产生相同的结果。

特别是,元数据表的填充顺序高度依赖于文件系统的细节。C# 编译器按照文件的顺序开始生成元数据,并且可以通过各种因素进行细微的更改。

由于我们的构建服务器的工作方式,签入的更改会触发重建,导致再次修改的二进制文件被循环签入。

如果我是你,我会解决这个问题。

于 2012-01-19T14:30:54.760 回答
13

是的,编译器包含时间戳。此外,在某些情况下,编译器会自动增加程序集版本号。我在任何地方都没有看到任何保证二进制结果是相同的。

(请注意,如果源代码已经在 Subversion 中,我通常会避免在其中添加二进制文件。我通常只包含第三方库的版本。这完全取决于你在做什么。 )

于 2012-01-19T14:16:27.430 回答
9

正如其他人所提到的,编译器确实会生成不同的构建,因此会产生不同的结果。您正在寻找的是创建确定性构建的能力,现在这已包含在 roslyn 编译器中。

Roslyn 命令行选项

/deterministic 生成确定性程序集(包括模块版本 GUID 和时间戳)

阅读有关此功能的更多信息 https://github.com/dotnet/roslyn/blob/master/docs/compilers/Deterministic%20Inputs.md

于 2017-06-23T21:24:06.540 回答
2

据我所知,每次编译时只有 MS 二进制文件不同。20多年前,不是这样的。每次编译后 MS 二进制文件都是相同的(假设源代码相同)。

于 2016-02-17T03:13:32.887 回答