无法调用纯抽象基类重载

Question

为什么以下代码无法编译，我该怎么办？不应该找到基类中声明的纯抽象方法吗？

#include <string>

using namespace std::string_literals;

struct A
{
    virtual void func1(int) = 0;
    virtual void func1(std::string) = 0;
};

struct B : A
{
    void func1(int) override
    {
        func1("bla"s);
    }
};

struct C : B
{
    void func1(std::string) override
    {
    }
};

error C2664: 'void B::func1(int)': cannot convert argument 1 from 'std::string' to 'int'

提前致谢， 马丁

编辑链接器错误！

如果有三个文件：

文件 test.h

#include <string>

using namespace std::string_literals;

struct A
{
    virtual void func1(int) = 0;
    virtual void func1(std::string) = 0;
};

struct B : A
{
    void func1(int) override
    {
        A::func1("bla"s);
    }
};

struct C : B
{
    void func1(std::string) override;
};

文件 test.cpp

void C::func1(std::string)
{

}

文件 main.cpp

int main()
{
    C c;

    return 0;
}

这导致

错误 LNK2019 未解析的外部符号 ""public: virtual void __thiscall A::func1(class std::basic_string,class std::allocator >)" (?func1@A@@UAEXV?$basic_string@DU?$char_traits @D@std@@V?$allocator@D@2@@std@@@Z)" in Funktion ""public: virtual void __thiscall B::func1(int)"

我正在使用 Visual C++ v140。

它适用于using A::func1;。有什么区别？

Answer 1

B 的func1 实现隐藏了A 的其他两个重载。您可以通过以下方式将它们导入B的界面：

struct B
{
    using A::func1;
    /* ... */
};

在一般中，您也可以直接调用基类的重载：

void /*B::*/func1(int) override
{
    A::func1("bla"s);
}

这将准确地调用基类的版本，虽然，不是的覆盖变体，但在给定的情况下，A 的变体是纯的virtual（即不存在），因此我们不能在这里应用这种方法。

Answer 2

C 也有同样的问题 - 这将无法编译：

C c;
c.func1(123);

名称查找发生在重载决议之前，并且查找在找到第一个匹配项的范围内停止。

您可以使用using 将所有重载引入派生类的范围：

struct B : A
{
    using A::func1;  // Make the string overload available trough B's interface.
    void func1(int) override
    {
        func1("bla"s);
    }
};

struct C : B
{
    using B::func1; // Make the int overload available through C's interface.
    void func1(std::string) override
    {
    }
};

如果您调用 A::func1(std::string)并且为它提供了一个实现，您的代码也会编译；

struct A
{
    virtual void func1(int) = 0;
    virtual void func1(std::string) = 0;
};

// Yes, you can provide an implementation for a pure virtual function.
void A::func1(std::string) {}

struct B : A
{
    void func1(int) override
    {
        A::func1("bla"s);
    }
};

但是这段代码 - 你可能想要工作 - 不会：

void foo(B* b)
{
    b->func1("blargh"s);
}