MK
摩柯社区 - 一个极简的技术知识社区
AI 面试

C++ 指针深入解析与实践指南

2021-09-245.2k 阅读

一、指针基础概念

(一)什么是指针

在 C++ 中,指针是一种特殊的变量类型,它存储的是内存地址。内存就像是一个巨大的仓库,每个存储单元都有一个唯一的编号,这个编号就是内存地址。指针变量就像是一把钥匙,它指向内存中的某个特定位置,通过这把“钥匙”,我们可以访问和修改该位置存储的数据。

例如,我们定义一个普通变量 int num = 10;,系统会为 num 分配一块内存空间来存储整数 10。如果我们要获取 num 的内存地址,可以使用取地址运算符 &,如下:

int num = 10;
int* ptr = # // ptr 是一个指向 int 类型的指针,它存储了 num 的内存地址

在上述代码中,ptr 就是一个指针变量,它的类型是 int*,表示它指向一个 int 类型的数据。&num 表示获取变量 num 的内存地址,并将其赋值给指针 ptr

(二)指针的声明与初始化

  1. 声明指针 指针的声明语法为:type* pointer_name;,其中 type 是指针所指向的数据类型,pointer_name 是指针变量的名称。例如:
int* intPtr;
double* doublePtr;
char* charPtr;

这里分别声明了指向 intdoublechar 类型的指针。

  1. 初始化指针 指针在使用前应该初始化,否则它会包含一个随机的内存地址,这可能导致程序崩溃。初始化指针有两种常见方式:
    • 指向已存在变量:就像前面例子中,将指针指向一个已定义的变量。
    • 使用 new 运算符new 运算符用于在堆上分配内存,并返回分配内存的起始地址,我们可以用这个地址初始化指针。例如:
int* dynamicIntPtr = new int;
*dynamicIntPtr = 20; // 通过指针给分配的内存赋值

这里,new int 在堆上分配了一块用于存储 int 类型数据的内存,并返回其地址给 dynamicIntPtr。然后通过解引用指针(*dynamicIntPtr)给这块内存赋值为 20

(三)指针与内存

  1. 栈内存与堆内存 在 C++ 程序中,内存分为栈内存和堆内存。
    • 栈内存:局部变量(包括函数参数)存储在栈内存中。栈内存的分配和释放由系统自动管理,当函数结束时,栈上的变量会自动销毁。例如:
void function() {
    int localVar = 5; // localVar 存储在栈上
} // 函数结束,localVar 所占栈内存被自动释放
- **堆内存**:通过 `new` 运算符分配的内存位于堆上。堆内存的分配和释放需要程序员手动管理。如果分配了堆内存但没有释放,就会导致内存泄漏。例如:
int* heapVar = new int;
// 这里如果忘记 delete heapVar; 就会造成内存泄漏
  1. 指针与内存布局 指针本身存储在栈上,除非它是全局指针(存储在静态存储区)。当指针指向堆上的内存时,通过指针可以操作堆内存中的数据。例如:
int main() {
    int* heapPtr = new int(10); // heapPtr 在栈上,它指向堆上存储 10 的内存
    // 操作堆内存
    std::cout << "Value at heap: " << *heapPtr << std::endl;
    delete heapPtr;
    return 0;
}

二、指针运算

(一)指针的算术运算

  1. 指针与整数的加法 指针可以与整数进行加法运算,其结果是一个新的指针。当指针加上一个整数 n 时,它会根据指针所指向的数据类型,移动 n 个该数据类型大小的字节数。例如:
int arr[5] = {1, 2, 3, 4, 5};
int* ptr = arr; // 数组名本身就是指向数组首元素的指针
ptr = ptr + 2; // ptr 现在指向 arr[2]
std::cout << "Value at ptr: " << *ptr << std::endl;

在上述代码中,int 类型通常占 4 个字节,ptr + 2 会使 ptr 移动 2 * 4 = 8 个字节,从而指向 arr[2]

  1. 指针与整数的减法 指针与整数的减法运算和加法类似,是指针向相反方向移动。例如:
int arr[5] = {1, 2, 3, 4, 5};
int* ptr = &arr[4]; // 指向数组最后一个元素
ptr = ptr - 2; // ptr 现在指向 arr[2]
std::cout << "Value at ptr: " << *ptr << std::endl;
  1. 指针之间的减法 两个指向同一数组的指针可以相减,结果是它们之间元素的个数。例如:
int arr[5] = {1, 2, 3, 4, 5};
int* ptr1 = &arr[0];
int* ptr2 = &arr[3];
int diff = ptr2 - ptr1;
std::cout << "Number of elements between ptr1 and ptr2: " << diff << std::endl;

