c – 使用和重载基类的模板成员函数？

在下面,struct Y重载X的成员函数f.两个重载都是模板函数,但是要明确指定不同的参数(typename和int)：

struct X
{
    template <typename> static bool f() { return true; }
};

struct Y : public X
{
    using X::f;
    template <int> static bool f() { return false; }
};

int main()
{
    std::cout << Y::f <void>() << " " << Y::f <0>() << std::endl;
}

这按照预期使用gcc打印10.然而,clang(3.3)抱怨说

[...] error: no matching function for call to 'f'
        std::cout << Y::f <void>() << " " << Y::f <0>() << std::endl;
                     ^~~~~~~~~~~
[...] note: candidate template ignored: invalid explicitly-specified argument
      for 1st template parameter
        template <int> static bool f() { return false; }
                                   ^

即,只能看到Y的版本.我试过了

using X::template f;

相反,没有成功.非静态(模板)成员函数也是如此.这是一个错误吗？

解决方法

最近根据另一个答案向我解释了这个难题.

来自#clang IRC频道：

[01:16:23] <zyGoloid> Xeo: this is a weird corner of the language where clang conforms but the rule is silly
[01:16:31] <Xeo> ... really? :(
[01:16:45] <zyGoloid> Xeo: when deciding whether a using-declaration is hidden,we're not allowed to look at the template-parameter-list (nor the return type,iirc)
[01:17:04] <zyGoloid> so the derived class declaration of operator()(T) suppresses the using-declaration
[01:17:19] <Xeo> because it has the same signature / parameter types?
[01:17:40] <zyGoloid> rigth

解决方法是不在使用派生版本的类中定义f.相反,将它移动到一个辅助助手类(在这种情况下,它会引发问题,你认为哪个定义应该获胜).

>请参阅此处查看我之前遇到的有问题的案例：Lambda functions as base classes

07001

>以及如何使用额外的基类修复它：

07002

致谢感谢@Xeo和Lounge中的人们发掘这个“愚蠢的规则”