深入理解 C++ this 指针与成员函数的隐式多态

小鹿同学

发布时间：2026-10-14 | 4人浏览过

原创

C++ 中同一个类的多个对象共享一份成员函数代码，那么函数如何区分数据属于哪个对象？这依赖于 this 指针。本文通过实际代码与反汇编调试，解析 this 指针作为对象地址的工作机制，并探讨其如何实现一种基于运行时的“隐式多态”。

结果或目标

明确 this 指针的本质及其在 C++ 面向对象编程中的核心作用，从底层指令角度理解对象与成员函数的关系。

准备条件

C++ 编译器（如 Visual Studio C++）
反汇编调试工具（如 OllyDbg）
基础 C++ 类与对象知识

真实操作顺序

第1步：编写包含 this 指针使用的测试代码

目的：构建一个具有成员变量的类，并通过实例化对象调用成员函数，为后续反汇编分析提供样本。

入口：新建 C++ 源文件。

动作：定义类 A，包含构造函数、析构函数和 show() 成员函数。在构造函数中动态分配内存并复制字符串，show() 函数输出该字符串。在 main 函数中创建对象并调用显示方法。

重要参数/代码：

#include<iostream>
using namespace std;

class A
{
public:
    A(char *szname)
    {
        cout << "construct" << endl;
        name = new char[20];
        strcpy(name, szname);
    }
    ~A()
    {
        cout << "destruct" << endl;
        delete []name; // 建议修正：new[] 对应 delete[]
    }
    void show();
private:
    char *name;
};

void A::show()
{
    cout << "name = " << name << endl;
}

int main()
{
    A a("zhangsan");
    a.show();
    return 0;
}

注意：原文代码中 delete name 存在潜在风险，对于使用 new [] 分配的数组，标准做法是使用 delete []name。虽然单字符数组可能不报错，但此处应视为最佳实践修正。

第2步：编译并启动反汇编调试

目的：观察程序在机器码层面的执行逻辑，特别是对象地址是如何传递给成员函数的。

入口：OllyDbg。

动作：加载编译生成的 EXE 文件，设置断点或直接运行至关键调用处。重点观察 main 函数中调用 A::show 之前的寄存器状态。

第3步：分析 this 指针的传递机制

目的：验证 this 指针是通过何种方式传入成员函数的。

入口：反汇编窗口。

动作：观察 main 函数中调用 a.show() 的汇编指令。可以发现，在调用成员函数之前，对象的地址被装载到了 ECX 寄存器中。在 x86 架构的 C++ 编译器中，thiscall calling convention 通常指定使用 ECX 寄存器传递 this 指针。

图 1 Main 函数汇编示意：对象地址存入 ECX

完成状态：确认 ECX 寄存器包含了 a 对象的起始地址，即 this 指针的值。

第4步：验证成员变量的访问路径

目的：证明成员函数内部确实是利用 this 指针来访问特定对象的成员变量。

入口：进入 A::show 函数的反汇编视图。

动作：在 show 函数内部，观察对成员变量 name 的读取指令。指令通常会以基址寄存器（这里是 ECX）加偏移量的形式访问内存，例如 mov eax, dword ptr [ecx]（假设 name 是第一个成员）。这说明函数代码本身是静态的，但它通过 this 指针（ECX）指向不同的内存区域，从而访问不同对象的 data。