可以将变量重新声明为推导出为相同类型的 auto 吗？ [复制]

Question

标准是否允许以下​​内容？

#include <iostream>

extern int a;
auto a = 3;

int main(int, char**)
{
    std::cout << a << std::endl;
    return 0;
}

clang 接受代码。 g++ 抱怨声明冲突。

Answer 1

从标准上我不太清楚，但是，有这样写的

第 7.1.6.4 节自动说明符
在本节未明确允许的上下文中使用 auto 的程序是格式错误的。

最好阅读标准中提到的所有允许上下文的部分。

考虑到这一点，我认为 g++ 是正确的，而 clang 是错误的。但我可能错了，标准中可能有一些单独的部分可能暗示这种情况，但我找不到。

Answer 2

编辑答案： 正如在 cmets 中提到的那样。在这种情况下的问题是写

external int a;
auto a = 3;

和写一样

external int a;
int a = 3;

这意味着你有一个新的 a 定义，这会导致错误。

第一个答案： 据我了解，这破坏了 One 定义规则的部分内容。具体来说，我指的是以下规则（参考 MISRA C++ 2008），即具有外部链接的标识符应始终只有一个定义。在您的示例中，您在当前文件中有一个定义（auto a = 3;），而外部文件中您还引用了另一个文件中的定义。