这里 ptr2 - ptr1 的结果为 3,表示 ptr2ptr1 之间相隔 3 个元素。

(二)指针的关系运算

指针可以进行关系运算(如 <, >, <=, >=, ==, !=),前提是它们指向相同类型的数据且位于同一块连续内存区域(通常是数组)。关系运算比较的是指针所存储的内存地址。例如:

int arr[5] = {1, 2, 3, 4, 5};
int* ptr1 = &arr[0];
int* ptr2 = &arr[2];
if (ptr1 < ptr2) {
    std::cout << "ptr1 is before ptr2 in memory" << std::endl;
}

在上述代码中,因为 arr[0] 的内存地址小于 arr[2] 的内存地址,所以 ptr1 < ptr2 条件成立。

三、指针与数组

(一)数组名作为指针

在 C++ 中,数组名可以看作是一个指向数组首元素的常量指针。例如:

int arr[5] = {1, 2, 3, 4, 5};
int* ptr = arr; // 等价于 int* ptr = &arr[0];
std::cout << "Value at first element: " << *ptr << std::endl;

这里,arr 代表数组首元素的地址,它和 &arr[0] 是等价的。并且由于 arr 是常量指针,所以不能对其进行赋值操作,如 arr = ptr; 是非法的。

(二)指针与数组访问

  1. 通过指针访问数组元素 我们可以通过指针的算术运算来访问数组的不同元素。例如:
int arr[5] = {1, 2, 3, 4, 5};
int* ptr = arr;
for (int i = 0; i < 5; ++i) {
    std::cout << "Element " << i << ": " << *(ptr + i) << std::endl;
}

在上述代码中,*(ptr + i) 等价于 arr[i],通过指针 ptr 的移动来访问数组的各个元素。

  1. 动态数组与指针 我们可以使用指针和 new 运算符来创建动态数组。例如:
int size = 5;
int* dynamicArr = new int[size];
for (int i = 0; i < size; ++i) {
    dynamicArr[i] = i + 1;
}
for (int i = 0; i < size; ++i) {
    std::cout << "Element " << i << ": " << dynamicArr[i] << std::endl;
}
delete[] dynamicArr; // 释放动态分配的数组内存

这里,new int[size] 在堆上分配了一个包含 sizeint 类型元素的数组,并返回指向该数组首元素的指针 dynamicArr。使用完后,通过 delete[] 来释放内存。

四、指针与函数

(一)函数参数中的指针

  1. 传递指针作为参数 当我们将指针作为函数参数传递时,实际上传递的是指针所指向的内存地址。这意味着在函数内部对指针所指向的数据的修改会影响到函数外部的变量。例如:
void changeValue(int* numPtr) {
    *numPtr = 100;
}

int main() {
    int num = 50;
    changeValue(&num);
    std::cout << "Value of num after function call: " << num << std::endl;
    return 0;
}

在上述代码中,changeValue 函数接受一个 int* 类型的指针参数 numPtr,通过解引用 numPtr 来修改外部变量 num 的值。

  1. 指针数组作为函数参数 我们也可以将指针数组作为函数参数传递。例如,假设有一个字符串数组,我们可以将其作为指针数组传递给函数:
void printStrings(char* strings[], int size) {
    for (int i = 0; i < size; ++i) {
        std::cout << "String " << i << ": " << strings[i] << std::endl;
    }
}

int main() {
    char* strs[3] = {"Hello", "World", "C++"};
    printStrings(strs, 3);
    return 0;
}

这里,printStrings 函数接受一个 char* 类型的指针数组和数组的大小,通过遍历指针数组来打印每个字符串。

(二)函数返回指针

  1. 返回局部变量的指针 一般不建议返回指向局部变量的指针,因为局部变量在函数结束时会被销毁,返回的指针将指向一块无效的内存。例如:
int* badFunction() {
    int localVar = 10;
    return &localVar; // 错误,localVar 是局部变量,函数结束后会被销毁
}
  1. 返回动态分配内存的指针 可以返回指向动态分配内存的指针,但需要注意在调用者中释放该内存,以避免内存泄漏。例如:
int* createDynamicArray(int size) {
    int* arr = new int[size];
    for (int i = 0; i < size; ++i) {
        arr[i] = i + 1;
    }
    return arr;
}

int main() {
    int* dynamicArr = createDynamicArray(5);
    // 使用 dynamicArr
    delete[] dynamicArr;
    return 0;
}

在上述代码中,createDynamicArray 函数在堆上创建一个动态数组并返回指向它的指针。调用者在使用完后需要通过 delete[] 释放内存。

