C++类与对象基础：访问限定符与this指针详解

从过程到对象：类的基本概念

C语言设计哲学偏向面向过程，强调分析求解问题的步骤，通过函数调用的顺序逐步解决。相比之下，C++侧重于面向对象（OOP），它将复杂问题拆解为多个独立的“对象”，并通过对象之间的交互来完成任务。

以点餐平台为例：

• C语言视角：商家上架商品 → 客户下单 → 通知后厨制作 → 通知骑手配送 → 客户点评。这是一个线性的过程流。
• C++视角：系统中存在独立的“商家”、“客户”、“骑手”等实体（对象），它们各自拥有状态和行为，相互协作完成交易。

这种思维转变引出了“类”的概念。在C语言中，我们使用struct来聚合数据：

struct Student
{
  char name[20];
  int age;
  char gender[20];
};

在C++中，虽然保留了struct的兼容性，但通常习惯使用class。C++的类不仅包含变量，还可以定义函数，实现了数据与行为的封装。

class Person
{
public:
	void showInfo()
	{
		cout << name << sex << age << endl;
	}
private:
	char name;
	char sex;
	int age;
};

为了实现封装，必须引入访问控制机制，即访问限定符。

访问限定符的控制规则

C++提供了三种访问权限修饰符，用于控制类内成员的可见性：

第1步：理解公开、保护与私有权限

1. public（公有）：
被public修饰的成员可以在类的内部和外部被直接访问。这是接口暴露给用户的通道。

2. protected（保护）与 private（私有）：
这两者在类的外部都不能被直接访问。protected主要用于继承场景下的类间共享，private则严格限制仅对本类成员函数可见，是封装的核心保障。

3. 作用域范围：
访问权限的作用域从该修饰符出现的位置开始，直到下一个访问限定符出现为止。如果最后一个修饰符是private，则其作用域一直延续到类定义的结束符号}处。

4. class与struct的默认权限差异：
由于历史兼容性原因，class中未指定权限的成员默认为private；而struct中未指定权限的成员默认为public。这一点在混合开发或迁移代码时需特别注意。

this指针的隐蔽工作

理解类与对象的关键难点之一，是弄清楚编译器如何知道一个成员函数是属于哪个对象的。让我们通过一个具体示例来分析。

第2步：观察对象方法的调用冲突

假设有一个日期类Date，创建了两个对象d1和d2，并分别设置和显示时间：

class Date
{
public:
	void Display()
	{
		cout << _year << "-" << _month << "-" << _day << endl;
	}
	void SetDate(int year, int month, int day)
	{
		_year = year;
		_month = month;
		_day = day;
	}
private:
	int _year; // 年
	int _month; // 月
	int _day; // 日
};
int main()
{
	Date d1, d2;
	d1.SetDate(2018, 5, 1);
	d2.SetDate(2018, 7, 1);
	d1.Display();
	d2.Display();
	return 0;
}

疑问：当调用 d1.SetDate(...) 时，编译器如何识别这是针对 d1 的 _year 赋值，而不是 d2 的？反之亦然？

C++引入了 **this指针** 来解决这个问题。每个非静态成员函数都隐含着一个指向当前调用对象的指针参数。

第3步：剖析this指针的运行时机制

实际上，上述代码在编译器的眼中会被转换为类似以下的形式：

// 用户看到的代码
void Display()
{
    cout << _year << "-" << _month << "-" << _day << endl;
}

// 编译器实际处理的逻辑
void Display(Date* this)
{
    cout << this->_year << "-" << this->_month << "-" << this->_day << endl;
}

当 d1.Display() 被调用时，编译器自动将 &d1 传递给隐藏的 this 指针。因此，所有对 _year 等操作都变成了 this->_year，从而精确地指向 d1 的内存空间。

this指针的核心特性总结

1. 类型：它是当前类类型的指针，类型为 ClassName* const。这意味着this指针本身可以被修改（指向其他对象），但它所指向的内容（对象的成员）不能被修改（除非成员本身也是const或mutable且符合规则，但在标准解释中通常强调其常量指针性质，不可重定向指代另一个同类型实例，此处更严谨的说法是它是一个右值，不能取地址重新绑定，但在简单理解中常视为 const 指针）。*注：大多数现代编译器实现中，this指针被视为指向对象本身的指针，通常在函数内部不可修改其指向地址（类似于 const pointer）。*
2. 作用域：只能在类的非静态成员函数内部使用。静态成员函数没有this指针，因为它们不属于特定对象。
3. 存储方式：this指针本质上是一个形参，并不存储在对象实例的内存空间中。对象的大小只包含其非静态数据成员的大小。
4. 传递机制：这是由编译器自动完成的隐藏操作，用户无需也不应手动传递。在x86架构中，通常通过ecx寄存器传递this指针以提高效率。

通过理解this指针，我们就明白了为什么不同的对象调用同一个成员函数时，能够互不干扰地操作各自的数据。这就是C++类与对象机制能够高效工作的基石。

以上就是C++类与对象基础中关于访问限定符和this指针的详细原理，更多关于C++面向对象编程的资料请关注本站其它相关文章！