c++ - 推导显式特化函数模板类型

Question

在the following code GCC 无法编译 (1)(无法推断 F)，但成功编译 (2)。这里的关键点是 bar 模板推导的返回类型，否则 GCC 不会失败。

但是，Clang 编译整个代码没有错误。

在这种情况下，除了 b 是指向函数的指针之外，(1) 和 (2) 之间的本质区别是什么？是 GCC 中的错误，还是这里存在格式错误？

template<class>
auto bar() {
    return 0;
}

template<class F>
void foo(F&&) {
}

int main () {
    foo(bar<int>); // (1)

    auto b = bar<int>;
    foo(b);  // (2)
}

Answer 1

是的，这是一个已经存在了一段时间的 GCC 错误:https://gcc.gnu.org/bugzilla/show_bug.cgi?format=multiple&id=64194