基类和派生类中模板成员之间的重载解析答案

【问题标题】：Overload resolution between template members in base and derived classes基类和派生类中模板成员之间的重载解析
【发布时间】：2018-01-16 12:06:04
【问题描述】：

Microsoft 编译器 (Visual Studio 2017 15.2) 拒绝以下代码：

#include <type_traits>

struct B
{ 
    template<int n, std::enable_if_t<n == 0, int> = 0>
    void f() { }
};

struct D : B
{
    using B::f; 
    template<int n, std::enable_if_t<n == 1, int> = 0>
    void f() { }
};

int main()
{
    D d;
    d.f<0>();
    d.f<1>();
}

错误是：

error C2672: 'D::f': no matching overloaded function found
error C2783: 'void D::f(void)': could not deduce template argument for '__formal'
note: see declaration of 'D::f'

Clang 也拒绝它：

error: no matching member function for call to 'f'
    d.f<0>();
    ~~^~~~
 note: candidate template ignored: disabled by 'enable_if' [with n = 0]
    using enable_if_t = typename enable_if<_Cond, _Tp>::type;

GCC 完全接受它。哪个编译器是对的？

加法：

在表单中使用 SFINAE

template<int n, typename = std::enable_if_t<n == 0>>
...
template<int n, typename = std::enable_if_t<n == 1>>

GCC 也会产生错误：

error: no matching function for call to ‘D::f<0>()’
 d.f<0>();
        ^
note: candidate: template<int n, class> void D::f()
 void f()
      ^
note:   template argument deduction/substitution failed:

【问题讨论】：

有了template<int n, typename = std::enable_if_t<n == 0>>，你声明了2个相同的函数（使用不同的默认参数）。
When a using-declarator brings declarations from a base class into a derived class, member functions and member function templates in the derived class override and/or hide member functions and member function templates with the same name, parameter-type-list, cv-qualification, and ref-qualifier (if any) in a base class (rather than conflicting). :/
@Evgeny：模板参数似乎不算数。
@Evgeny 不，他们没有 - 他们都有相同的 parameter-type-list：没有参数。
我给 Mike 发了消息。请注意，第 15 段之前的段落存在类似问题，已作为核心问题 565 解决。

标签： c++ c++14 sfinae overload-resolution using-declaration

【解决方案1】：

将 cppleaner 的评论变成答案：

来自namespace.udecl#15.sentence-1：

当 using-declarator 将基类中的声明带入派生类时，派生类中的成员函数和成员函数模板会覆盖和/或隐藏同名的成员函数和成员函数模板，parameter-type-list , cv-qualification 和 ref-qualifier（如果有）在基类中（而不是冲突）

不幸的是，模板参数不计算在内，f 都有空参数类型列表，不是 const 也没有 ref-qualifier。

Derived::f 所以隐藏了Base::f。

gcc 接受该代码是错误的。

所以修复它的方法是默认参数（返回的类型也不计算在内）：

struct B
{ 
    template <int n>
    void f(std::enable_if_t<n == 0>* = nullptr) { }
};

struct D : B
{
    using B::f; 
    template <int n>
    void f(std::enable_if_t<n == 1>* = nullptr) { }
};

【讨论】：