基类模板成员函数在Derived类中被遮蔽,尽管参数列表不同

Question

这让我很疑惑.假设我有:

class Base
{
public:

    template<typename T>
    void foo(T& varT)
    {
        //
    }

    template<typename T, typename U>
    void foo(T& varT, U& varU)
    {
        //
    }
};

class Child : public Base
{
public:
    template<typename T, typename U, typename Z>
    void foo(T& varT, U& varU, Z& varZ)
    {
        //
    }
};

现在当我尝试这个:

Child c;

char cVar;
int iVar;
float fVar;

c.foo(cVar);
c.foo<int>(cVar);
c.template foo<int>(cVar);

没有一个电话工作.它们总是被错误地标记为"没有匹配的成员函数用于调用".任何人都能指出我解决这个问题的方法吗？我在标准中读到派生对象阴影模板函数继承但标准明确表示如果它们被遮蔽,参数列表必须相同.

感谢帮助.

Answer 1

当您在基类中存在的派生类中具有名称时,总是会发生隐藏基本成员.基本原因是需要保护派生类使用以防止基类中的更改:假设基础中的名称未被隐藏,如果添加基类中的新重载,则可能会劫持派生成员的工作查找更确切地说,在派生类中没有任何指示基类中可能发生某些事情的基类.如果您的意思是使基本成员可用,您可以使用using声明:

class Child : public Base
{
public:
     using Base::foo; // declare that you want look up members from the base class

     template<typename T, typename U, typename Z>
     void foo(T& varT, U& varU, Z& varZ)
     {
         //
     }
};

在您的代码中,您有三个电话:

1. c.foo(cVar)与using宣言合作.
2. c.foo<int>(cVar)即使使用using声明也不起作用,因为您无法将非const引用绑定int到char左值.使用c.foo<char>(cVar)会工作.
3. c.template foo<int>(cVar)遭遇同样的问题.由于c显然不是依赖名称,因此根本不需要template在此上下文中使用.

如果没有using声明,您可以通过明确限定呼叫来调用成员,例如:

c.Base::foo(cVar);