Question

在clang和gcc警告未使用的变量方面，我遇到了一些差异。

gcc version 7.3.0 (Ubuntu 7.3.0-27ubuntu1~18.04)
clang version 6.0.0-1ubuntu2

在foo.h中

const int f = 3;

在foo.cpp中

#include "foo.h"

const int a = 2;

int main() {
    int i;
    return 0;
}

我有

$ clang -o foo foo.cpp -Wall -Wunused-variable -Wunused-const-variable
foo.cpp:7:9: warning: unused variable 'i' [-Wunused-variable]
    int i;
        ^
foo.cpp:4:11: warning: unused variable 'a' [-Wunused-const-variable]
const int a = 2;
          ^
2 warnings generated.

$ gcc -o foo foo.cpp -Wall -Wunused-variable -Wunused-const-variable
foo.cpp: In function ‘int main()’:
foo.cpp:7:9: warning: unused variable ‘i’ [-Wunused-variable]
     int i;
         ^
foo.cpp: At global scope:
foo.cpp:4:11: warning: ‘a’ defined but not used [-Wunused-const-variable=]
 const int a = 2;
           ^
In file included from foo.cpp:1:0:
foo.h:1:11: warning: ‘f’ defined but not used [-Wunused-const-variable=]
 const int f = 3;

我有几个问题：

为什么gcc抱怨标头中的常量？在其中为客户放置常量不是很常见吗？如何让clang表现得像gcc？

Answer 1

我怎样才能让clang表现得像gcc？

我认为只能通过报告此令人惊讶的clang错误并等待修复。（仍然在clang 7中存在。）

您的foo.cpp定义的翻译单位必须与文件相同通过预处理产生的：

$ clang -E -P foo.cpp >foo.ii
$ cat foo.ii
const int f = 3;

const int a = 2;

int main() {
    int i;
    return 0;
}

具有：

$ clang --version
clang version 6.0.1-svn330209-1~exp1~20180427232138.77 (branches/release_60)
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/bin

但是c 6搞砸了：

$ clang -o foo foo.cpp -Wall -Wunused-variable -Wunused-const-variable
foo.cpp:6:9: warning: unused variable 'i' [-Wunused-variable]
    int i;
        ^
foo.cpp:3:11: warning: unused variable 'a' [-Wunused-const-variable]
const int a = 2;
          ^
2 warnings generated.

位置：

$ clang -o foo foo.ii -Wall -Wunused-variable -Wunused-const-variable
foo.ii:6:9: warning: unused variable 'i' [-Wunused-variable]
    int i;
        ^
foo.ii:1:11: warning: unused variable 'f' [-Wunused-const-variable]
const int f = 3;
          ^
foo.ii:3:11: warning: unused variable 'a' [-Wunused-const-variable]
const int a = 2;
          ^
3 warnings generated.

现在同意：

$ gcc -o foo foo.ii -Wall -Wunused-variable -Wunused-const-variable
foo.ii: In function ‘int main()’:
foo.ii:6:9: warning: unused variable ‘i’ [-Wunused-variable]
     int i;
         ^
foo.ii: At global scope:
foo.ii:3:11: warning: ‘a’ defined but not used [-Wunused-const-variable=]
 const int a = 2;
           ^
foo.ii:1:11: warning: ‘f’ defined but not used [-Wunused-const-variable=]
 const int f = 3;
           ^

稍后

为什么警告可以应用于库中的标头中的常量？

头文件（和库）不是编译器认为的事情认识。 预处理器通过以下方式识别头文件：

#include <headername>
...
#include "headername"

使用预处理程序的指定或默认搜索路径（-I dir）将headername解析为/some/actual/headername并粘贴内容 /some/actual/headername中的代替翻译单元中的#include指令 由编译器消耗。该翻译单元没有所有预处理器指令。编译器不消耗：

foo.cpp

#include "foo.h" const int a = 2; int main() { int i; return 0;

}

它消耗：

foo.ii

const int f = 3; const int a = 2; int main() { int i; return 0; }

您观察到的c铛行为暗示着该工具在内部虚拟化预处理和编译之间的分界- 实际上这是C / C ++实现中的常规历史惯例-但已引入虚拟边界中的此错误。无论源代码到底在做什么代码，它与先对其进行预处理，然后对其进行编译并不完全相同预处理输出；它应该是。

因此在头文件中定义常量不是C ++实现的一种做法可以扩展任何特殊的慈善事业。如果您正在编写一个公开常量的库在其API标头bar.h中，并且您不希望该库的用户面临以下风险：未引用变量中定义的每个常量，未使用变量警告在bar.h的每个编译中#include，那么您不会定义那些常量在const中只是 as bar.h变量。您将做其他三件事之一：

将常量定义为enum或enum class的成员：

enum class E : int {
    F = 3
    //...
};

或者，在常量extern，但在库源文件¹中定义：

bar.h

bar.h

bar.cpp

#ifndef BAR_H #define BAR_H extern const int f; #endif

或者，将常量定义为预处理器宏：

#include "bar.h" const int f = 3;

用老式的C语言。您不会的，因为在C ++中我们避免使用预处理器如果我们可以。

[1] #define F 3如何避免警告？因为extern filescope变量是在C ++中隐式const（尽管在C中不是），并且编译器从不考虑符合未使用诊断条件的static变量，因为您正在告诉可以在提供给链接器的代码中引用该变量编译器看不到的。

clang不会在标头中警告“已定义但未使用”，gcc会警告

1 个答案: