问题 如何在内存级别实现继承？

编译器允许他们选择实现它。但他们通常遵循CFront的旧实施。

对于没有继承的类/对象

考虑：

#include <iostream>

class A {
    void foo()
    {
        std::cout << "foo\n";
    }

    static int bar()
    {
        return 42;
    }
};

A a;
a.foo();
A::bar();

编译器将最后三行更改为类似于：

struct A a = <compiler-generated constructor>;
A_foo(a); // the "a" parameter is the "this" pointer, there are not objects as far as
          // assembly code is concerned, instead member functions (i.e., methods) are
          // simply functions that take a hidden this pointer

A_bar();  // since bar() is static, there is no need to pass the this pointer

曾几何时，我会猜到这是通过每个函数中的指针来处理的 A 对象已创建。但是，这种方法意味着每一个方面 A 对象将包含相同的信息（指向同一函数的指针），这会浪费大量空间。编译器很容易处理这些细节。

对于具有非虚拟继承的类/对象

当然，那不是你问的那个。但是我们可以将它扩展到继承，这是你所期望的：

class B : public A {
    void blarg()
    {
        // who knows, something goes here
    }

    int bar()
    {
        return 5;
    }
};

B b;
b.blarg();
b.foo();
b.bar();

编译器将最后四行转换为：

struct B b = <compiler-generated constructor>
B_blarg(b);
A_foo(b.A_portion_of_object);
B_bar(b);

有关虚拟方法的说明

当你谈论时，事情变得有点棘手 virtual 方法。在这种情况下，每个类都获得一个特定于类的指针到函数的数组，每个类都有一个这样的指针 virtual 功能。该数组称为vtable（“虚拟表”），每个创建的对象都有一个指向相关vtable的指针。打电话给 virtual 通过查找在vtable中调用的正确函数来解决函数问题。