在C++程序设计中，结构体是将不同类型的数据组合成一个整体的重要语法结构。当我们需要在函数之间传递大量数据，或者在堆区动态分配内存时，结构体与指针的结合使用变得不可避免。然而，指针的引入也带来了成员访问方式的改变，许多开发者由于对底层内存模型缺乏理解，常常在点操作符与箭头操作符之间犹豫不决，甚至引发严重的内存访问违规。
结构体内存布局与直接访问机制
要理解指针如何访问结构体成员，首先必须清楚结构体在内存中的存储方式。C++中的结构体本质上是一块连续的内存区域，其中的成员按照声明的顺序依次排列。然而，为了提高CPU的访问效率，编译器通常会进行内存对齐处理。这意味着在结构体成员之间可能会插入一些空白字节，使得每个成员的地址能够被其自身大小整除。了解内存对齐机制，有助于我们准确计算结构体的实际大小，并理解指针偏移的原理。
在直接访问结构体成员时，我们使用的是点操作符。当我们在栈上定义一个结构体变量时，编译器在编译期就能确定该变量的内存地址。点操作符的工作原理实际上是在编译期将成员名转换为相对于结构体首地址的偏移量。例如，如果某个成员的偏移量是8字节，那么编译器会自动将结构体变量的首地址加上8，得到该成员的绝对地址，从而实现访问。这种方式的效率极高，因为地址计算在编译阶段就已经完成。
#include <iostream>
#include <string>
struct Employee {
int id; // 占用4字节
// 编译器可能在此处插入4字节空白进行对齐
double salary; // 占用8字节
std::string name; // 占用32字节（视实现而定）
};
int main() {
Employee emp;
emp.id = 101;
emp.salary = 8500.50;
emp.name = "张三";
std::cout << "员工ID: " << emp.id << std::endl;
std::cout << "员工薪水: " << emp.salary << std::endl;
return 0;
}
在上面的代码示例中，emp是一个普通的栈区结构体变量，我们直接使用点操作符来对其成员进行赋值和读取。这种写法是最基础的结构体成员访问方式，适用于变量生命周期局限于当前函数作用域的情况。由于内存分配在栈上，由系统自动管理，我们不需要关心内存泄漏的问题，但同时也无法跨函数共享这块内存的数据。
指向结构体的指针与箭头操作符原理
当我们将结构体对象的地址赋给一个指针变量时，就得到了指向结构体的指针。此时，如果继续尝试使用点操作符访问成员，会导致编译错误。这是因为指针本身存储的只是一个内存地址值，而不是结构体对象。如果直接对指针使用点操作符，编译器会误以为你要访问指针变量本身的某个成员，而指针这个基础类型显然没有结构体成员。为了通过指针访问结构体内部的成员，我们需要先对指针进行解引用操作，获取到结构体对象本身，然后再使用点操作符。
虽然可以使用(*ptr).member的形式来访问成员，但由于点操作符的优先级高于解引用操作符*，必须加上括号，这导致代码书写繁琐且容易出错。为了解决这一问题，C++引入了箭头操作符。箭头操作符本质上是一个语法糖，它将解引用和成员访问两个步骤合二为一。当我们写出ptr->member时，编译器会自动将其理解为先对ptr进行解引用，再通过偏移量访问对应的成员。这种设计极大地提升了代码的可读性和编写效率。
#include <iostream>
struct Point {
int x;
int y;
};
void modifyPoint(Point* pPtr, int newX, int newY) {
if (pPtr != nullptr) {
// 使用箭头操作符访问成员
pPtr->x = newX;
pPtr->y = newY;
}
}
int main() {
// 在堆区动态分配结构体内存
Point* p = new Point;
p->x = 10;
p->y = 20;
std::cout << "初始坐标: (" << p->x << ", " << p->y << ")" << std::endl;
modifyPoint(p, 50, 60);
std::cout << "修改后坐标: (" << p->x << ", " << p->y << ")" << std::endl;
// 动态分配的内存必须手动释放
delete p;
p = nullptr;
return 0;
}
在上述示例中，我们在堆区使用new关键字动态分配了一个Point结构体，并将返回的地址赋给指针p。由于p是一个指针，我们必须使用箭头操作符来初始化和修改其成员。同时，这也是跨函数传递结构体指针的常见场景。在modifyPoint函数内部，我们同样通过箭头操作符修改了堆区结构体的值。需要注意的是，使用new分配的内存必须通过delete手动释放，否则会导致内存泄漏。在释放后，建议将指针置为空指针，防止出现野指针问题。
复杂场景：指向结构体指针的指针与多重解引用
在底层开发或复杂数据结构（如树、图）的实现中，我们经常会遇到指向结构体指针的指针，即二级指针。二级指针存储的是一级指针的地址。这种多重间接引用虽然强大，但也带来了成员访问的复杂性。如果我们要通过二级指针访问结构体成员，首先需要对二级指针进行一次解引用，得到一级指针，然后再使用箭头操作符访问成员。例如，对于二级指针pptr，访问成员的形式应写为(*pptr)->member。这种写法清晰地展示了从地址到指针，再到结构体成员的访问路径。
另一种常见的复杂场景是结构体内部包含指向自身类型的指针，这通常用于构建链表、树等动态数据结构。在这种情况下，我们通过结构体指针访问内部成员时，如果该成员本身也是一个指针，那么可以连续使用箭头操作符。例如，node->next->value表示先通过node指针找到下一个节点的指针next，然后再通过next指针访问下一个节点中的value成员。这种链式访问方式要求每一步的指针都不能为空，否则将引发空指针异常导致程序崩溃。
#include <iostream>
struct ListNode {
int value;
ListNode* next;
};
// 在链表尾部插入新节点
void appendNode(ListNode** headRef, int val) {
// 使用二级指针分配内存
ListNode* newNode = new ListNode;
newNode->value = val;
newNode->next = nullptr;
if (*headRef == nullptr) {
*headRef = newNode;
return;
}
ListNode* current = *headRef;
// 连续使用箭头操作符遍历链表
while (current->next != nullptr) {
current = current->next;
}
current->next = newNode;
}
int main() {
ListNode* head = nullptr;
// 传入head的地址，即二级指针
appendNode(&head, 1);
appendNode(&head, 2);
appendNode(&head, 3);
ListNode* curr = head;
while (curr != nullptr) {
std::cout << curr->value << " -> ";
ListNode* temp = curr;
curr = curr->next;
delete temp; // 释放当前节点内存
}
std::cout << "nullptr" << std::endl;
return 0;
}
上面的代码演示了链表操作中典型的指针使用方式。在appendNode函数中，为了能够修改主调函数中的头指针head，我们传递了它的地址，即二级指针headRef。在函数内部，通过*headRef解引用获取到头指针本身，再利用箭头操作符进行遍历和插入。在链表遍历输出环节，curr->next的连续使用是结构体指针操作的经典体现。每次循环结束后，我们不仅将当前指针向后移动，还及时释放了之前分配的节点内存，确保程序不会产生内存泄漏。掌握这些多重指针与连续箭头操作符的用法，是成为高级C++开发者的必经之路。