五、多级指针

(一)二级指针(指针的指针)

  1. 二级指针的声明与初始化 二级指针是指向指针的指针。其声明语法为:type** pointer_name;。例如:
int num = 10;
int* ptr = &num;
int** doublePtr = &ptr;

这里,doublePtr 是一个二级指针,它指向指针 ptr,而 ptr 又指向变量 num

  1. 使用二级指针 通过二级指针访问最终数据需要两次解引用。例如:
int num = 10;
int* ptr = &num;
int** doublePtr = &ptr;
std::cout << "Value through double pointer: " << **doublePtr << std::endl;

这里,**doublePtr 首先解引用 doublePtr 得到 ptr,然后再解引用 ptr 得到 num 的值。

(二)多级指针的应用场景

  1. 动态二维数组 在 C++ 中,可以使用二级指针来创建动态二维数组。例如:
int rows = 3;
int cols = 4;
int** dynamic2DArray = new int* [rows];
for (int i = 0; i < rows; ++i) {
    dynamic2DArray[i] = new int[cols];
    for (int j = 0; j < cols; ++j) {
        dynamic2DArray[i][j] = i * cols + j;
    }
}
// 使用动态二维数组
for (int i = 0; i < rows; ++i) {
    for (int j = 0; j < cols; ++j) {
        std::cout << dynamic2DArray[i][j] << " ";
    }
    std::cout << std::endl;
}
// 释放内存
for (int i = 0; i < rows; ++i) {
    delete[] dynamic2DArray[i];
}
delete[] dynamic2DArray;

在上述代码中,首先分配一个指针数组 dynamic2DArray,然后为每个指针分配一个一维数组,从而形成一个二维数组。使用完后,需要按顺序释放内存。

  1. 链表的链表 在实现复杂数据结构如链表的链表时,可能会用到多级指针。例如,每个链表节点可以包含一个指针,指向另一个链表,这时就可能需要二级指针来管理这些指针。

六、指针与面向对象编程

(一)类中的指针成员

  1. 指针成员变量 类可以包含指针类型的成员变量。例如,一个表示字符串的类可以使用 char* 指针来存储字符串:
class MyString {
private:
    char* str;
public:
    MyString(const char* s) {
        int len = strlen(s);
        str = new char[len + 1];
        strcpy(str, s);
    }
    ~MyString() {
        delete[] str;
    }
    void print() {
        std::cout << str << std::endl;
    }
};

在上述代码中,MyString 类有一个 char* 类型的成员变量 str,用于存储字符串。构造函数为 str 分配内存并复制字符串,析构函数释放内存。

  1. 指针成员函数 类也可以有指针类型的成员函数。例如,一个类可能有一个函数指针成员,用于存储不同的行为:
class MathOperations {
public:
    int add(int a, int b) { return a + b; }
    int subtract(int a, int b) { return a - b; }
    using MathFunc = int(*)(int, int);
    MathFunc funcPtr;
    MathOperations(MathFunc f) : funcPtr(f) {}
    int perform(int a, int b) {
        return funcPtr(a, b);
    }
};

在上述代码中,MathOperations 类有一个函数指针成员 funcPtr,通过构造函数初始化,perform 函数通过 funcPtr 调用相应的数学运算函数。

(二)指向对象的指针

  1. 创建指向对象的指针 我们可以创建指向对象的指针,并通过指针访问对象的成员。例如:
class Rectangle {
private:
    int width;
    int height;
public:
    Rectangle(int w, int h) : width(w), height(h) {}
    int area() {
        return width * height;
    }
};

int main() {
    Rectangle* rectPtr = new Rectangle(5, 10);
    std::cout << "Area of rectangle: " << rectPtr->area() << std::endl;
    delete rectPtr;
    return 0;
}

在上述代码中,rectPtr 是一个指向 Rectangle 对象的指针,通过 -> 运算符访问对象的 area 函数。

  1. 对象数组与指针 可以创建对象数组,并使用指针来操作它们。例如:
class Circle {
private:
    int radius;
public:
    Circle(int r) : radius(r) {}
    int getRadius() {
        return radius;
    }
};

int main() {
    Circle* circles = new Circle[3] {Circle(1), Circle(2), Circle(3)};
    for (int i = 0; i < 3; ++i) {
        std::cout << "Radius of circle " << i << ": " << circles[i].getRadius() << std::endl;
    }
    delete[] circles;
    return 0;
}

这里创建了一个 Circle 对象数组,并通过指针 circles 访问数组中的每个对象。

七、指针的安全性与常见问题

