基类型相同的两指针间不能进行加法运算

Question

在C/C++编程中，为什么基类型相同的两指针间不能直接进行加法运算？例如，对于`int *p1`和`int *p2`，即使它们指向相同类型的对象，表达式`p1 + p2`也是非法的。这是因为指针加法的语义不明确：指针本身是一个地址值，直接相加可能导致无意义的结果，且不符合语言标准对指针运算的定义。此外，这种操作可能引发未定义行为，破坏程序稳定性。那么，如何正确处理需要基于指针数值计算的场景，同时避免违反语言规范？

Answer 1

1. 指针加法的基本概念与限制

在C/C++中，指针是一种特殊的变量类型，它存储的是内存地址。对于基类型相同的两个指针`int *p1`和`int *p2`，直接进行加法运算（如`p1 + p2`）是非法的。原因在于，指针加法的语义被严格定义为：将一个指针加上一个整数值，表示在内存中向前或向后移动若干个元素。例如：

        int arr[5];
        int *p = arr;
        int *q = p + 3; // q指向arr[3]
    

这种操作符合语言标准，并且具有明确的意义。然而，如果尝试将两个指针相加，则会破坏这种清晰的语义。

1.1 指针加法的语义不明确

假设`p1`和`p2`分别指向数组中的不同元素，表达式`p1 + p2`的结果没有实际意义。指针本身是一个地址值，直接相加可能导致无意义的结果。此外，这种操作不符合C/C++标准对指针运算的定义，可能引发未定义行为。

场景	合法操作	非法操作
单指针与整数相加	`p1 + 3`	`p1 + p2`
两指针相减	`p2 - p1`	`p1 + p2`

2. 深入分析：为什么不能直接相加？

2.1 指针的本质与地址计算

指针本质上是一个内存地址。假设`p1`和`p2`分别指向两个不同的`int`对象，它们的地址分别是`0x1000`和`0x1004`（假设`int`大小为4字节）。如果直接执行`p1 + p2`，结果将是`0x2004`，这并不是一个有效的地址，也没有任何实际意义。

2.2 标准规定的限制

C/C++标准明确规定，指针只能与整数相加或相减，或者两个指针可以相减（前提是它们指向同一数组中的元素）。超出这些范围的操作会导致未定义行为。例如：

        int arr[5];
        int *p1 = arr;
        int *p2 = arr + 3;
        int diff = p2 - p1; // 合法，结果为3
    

3. 正确处理指针数值计算的场景

如果需要基于指针数值进行计算，同时避免违反语言规范，可以通过以下方法：

3.1 使用`uintptr_t`转换

`uintptr_t`是一个无符号整数类型，能够容纳指针的值。通过将指针转换为`uintptr_t`，可以安全地进行数值计算。例如：

        #include 
        int arr[5];
        int *p1 = arr;
        int *p2 = arr + 3;

        uintptr_t addr1 = reinterpret_cast(p1);
        uintptr_t addr2 = reinterpret_cast(p2);

        uintptr_t sum = addr1 + addr2; // 安全地计算地址值之和
    

3.2 使用指针算术的替代方案

在某些情况下，可以通过调整算法逻辑来避免直接操作指针。例如，使用数组索引来代替指针操作。这种方式不仅更安全，而且更容易理解。

4. 流程图：正确处理指针数值计算的步骤

下面是处理指针数值计算的流程图：

        graph TD;
            A[开始] --> B{是否需要指针数值计算};
            B --是--> C[使用`uintptr_t`转换];
            B --否--> D[使用指针算术或索引];
            C --> E[执行数值计算];
            D --> F[结束];
            E --> F;