我该怎么办。template bar（）`当同时存在模板和非模板重载时该怎么办？

Question

一位同事与我分享了这段代码：

在gcc.godbolt.org上运行

#include <iostream>

struct A
{
    void foo() {std::cout << "1\n";}
    
    template <typename T = int>
    void foo() {std::cout << "2\n";}
};

int main()
{
    A x;
    x.template foo();
}

GCC打印1，Clang打印2，MSVC抱怨缺少模板参数。

哪个编译器是正确的？

Answer 1

MSVC拒绝这一点是正确的：标准只是以这个为例。允许在类或别名模板的限定名称之前使用模板解析器指南，但这只是为了与不必要地要求模板参数使用它的实现兼容，现在不建议使用。

Answer 2

[temp.names]/5表示前缀为template的名称必须是模板id，这意味着它必须具有模板参数列表。（也可以引用没有模板参数列表的类/别名模板，但由于@DavisHerring编写的P1787R6，当前草案中不推荐使用该模板。）

下面甚至有一个几乎与您相同的示例，将您对模板的使用标识为格式错误。

需求和示例来自CWG缺陷报告96，其中考虑了没有需求可能的歧义。

打开GCC错误报告，这里就是。我无法找到一个叮当作响的bug报告，但是搜索它并不是那么容易。但是，其缺陷报告的实施状态页面确实将缺陷报告列为未实施。