关键字“this”的实际含义是什么？

Question

我有两个与C++相关的问题：

在许多教科书中，关键字this是指向调用对象的指针。正确的？

由于我喜欢编码，所以我编写了以下简单的代码：

struct Base
{
    void g();
    virtual void f();
};

void Base::f() {
    cout << "Base::f()" << endl;
}

void Base::g() {
    cout << "Base::g()" << endl;
    cout << "sizeof(*this) : " << sizeof(*this) << endl;
    this->f();
}

struct Derived : public Base
{
    int d;
    void f();
};

void Derived::f()
{
    cout << "Derived::f()" << endl;
}

int main()
{
    Base a;
    Derived b;

    cout << "sizeof(a) : " << sizeof(a) << endl;
    cout << "sizeof(b) : " << sizeof(b) << endl;

    a.g();
    b.g();
}

上面的代码产生以下输出：

sizeof(a) : 4
sizeof(b) : 8
Base::g()
sizeof(*this) : 4
Base::f()
Base::g()
sizeof(*this) : 4   // why 4 bytes not 8 bytes?????????
Derived::f()

如果 this 指向调用对象，则 sizeof(* 的第二行应该this) 打印 8 而不是 4，因为调用对象是 b？这里究竟发生了什么？ 这个已经被降级了吗？！！！

如果 this 已降级为 Base 类型，this->f() 如何调用正确的函数？我真的很困惑。

Answer 1

void Base::g() {
    cout << "Base::g()" << endl;
    cout << "sizeof(*this) : " << sizeof(*this) << endl;
    this->f();
}

需要注意的重要区别是 sizeof 是一个编译时运算符，而不是运行时运算符。编译器将表达式 sizeof(*this) 解释为“this 指向的对象的大小”，它在 Base::g 的范围内 将是 Base 类型的对象。编译器基本上会将该语句重写为如下所示，因为它知道 Base 的大小是四个字节：

cout << "sizeof(*this) : " << 4 << endl;

Answer 2

Base 无法查看/访问/了解派生对象的任何部分，因此 sizeof 仅报告对其可见的对象部分。更重要的是，Base 方法中的 sizeof 无法知道存在或将会有子类（您可以子类化 Base 而无需重新编译毕竟），所以除了它所知道的部分之外，它无法报告任何内容。 （sizeof 是在编译时而不是运行时计算的。）

Answer 3

正确的函数 f 被调用，因为 Base::f 是虚拟的。这告诉编译器，当请求调用 Base*->f() 时，将在您调用其成员的实际对象的 vtable 中查找被调用者的实际地址。

相关 this 的类型是 Base*，这就是为什么 sizeof(*this) == sizeof(Base)< /code>，但其 vtable 属于派生对象，因此对 f 的函数调用将进行覆盖。

Answer 4

this 是一个常量值指针，指向该函数是其非静态成员的对象。这意味着，要使 this 成为可行值，它必须仅在类的非静态成员中使用。记住：必须使用对象实例来调用非静态成员函数（instance.function或instance->function）； this 是一个指向“实例”的指针。

大小永远不是您期望的 8 的原因是因为 g 是类 Base 的成员。对于 g，this 的类型为 Base *const，因此 *this 的类型为 Base& ;。 sizeof(Base)是4。即使是虚拟成员，这个也不会改变； g 实现的类型始终是 Base *const。实际上重写的版本将具有不同的类型，但只有实现它们的类的类型。

this 的类型不遵循多态性；它完全且仅具有定义该函数的类型。