(一)空指针

  1. 空指针的定义与检查 空指针是不指向任何有效内存地址的指针。在 C++ 中,可以使用 nullptr 来表示空指针(在 C++11 之前使用 NULL)。例如:
int* nullPtr = nullptr;
if (nullPtr == nullptr) {
    std::cout << "This is a null pointer" << std::endl;
}

在使用指针之前,应该检查它是否为空指针,以避免程序崩溃。例如:

int* ptr = nullptr;
if (ptr != nullptr) {
    *ptr = 10; // 如果不检查,这里会导致程序崩溃
}

(二)野指针

  1. 野指针的产生 野指针是指向一块已经释放或者未分配的内存的指针。常见的产生原因有:
    • 指针变量未初始化:例如 int* wildPtr; *wildPtr = 10;,这里 wildPtr 未初始化就被使用,它包含一个随机值,可能指向无效内存。
    • 指针所指向的内存被释放后继续使用:例如:
int* ptr = new int(10);
delete ptr;
// 这里 ptr 成为野指针,如果继续使用 *ptr 会导致未定义行为
  1. 避免野指针 为了避免野指针,可以在释放内存后将指针赋值为 nullptr。例如:
int* ptr = new int(10);
delete ptr;
ptr = nullptr;

这样,即使不小心再次使用 ptr,也会因为 ptrnullptr 而避免错误。

(三)内存泄漏

  1. 内存泄漏的原因 内存泄漏发生在动态分配的内存没有被释放。例如,在下面的代码中:
void memoryLeakFunction() {
    int* ptr = new int(10);
    // 这里忘记 delete ptr; 导致内存泄漏
}

每次调用 memoryLeakFunction 都会导致一块内存无法被回收。

  1. 避免内存泄漏 为了避免内存泄漏,在使用完动态分配的内存后,一定要及时释放。例如:
void noMemoryLeakFunction() {
    int* ptr = new int(10);
    // 使用 ptr
    delete ptr;
}

另外,C++11 引入的智能指针(std::unique_ptr, std::shared_ptr, std::weak_ptr)可以自动管理内存释放,大大减少了内存泄漏的风险。例如:

#include <memory>

void smartPtrFunction() {
    std::unique_ptr<int> ptr(new int(10));
    // 当 ptr 离开作用域时,内存会自动释放
}

(四)指针类型转换

  1. 隐式指针类型转换 在 C++ 中,存在一些隐式指针类型转换。例如,从派生类指针到基类指针的转换是隐式的。例如:
class Base {};
class Derived : public Base {};

int main() {
    Derived* derivedPtr = new Derived;
    Base* basePtr = derivedPtr; // 隐式转换
    delete derivedPtr;
    return 0;
}

这里,derivedPtr 可以隐式转换为 basePtr,因为 Derived 是从 Base 派生的。

  1. 显式指针类型转换 有时候需要进行显式指针类型转换,C++ 提供了几种类型转换运算符,如 static_castreinterpret_castdynamic_cast
    • static_cast:用于进行较为“安全”的类型转换,例如基本数据类型之间的转换以及具有继承关系的指针之间的转换。例如:
class Base {};
class Derived : public Base {};

int main() {
    Base* basePtr = new Base;
    Derived* derivedPtr = static_cast<Derived*>(basePtr); // 这种转换在运行时可能不安全
    delete basePtr;
    return 0;
}

这里将 Base* 转换为 Derived*,但如果 basePtr 实际上指向的不是 Derived 对象,会导致未定义行为。 - reinterpret_cast:用于进行危险的、与实现相关的类型转换,例如将 int* 转换为 char*。例如:

int num = 10;
int* intPtr = &num;
char* charPtr = reinterpret_cast<char*>(intPtr);

这种转换可能会导致不可预测的结果,应该谨慎使用。 - dynamic_cast:主要用于在运行时进行安全的向下转型(从基类指针转换为派生类指针)。例如:

class Base {};
class Derived : public Base {};

int main() {
    Base* basePtr = new Derived;
    Derived* derivedPtr = dynamic_cast<Derived*>(basePtr);
    if (derivedPtr != nullptr) {
        std::cout << "Successful dynamic cast" << std::endl;
    } else {
        std::cout << "Unsuccessful dynamic cast" << std::endl;
    }
    delete basePtr;
    return 0;
}

这里如果 basePtr 实际上指向一个 Derived 对象,dynamic_cast 会返回有效的 Derived* 指针,否则返回 nullptr

通过深入理解和实践指针的各种特性和用法,我们可以更好地掌握 C++ 语言,编写出高效、健壮的程序。同时,要时刻注意指针使用过程中的安全性问题,避免空指针、野指针、内存泄漏等常见错误。