编译器找不到基类中实现的虚函数

Question

我遇到了一种情况，编译器似乎找不到与另一个成员函数同名的虚拟函数的基类定义/实现。

struct One {};

struct Two {};

struct Base
{
    virtual void func( One & );
    virtual void func( Two & ) = 0;
};

struct Derived : public Base
{
    virtual void func( Two & );
};

void Base::func( One & )
{}

void Derived::func( Two & )
{}

// elsewhere
void this_fails_to_compile()
{
    One one;
    Derived d;
    d.func( one );
}

我使用的是 Visual C++ 2008。错误消息是：

错误 C2664：“Derived::func”：无法将参数 1 从“One”转换为“Two &”

我本以为基于类型的调度可以工作并调用定义的基类函数。如果我添加一个 Derived::func( One & ) 它确实会编译并被正确调用，但在我的情况下，该版本的函数可以在基类中完成，通常派生类不会不需要自己实现。我目前正在解决这个问题，方法是在基类中放置一个不同名称的非虚拟函数，该函数将调用转发给导致问题的函数：

// not virtual, although I don't think that matters
void Base::work_around( One & one )
{
    func( one );
}

这​​可以工作，但显然不太理想。

我在这里缺少什么继承和/或名称隐藏规则？

Answer 1

您将 func(One&) 函数隐藏在 Derived 中。您可以使用完全限定名称：

d.Base::func( one );

Answer 2

您将该方法隐藏在派生类中。最简单的解决方案是向派生类添加 using 声明。

struct Derived : public Base
{
    using Base::func;
    virtual void func( Two & );
};

问题是，当编译器尝试在调用 d.func(one) 中查找 func 标识符时，它必须从 Derived 执行此操作向上，但它将在找到 func 标识符的第一个上下文中停止，在本例中为 Derived::func。没有执行进一步的查找，编译器只看到 Derived::func( Two& )。

通过添加 using Base::func; 指令，当编译器看到 Derived 定义时，它将所有 Base::func 声明引入作用域，它会发现有一个 Base::func( One & ) 没有在 Derived 中被覆盖。

另请注意，如果您通过对 Base 的引用进行调用，则编译器将找到 func 的两个重载，并将每个重载适当地分派给最终重写器。

Derived d;
Base & b = d;
b.func( one ); // ok even without the 'using Base::func;' directive