C++空指针能算术运算吗？标准如何规定

空指针不能参与算术运算，因为C++标准规定只有指向数组元素或尾后位置的指针才能进行合法算术操作。1. 指针算术的基本前提是必须指向数组元素或尾后位置；2. 空指针对加减操作会产生未定义行为，可能导致程序崩溃或不可预测的结果；3. 合理使用指针算术应确保指针指向有效元素、不越界，并在使用前检查是否为空；4. 尾后指针只能用于比较和作为结束标志，不能解引用，且编译器可能优化掉涉及未定义行为的代码，需谨慎处理以避免风险。

在C++中，空指针不能参与算术运算。标准明确规定了指针算术运算的前提条件，只有指向数组元素的指针或指向数组尾后位置（one-past-the-end）的指针才能进行合法的算术操作。

1. 指针算术的基本前提

C++标准要求，只有当指针指向数组中的某个元素或者紧接在数组最后一个元素之后的位置时，才可以进行加减等算术操作。例如：

• 如果你有一个数组 int arr[10];，那么指向 arr[0] 到 arr[9] 的指针以及指向 arr[10]（即“尾后”）的指针是允许参与算术运算的。
• 空指针（如 nullptr）不指向任何对象，也不属于数组的一部分，因此对它进行加减、比较等操作都是未定义行为。

常见错误：

int* p = nullptr;
p++; // 未定义行为

2. 空指针做加减会怎样？

当你尝试对一个空指针做加法或减法时，编译器通常不会报错，但运行结果是未定义行为（undefined behavior）。这可能表现为程序崩溃、静默失败，或者看起来“正常”，但实际上行为不可预测。

举个例子：

int* p = nullptr;
p += 5; // 不合法，未定义行为

虽然从数值上看像是把地址加上了 5 * sizeof(int)，但由于空指针并没有实际指向内存中的有效对象，这种操作毫无意义，也无法保证安全。

3. 合理使用指针算术的建议

如果你确实需要进行指针算术操作，请确保以下几点：

• 指针必须指向一个数组的有效元素，或者在数组的“尾后”位置。
• 避免越过数组边界，否则同样是未定义行为。
• 使用前务必检查指针是否为空，尤其是在动态分配内存后。

示例代码（正确用法）：

int arr[5] = {1, 2, 3, 4, 5};
int* p = arr;

p += 2; // 正确，现在指向 arr[2]

4. 一些容易忽略的细节

• 即使是“尾后”指针（比如 arr + 5 对于 int arr[5]），也只能用于比较和作为迭代结束标志，不能解引用。
• 多数现代编译器在优化阶段可能会移除涉及未定义行为的代码，导致逻辑错误难以调试。
• 在使用 std::vector 或 std::array 时，尽量通过 .data() 获取原始指针，并确保其有效性后再进行算术。

基本上就这些。空指针参与算术看似简单，但很容易写出有风险的代码，平时写的时候多注意一下条件判断，可以避免不少问题。