C++如何计算两个指针之间的距离-C++-PHP中文网

指针相减必须同类型且指向同一数组，结果为元素个数而非字节；跨数组、不同类型的指针相减行为未定义；需字节差时应转为 uintptr_t 计算；std::distance 更安全但仅适用于随机访问迭代器。

c++如何计算两个指针之间的距离

指针相减必须是同类型且指向同一数组

直接用 ptr1 - ptr2 计算距离，前提是两个指针类型相同、指向同一块连续内存（比如同一个数组或 std::vector 的数据区），否则行为未定义——不是编译报错，而是运行时可能返回垃圾值甚至崩溃。

常见错误现象：char* 和 int* 互相相减、指向不同 malloc 块的指针相减、nullptr 参与运算，这些都不可靠。

合法场景： int arr[10]; int* a = &arr[2]; int* b = &arr[7]; auto dist = b - a; → 结果是 5（单位是元素个数，不是字节）
非法场景：int* p = new int; char* q = new char; auto bad = p - q; → 编译可能通过，但结果无意义
注意：即使类型相同，若不在同一对象内（比如两个独立 new int[5] 分配的数组），相减仍是未定义行为

计算字节距离要用 `reinterpret_cast` + `uintptr_t`

如果真需要字节差（比如调试、序列化、内存对齐检查），不能直接用 ptr1 - ptr2，因为那返回的是元素个数；必须转成整数地址再相减。

正确做法是统一转为 uintptr_t（定义在 <cstdint></cstdint>），它是能容纳指针的无符号整型：

C函数速查手册（CHM版）

下载

#include <cstdint>
int a = 1, b = 2;
uintptr_t addr_a = reinterpret_cast<uintptr_t>(&a);
uintptr_t addr_b = reinterpret_cast<uintptr_t>(&b);
ptrdiff_t byte_dist = static_cast<ptrdiff_t>(addr_b - addr_a); // 注意符号
</ptrdiff_t></uintptr_t></uintptr_t></cstdint>

⚠️ 仍然有前提：两个地址得可比较才有意义。栈上局部变量的地址顺序不保证，堆上不同 malloc 返回的地址也不保证大小关系。只对同一数组/结构体内成员有效。

`std::distance` 更安全但仅适用于随机访问迭代器

如果你操作的是容器迭代器（比如 std::vector::iterator），优先用 std::distance，它内部会调用指针相减（对随机访问迭代器），且做了类型检查和 SFINAE 保护。

适用：std::vector<int> v(100); auto d = std::distance(v.begin() + 10, v.begin() + 42);</int> → 返回 32
不适用：std::list<int>::iterator</int> 传给 std::distance 会退化为 O(n) 遍历，且不能用于裸指针
裸指针也能用：int arr[10]; auto d = std::distance(arr, arr + 7); —— 因为指针是随机访问迭代器

跨平台对齐和符号问题容易被忽略

ptr1 - ptr2 返回类型是 ptrdiff_t，它在 32 位系统上通常是 int，64 位上常是 long 或 long long。如果差值超出 ptrdiff_t 范围（比如大数组中相距超 2GB 的元素），结果会溢出，变成负数或截断。

另外，某些嵌入式平台或旧编译器对指针算术支持不完整，尤其涉及 const 限定符或 volatile 指针时，编译器可能拒绝相减。

检查方法：用 static_assert 确保类型足够宽：static_assert(sizeof(ptrdiff_t) >= sizeof(size_t), "ptrdiff_t too small");
实际项目中，若需处理超大内存块（如 GPU 显存映射），应避免依赖指针相减，改用显式偏移量管理
永远别假设 ptr1 > ptr2 就一定有正距离——先判断大小关系再做减法，或者用 std::abs 包一层（但注意 abs 对 INT_MIN 未定义）