派生类中隐藏的基类模板成员函数，尽管参数列表不同

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);

Answer 2

你需要这个： http://en.cppreference.com/w/cpp/language/using_declaration

添加到孩子的定义：

using Base::foo;