c++ - 可以将变量重新声明为推断为相同类型的 auto 吗？

Question

这个问题在这里已经有了答案:

Does a declaration using "auto" match an extern declaration that uses a concrete type specifier? (3 个回答)

关闭 6年前。

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

#include <iostream>

extern int a;
auto a = 3;

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

clang接受代码。 g++提示声明冲突。

Answer 1

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

section 7.1.6.4 auto specifier
A program that uses auto in a context not explicitly allowed in this section is ill-formed.

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

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