Question

我有一个顶级 API（基于抽象类），它由基础 API组成（将由不同的顶部重复使用的API）。

class api_base {
public:
    virtual int foo() = 0;
};

class api_top : public api_base {
public:
    virtual int bar() = 0;
}

然后，我想为基本API提供基本实现：

class imp_base {
public:
    int foo() { return 1; }
}

最后使用基本实现为基本API中定义的那些函数实现 top API：

class imp_top : public api_top, public imp_base {
public:
    int bar() { return 1; }
}

当我实例化imp_top类型的对象时，编译器说没有实现foo()函数。但事实并非如此，因为imp_top派生自imp_base，它实现了foo()功能。

有关于此的任何建议吗？

提前谢谢。

完整的测试代码：

    #include <stdio.h>

    class api_base { 
    public:
        virtual int foo() = 0;
    };

    class api_top : public api_base { 
    public:
        virtual int bar() = 0;
    };

    class imp_base { 
    public:
        int foo() { printf("foo from imp_base\n"); } 
    };

    class imp_top : public api_top, public imp_base { 
    public:
        int bar() { printf("bar from imp_top\n"); } 
    };

    int main()
    { 
       printf("Hello\n");                                                                                                                                                                                                                                                   
       imp_top a;

       a.bar();
       a.foo();

       return 1;
    }

编译结果：

    test.cpp:26:12: error: cannot declare variable ‘a’ to be of abstract type ‘imp_top’                                                                                                                                                                                     
        imp_top a;
                ^
    test.cpp:18:7: note:   because the following virtual functions are pure within ‘imp_top’:
     class imp_top : public api_top, public imp_base {
           ^
    test.cpp:5:17: note:  virtual int api_base::foo()
         virtual int foo() = 0;
                     ^
    test.cpp:29:6: error: request for member ‘foo’ is ambiguous
        a.foo();
          ^
    test.cpp:15:9: note: candidates are: int imp_base::foo()
         int foo() { printf("foo from imp_base\n"); }
             ^
    test.cpp:5:17: note:                 virtual int api_base::foo()
         virtual int foo() = 0;

Answer 1

首先在重新定义子类中的函数时始终使用override关键字。

关于虚拟继承的第二篇文章。

以下作品：

class api_base {
public:
    virtual int foo() = 0;
};

class api_top : public virtual api_base {
public:
    virtual int bar() = 0;
};

class imp_base : public virtual api_base {
public:
    int foo() override { printf("foo from imp_base\n"); return 0; }
};

class imp_top : public api_top, public imp_base {
public:
    int bar() override { printf("bar from imp_top\n"); return 0; }
};


int main(){
    imp_top a;

    a.bar();
    a.foo();
return 1;
}

Answer 2

您应该使用override关键字，然后您会注意到您没有实现接口，而是定义了一个全新的foo()方法。

您需要通过虚拟继承从imp_base派生api_top和api_base。

Answer 3

变化：

class api_top : public api_base至class api_top : public virtual api_base

和

class imp_base至class imp_base : public virtual api_base

然后它有效。

要理解这一点，请参阅：virtual inheritance。是的（只看到Ext3h的帖子），使用override关键字。

派生类

3 个答案: