隐藏成员函数模板 - 哪个编译器是正确的？

Question

我写了以下隐藏成员函数模板的代码。

#include <iostream>

struct A 
{
    template<int> void func()
    {
        std::cout<<"Function tamplate of A"<<std::endl;
    }
};

struct B : A 
{
    template<char> void func()
    {
        std::cout<<"Function tamplate of B"<<std::endl;
    }
    using A::func;
};

int main()
{
    B().func<0>();
}

这个程序在 Clang 编译器中工作。 Live demo Clang

但是，GCC 编译器给出了歧义错误。Live demo GCC

source_file.cpp: In function ‘int main()’:
source_file.cpp:22:17: error: call of overloaded ‘func()’ is ambiguous
     B().func<0>();

那么，哪个编译器是正确的？

Answer 1

关于 OP 中的示例：正如 W.F. 向我指出的那样，这里重要的是那些是 member 功能模板。您添加了一个 using 声明，它指定 ([namespace.udecl]/15)：

当使用声明将名称从基类带入派生类时 类范围、成员函数和成员函数模板 派生类覆盖和/或隐藏成员函数和成员 基础中具有相同名称、参数类型列表、cv 限定符和 ref 限定符（如果有）的函数模板 类（而不是冲突）。

请注意如何计算模板参数。而正是 Clang 通过隐藏 int 版本正确处理了代码。

---

另一方面，如果检查tobi303 建议的under your post 示例，GCC 是正确的。这根本没有指定以某种方式解决。

其中一个是[temp.fct.spec]/3：

可以推导出的尾随模板参数或 从默认模板参数获得的可以从列表中省略 显式模板参数。 [...] 在扣除的情况下 完成和失败，或在未完成扣除的情况下，如果 指定模板参数列表，并且它以及任何默认值 模板参数，标识单个函数模板 特化，则模板 ID 是函数的左值 模板专业化。

粗体字表示你的程序只有当我们给出的模板参数指定一个特化时才是格式正确的。从表面上看，它没有，因为根据[temp.arg.nontype]/1：

非类型、非模板模板参数的模板参数 应为以下之一：

• 对于整数或枚举类型的非类型模板参数，转换后的类型的常量表达式 模板参数；

并且 0 适合作为转换后的常量表达式的两个重载。由于模板参数没有任何 ICS 排名，因此这是模棱两可的。