c – SFINAEd-out函数是否影响基类中显式导入的重载

发布时间：2020-12-16 05:45:02 所属栏目：百科来源：网络整理

导读：在使用另一个设计进行了麻烦之后,我决定做一个包装类,为基类的一些成员函数添加重载,当且仅当基类中不存在可行的重载时.基本上,这是我正在努力做的： templatetypename Tstruct wrapper: T{ using T::foo; templatetypename Arg auto foo(Arg) const - std::

在使用另一个设计进行了麻烦之后,我决定做一个包装类,为基类的一些成员函数添加重载,当且仅当基类中不存在可行的重载时.基本上,这是我正在努力做的：

template<typename T>
struct wrapper: T
{
    using T::foo;

    template<typename Arg>
    auto foo(Arg) const
        -> std::enable_if_t<not std::is_constructible<Arg>::value,bool>
    {
        return false;
    }
};

struct bar
{
    template<typename Arg>
    auto foo(Arg) const
        -> bool
    {
        return true;
    }
};

在这个简单的例子中,包装器只有在基类不可行的情况下才添加一个重载的foo(我简化了std :: enable_if到最简单的事情;原来的一个涉及检测成语).但是,g和clang不同意.请注意以下几点：

int main()
{
    assert(wrapper<bar>{}.foo(0));
}

g是可以的：包装上的foo< bar>是SFINAE出来,所以它使用一个从bar而不是.另一方面,clang++ seems to assume的包装< bar> :: foo总是阴影吧:: foo,即使SFINAEd出来.这是错误信息：

06002

那么谁是对的？这个代码是否应该像cl be一样被拒绝,还是应该工作并调用bar :: foo？

解决方法

考虑§10.2：

In the declaration set,using-declarations are replaced by the set of
designated members that are not hidden or overridden by members of the
derived class (7.3.3),

和§7.3.3

When a using-declaration brings names from a base class into a derived class scope,[…] member function templates in the derived class override and/or hide member functions and member function templates with the same name,parameter-type-list (8.3.5 [dcl.fct]),cv-qualification,and ref-qualifier (if any) in a base class (rather than conflicting).

显然,您的示例中唯一的区别在于返回类型.因此,Clang是正确的,并且GCC被窃取.

这个措辞是由CWG #1764提出的：

According to 7.3.3 [namespace.udecl] paragraph 15,

When a using-declaration brings names from a base class into a derived class scope,[…]

10.2中给出了类范围名称查找的算法
[class.member.lookup],但是,没有实现这个要求;
没有什么可以删除隐藏的基类成员(替换)
结果集中的使用声明,第3段).

该决议于2014年2月移交给DR,所以GCC也没有实施.

正如@ TartanLlama的回答中提到的,你可以介绍一个对手来处理其他情况.沿线的东西
template <typename Arg,typename=std::enable_if_t<std::is_constructible<Arg>{}>>
decltype(auto) foo(Arg a) const
{
    return T::foo(a);
}
Demo.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!