c++ - 编译器找不到在基类中实现的虚函数

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。错误信息是:

error C2664: 'Derived::func' : cannot convert parameter 1 from 'One' to 'Two &'

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

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

这可行，但显然不太理想。

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

Answer 1

您将方法隐藏在派生类中。最简单的解决方案是在派生类中添加 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 的两个重载，并将每个重载适本地分派(dispatch)给最终的覆盖器。

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