如何从C ++内部类引用封闭实例？

问题描述

| 在C ++中，对象通过ѭ0引用自身。 但是，内部类的实例如何引用其封闭类的实例？

class Zoo
{
    class Bear 
    {
        void runAway()
        {
            EscapeService::helpEscapeFrom (
                this,/* the Bear */ 
                ??? /* I need a pointer to the Bear\'s Zoo here */);
        }
    };
};

编辑 我对非静态内部类的工作方式的理解是

Bear

可以访问其

Zoo

的成员，因此它具有指向

Zoo

的隐式指针。在这种情况下，我不想访问成员；我正在尝试获取该隐式指针。     

解决方法

        与Java不同，C ++中的内部类没有隐式引用其封闭类的实例。 您可以通过传递实例进行模拟，有两种方法： 传递给方法：

class Zoo
{
    class Bear 
    {
        void runAway( Zoo & zoo)
        {
            EscapeService::helpEscapeFrom (
                this,/* the Bear */ 
                zoo );
        }
    };
}; 

传递给构造函数：

class Zoo
{
    class Bear
    {
        Bear( Zoo & zoo_ ) : zoo( zoo_ ) {}
        void runAway()
        {
            EscapeService::helpEscapeFrom (
                this,/* the Bear */ 
                zoo );
        }

        Zoo & zoo;
    };
}; 

    ,        内部类不是特殊的，并且没有指向其内置外部类的任何链接。如果要访问外部类，则传递指针或引用，就像处理任何其他类一样。     ,        内部类可以访问外部类的所有成员，但是它没有对父类实例的隐式引用。 回答修改后的问题： 不，您无法访问该隐式指针。我相信可以用Java做到这一点，但不能用C ++做到。 您将必须通过构造函数或其他一些函数显式传递外部类对象，以实现此目的。 从技术上讲，按照C ++ 03标准（11.8.1节），嵌套类没有对其封闭类的特殊访问权。 但也存在此标准缺陷：openstd.org/jtc1/sc22/wg21/docs/cwg_defects.html#45不知道是否已关闭。     ,        您可以使用offsetof从内部类实例访问外部类实例。 与指针/引用解决方案相比，这具有零开销。 它有点脏，但是可以完成工作。 例如：

#include <cstddef>
struct enclosing {
    struct inner {
        enclosing& get_enclosing() {
            return *(enclosing*)((char*)this - offsetof(enclosing,i));
        }
        void printX() {
            std::cout << get_enclosing().x << \'\\n\';
        }
    } i;
    int x;
};
int main() {
    enclosing e;
    e.x = 5;
    e.i.printX();
}

附言 offsetof对类型进行一些假设。在C ++ 98中，类型必须是POD，而在C ++ 11中，类型必须是“标准布局”。 这是参考：http://www.cplusplus.com/reference/cstddef/offsetof/     ,        没有内置机制可以实现此目的。您需要自己通过构造函数或某种SetParent函数提供指针。     ,        C ++标准说（第11.8.1节[class.access.nest]）：   嵌套类的成员没有   对成员的特殊访问   封闭的阶级，也不是阶级或   赋予友谊的功能   到封闭的班级;通常   访问规则（第11条）应为   服从。附件中的成员   班级没有特殊访问权限   嵌套类的成员；通常   访问规则（第11条）应为   服从。 （我强调）。 这意味着嵌套类和封闭类之间没有特殊关系。     ,        创建嵌套类的实例时，没有隐式创建封闭类的实例。必须手动完成。