指针相减仅在指向同一连续内存(如同一数组)时合法,结果为元素个数而非字节数;跨数组、不同分配块或非随机访问迭代器(如list)下行为未定义;需字节差时应转char*再减,推荐用std::distance提升安全性和通用性。

指针相减必须是同一数组内的元素地址
直接用 ptr1 - ptr2 得到的是两个指针之间的元素个数,但前提是它们指向同一块连续内存(比如同一个数组或 vector 的 data()),否则行为未定义——不是编译错误,而是运行时可能崩溃或返回垃圾值。
- 合法场景:
int arr[10]; int* a = &arr[2]; int* b = &arr[7]; auto dist = b - a;→ 结果是5 - 非法场景:
int* x = new int; int* y = new int;,y - x无意义,别这么做 - 注意:指针类型决定步长,
char*相减按字节算,int*按sizeof(int)字节算,结果仍是元素个数,不是字节数
std::distance 更安全,但要求是随机访问迭代器
如果你操作的是容器迭代器(比如 std::vector::iterator 或原生指针),std::distance 是更通用、语义更清晰的选择,底层其实也做指针相减,但它会做类型检查(编译期)并支持其他迭代器类别(虽然对非随机访问的会退化为线性遍历)。
-
std::vector<int> v = {1,2,3,4,5}; auto d = std::distance(v.begin() + 1, v.begin() + 4);</int>→3 - 对原生指针同样有效:
int arr[5]; auto d = std::distance(arr, arr + 3);→3 - 但对
std::list::iterator用std::distance会慢(O(n)),而指针相减根本不适用——因为 list 迭代器不是指针,也不支持-运算符
计算字节距离?小心类型转换陷阱
如果真需要字节数(比如做内存拷贝偏移),得先转成 char* 再相减,否则直接用 int* 相减得到的是元素个数,不是字节差。
组合式C++代码评审方案,融合静态分析、AI推理、多轮迭代评审和C++专项检查,适用于PR审查、增量代码审查、全项目评审和代码质量评分,触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 正确:
int* p1 = &arr[0]; int* p2 = &arr[3]; size_t bytes = reinterpret_cast<char>(p2) - reinterpret_cast<char>(p1);</char></char>→ 得到3 * sizeof(int) - 错误:
size_t bytes = p2 - p1;→ 得到3,不是字节数 - 别用
uintptr_t强转再减——虽然常见,但标准不保证指针到整数转换后能无损还原或正确比较,reinterpret_cast<char></char>才是标准推荐方式
跨数组或不同分配块的“距离”没有定义
有人想算两个 new 出来的指针差,或者栈变量地址差,这在 C++ 标准里属于未定义行为。编译器可能优化掉相关代码,或者在不同平台返回完全不同的值。
- 哪怕两个指针数值上相差 100,
p2 - p1也不能当作有效距离使用 - 调试时打印地址看差值可以,但别拿这个结果参与逻辑计算或传给
memcpy等函数 - 唯一例外是同一
malloc块内(包括new char[N]),此时可视为“伪数组”,用char*相减才安全
实际写代码时,绝大多数情况只需要元素个数,直接相减最简洁;但只要涉及内存布局、跨容器、或不确定是否同源,就得停下来确认地址关系——没搞清来源的指针,别相减。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!










