在使用另一个设计进行了麻烦之后,我决定做一个包装类,为基类的一些成员函数添加重载,当且仅当基类中不存在可行的重载时.基本上,这是我正在努力做的：
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;
}
};
@H_404_4@在这个简单的例子中,包装器只有在基类不可行的情况下才添加一个重载的foo(我简化了std :: enable_if到最简单的事情;原来的一个涉及检测成语).但是,g和clang不同意.请注意以下几点：
int main()
{
assert(wrapper<bar>{}.foo(0));
}
@H_404_4@g是可以的：包装上的foo< bar>是SFINAE出来,所以它使用一个从bar而不是.另一方面,clang++ seems to assume的包装< bar> :: foo总是阴影吧:: foo,即使SFINAEd出来.这是错误信息：
@H_404_4@06002@H_404_4@那么谁是对的？这个代码是否应该像cl be一样被拒绝,还是应该工作并调用bar :: foo？
解决方法
考虑§10.2：
@H_404_4@In the declaration set,using-declarations are replaced by the set of@H_404_4@和§7.3.3
designated members that are not hidden or overridden by members of the
derived class (7.3.3),
@H_404_4@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).@H_404_4@显然,您的示例中唯一的区别在于返回类型.因此,Clang是正确的,并且GCC被窃取. @H_404_4@这个措辞是由CWG #1764提出的：
@H_404_4@According to 7.3.3 [namespace.udecl] paragraph 15,@H_404_4@When a using-declaration brings names from a base class into a derived class scope,[…]@H_404_4@
10.2中给出了类范围名称查找的算法
[class.member.lookup],但是,没有实现这个要求;
没有什么可以删除隐藏的基类成员(替换)
结果集中的使用声明,第3段). @H_404_4@该决议于2014年2月移交给DR,所以GCC也没有实施. @H_404_4@正如@ TartanLlama的回答中提到的,你可以介绍一个对手来处理其他情况.沿线的东西template <typename Arg,typename=std::enable_if_t<std::is_constructible<Arg>{}>> decltype(auto) foo(Arg a) const { return T::foo(a); }@H_404_4@Demo.
