SCCS“什么” 编译器未优化掉的字符串

Question

我们尝试在二进制对象中嵌入一个 What 字符串，以便我们可以看到已部署的可执行文件或共享库的版本号。 通常，我们将标准 CVS Id 信息嵌入到此 What 字符串中。 例如，我们可以

const char cvsid[] = "@(#)OUR_TEAM_staging_remap_$Revision: 1.30 $ $Name:  $";

在 C 代码中嵌入：。

从人（1）来看：

what 实用程序搜索每个文件名中是否出现 SCCS get 命令的模式@(#)（请参阅 sccs-get(1)） 替换 @(#) ID 关键字，并打印以下内容 最多为 "、>、NEWLINE、\ 或 NULL 字符。

此变量只有一个实例，并且从未被引用。有人建议编译器可能会对此进行优化。

我一直在使用这种技术在 C 和 C++ 以及各种编译器中使用了很多年，但我还没有看到什么字符串被优化掉了。

有人知道为什么它们没有被优化掉吗？

Answer 1

直到最近（我在 2005 年中期发现了这个问题），还可以

static const char sccs[] = "@(#)%W% %E%";

在源代码中使用：或类似的东西，而 GCC 和大多数其他编译器都不会优化它。 从那时起 GCC 发布（可能是 GCC 4.0.x，源自 2005 年 4 月）开始，这些常量字符串就被排除在二进制文件之外。 因此，我必须修改源代码以使变量在外部可见。 编译器不可能单独查看目标文件并得出该字符串未使用的结论，因为文件外部的某些内容可能会引用它。 所以，我的文件现在包含：

#ifndef lint
extern const char jlss_id_filename_c[];
const char jlss_id_filename_c[] = "@(#)$Id$";
#endif /* lint */

好的 - 这是一个混合体； 我确实使用 RCS 来存储源代码，但我仍然更喜欢 what 而不是 ident 来识别文件 - 而且我有自己的黑客 what执行 what 和 ident 以及我自己的一些调整。 但我在某些文件（不是全部）中有声明，在所有文件中有定义。 （在一组警告标志下，现在不记得了，当变量在声明之前定义时，我收到警告。可能是 GCC 中的更改解决了这个问题；我不再确定了。）

当我创建时一个新文件，我的模板生成器将“filename_c”替换为正在生成的文件的适当名称。 对于标头也类似 - 尽管标识字符串仅嵌入一个文件中以避免多重定义。

我更喜欢带有静态常量的旧系统 - 但这已经为我工作了 3 年多。

Answer 2

通常不会发生这种情况，因为无关的字符串成本很低，并且在此类情况下非常有用（例如，存储一堆字符串资源，而代码中仅实际引用了第一个字符串资源）。

Answer 3

它们可能不会被优化掉，因为您的编译器知道此类字符串可用于这些目的。

当然，编译器完全可以对其进行优化，只要程序的行为（更准确地说是可观察的行为）不改变。 这意味着对易失性的写入和读取顺序以及对库函数的调用不会改变。

通过优化应用程序中的此类字符串，我认为该行为不会改变。 但编译器希望可用，并尽量不妨碍用户。 这就是为什么它们也包含有用的扩展。 如果您想确保它有时不会被优化，也许可以查看一下编译器扩展。 GCC 有一个 unused 属性，这使得它不会对未使用的对象发出警告。 也许那个或类似的东西可以帮助你变量没有被优化掉。

从语言的角度来看，有一个实用程序可以强制编译器保留它。

编辑：有一篇关于该主题的 usenet 帖子 这里，提供有用的答案。

Answer 4

（是的，我知道这个问题很久以前就被问过并回答过。但是这种新的答案风格是可用的，所以......）

在 gcc 中（至少在 3.3 及以下版本中），现在有编译器指令 __attribute__((unused)) 将变量标记为“已知它可能不会被引用”以抑制警告，以及 __attribute__((used)) 将其标记为已使用（因此不是要优化的候选者），即使没有其他代码实际引用它。

因此，这可能适合您：

static const char what_ident[] __attribute__((used)) = "@(#) $Id$";

如果链接器仍然对其进行优化，那么您可能需要将其放在标记为keep的部分中，无论链接时间引用如何。

static const char what_ident[] __attribute__((section("what"), used)) = "@(#) $Id$";

并添加 gcc 选项 -Wl,-bkeepfile:file.o ，以便链接器不会抑制 file.c 输出中未引用的部分。

Answer 5

Microsoft 的 Visual C++ 2005 有一个链接器选项，该选项应该控制它对未使用的数据执行的操作：/OPT:UNREF 强制链接器保留未使用的数据，/OPT:REF允许它消除它。

没有影响。

static char VersionString[] = "HELLO_WORLD 2.0";

但是，在我的简单测试中，该选项对语句“The string出现在发布和调试二进制文件中，无论标志如何”

Answer 6

如果没有“static”关键字，则无法优化该变量，因为另一个模块可能会声明对其的引用（使用 extern）。 由于 C/C++ 通常一次编译一个文件，因此编译器无法知道外部引用是否存在。

通过添加 static 关键字，您可以告诉编译器该名称仅在编译中可见，并且可以对其进行优化。

我认为链接器可以检测未使用的全局变量并在对象格式允许的情况下将其优化掉，尽管我不确定是否有人这样做。