c++ - 如何在派生类中定义内部类成员？

Question

#include<iostream>
using namespace std;
class A{
    public:
        class B{
            public:
                void fun1();
        };
};

class C:public A{
    public:
        B::fun1(){ // This line gives Error:can not define member function B::fun1() in C

        }       
};
int main(){
    C ob;
    return 0;
}

有什么方法可以在派生类中定义内部类成员吗？ 此错误背后的原因是什么？

Answer 1

问题是您试图在与声明该函数的类作用域不同的类作用域内定义该函数。例如，考虑一下代码的扩展版本:

class A{
    public:
        class B{
            public:
                void fun1();
                void fun2();
        };

        void fun3();

        void B::fun2() {} // Error.
};

class C:public A{
    public:
        void B::fun1() {} // Error.
        void A::fun3() {} // Error.
};

所有三个错误都会给出相同类型的错误消息“Can not define member function X::Y() in Z”。

---

要解决这个问题，如果 A::B::fun1()和C::B::fun1()需要有不同的实现，您也可以从嵌套类派生。

class A {
  public:
    class AB_ {
      public:
        virtual void fun1();
    };

    typedef AB_ B;
};
void A::AB_::fun1() {}

class C : public A {
  public:
    class CB_ : public A::AB_ {
        void fun1() override;
    };

    typedef CB_ B;
};
void C::CB_::fun1() {}

在这种情况下，您可以使用 B从外部访问嵌套类的最派生版本，或使用 A::AB_或C::CB_直接地。同样，你可以这样写:

class A {
    class AB_ {
      public:
        virtual void fun1();
    } b;

  public:
    typedef AB_ B;

    virtual B& getB() { return b; }
};
void A::AB_::fun1() {}

class C : public A {
    // Note the use of the typedef, instead of the actual type name.
    class CB_ : public A::B {
        void fun1() override;
    } cb;

  public:
    typedef CB_ B;

    // Note the use of the typedef, instead of the actual type name.
    A::B& getB() override { return cb; }
};
void C::CB_::fun1() {}

在本例中，C内部使用A的 typedef，同时替换它；因此，使用 A的 typedef 变得明确，如 A::B而不是B 。由于 typedef 的原因，名称 B意味着 A::AB_或C::CB_ ，当用作 A::B 时或C::B ，分别。

// If given the above...

int main() {
    std::cout << "A::B: " << typeid(A::B).name() << std::endl;
    std::cout << "C::B: " << typeid(C::B).name() << std::endl;
}

输出将是:

// GCC:
A::B: N1A3AB_E
C::B: N1C3CB_E

// MSVC:
A::B: class A::AB_
C::B: class C::CB_