外部函数指针声明和类型推断定义

Question

我最近收到了一个clang++接受但g++不接受的代码，我想知道哪个是正确的。

重现该行为的极简代码非常简短，并且可以自行说明，因此我认为解释会不必要地复杂。

这是一个包含外部指针声明的标题：

//(guards removed for simplicity) :
#include <type_traits>

using ptr_func = std::add_pointer<void()>::type;

extern ptr_func pointer;

这是实现所需指向功能的源代码：

#include "function.hh"

void foo() {}

auto pointer = &foo;

gcc产生的错误如下：

g++ -c function.cc -std=c++14
function.cc:5:6: error: conflicting declaration ‘auto pointer’
 auto pointer = &foo;
      ^
In file included from function.cc:1:0:
function.hh:5:17: note: previous declaration as ‘void (* pointer)()’
 extern ptr_func pointer;
                 ^

Clang 接受此代码，没有任何错误/警告。并将指针定义替换为：

decltype(foo)* pointer = &foo;

被 gcc 接受。

在我看来，clang 是对的，但我不确定，所以我想知道 clang 是否过于宽松，或者 gcc 是否应该接受它。

Answer 1

这绝对是 gcc 中的一个错误。这是一个最小的例子：

int foo;
extern int* ptr;
auto ptr = &foo;

有趣的是，如果 extern 和 auto 声明被颠倒，gcc 很高兴。

这似乎与去年报道的https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60352 相同。

相关条款是[basic.link]/10:

在所有类型调整之后（在此期间 typedefs (7.1.3) 被它们的定义替换），类型 由引用给定变量或函数的所有声明指定应相同，除了声明 对于数组对象，可以指定因主数组的存在或不存在而不同的数组类型 绑定（8.3.4）。在类型标识上违反此规则不需要诊断。