我在某个地方读到一个技巧，如何将常量文字值转换为静态变量（这在模板中可能很有用）。看看我的示例代码中的makeStatic函数，它可以做到这一点。
我尝试使用makeStatic的结果来调用makeStatic：

template <auto VALUE>
consteval const auto &makeStatic() {
    return VALUE;
}
struct Foo {
};
struct Bar {
    const Foo *x;
};
Foo foo;
int main() {
    constexpr Bar bar{&makeStatic<Foo{}>()};
    // constexpr Bar bar{&foo};
    makeStatic<bar>();
}

这个例子是由clang和MSVC编译的，但是gcc拒绝了它（godbolt）：

<source>: In function 'int main()':
<source>:19:20: error: no matching function for call to 'makeStatic<bar>()'
   19 |     makeStatic<bar>();
      |     ~~~~~~~~~~~~~~~^~
<source>:2:23: note: candidate: 'template<auto VALUE> consteval const auto& makeStatic()'
    2 | consteval const auto &makeStatic() {
      |                       ^~~~~~~~~~
<source>:2:23: note:   template argument deduction/substitution failed:
<source>:19:20: error: the address of 'Foo()' is not a valid template argument
   19 |     makeStatic<bar>();
      |     ~~~~~~~~~~~~~~~^~

哪个编译器是正确的？
注意：如果使用另一个bar定义，它使用一个全局变量来初始化bar，那么gcc将编译代码。
更新：我发现了一个类似的bug report in gcc's bugzilla，所以看起来这是一个gcc错误。我仍然想知道标准在哪里保证我的代码是格式良好的。