指针相减必须指向同一数组（或其末尾），类型完全相同，结果为有符号ptrdiff_t；否则行为未定义。
两个指针相减必须指向同一数组（或其末尾）的元素，否则行为未定义——这是硬性前提，不是建议。
必须指向同一数组或数组末尾
编译器只保证当 p1 和 p2 都指向同一个数组（如 int arr[10]）的元素，或其中一个是数组最后一个元素之后的位置（即 &arr[10]）时，p1 - p2 才有明确定义的结果。超出这个范围，哪怕只是指向两个独立声明的 int 变量，结果就是未定义行为（UB），可能崩溃、返回垃圾值，或看似“正常”但不可移植。
- 合法示例：
int arr[5]; int* p1 = &arr[0]; int* p2 = &arr[3]; auto n = p2 - p1;→ 结果为3 - 非法示例：
int a, b; int* pa = &a; int* pb = &b; auto diff = pa - pb;→ 未定义，哪怕a和b在栈上偶然相邻 - 数组末尾是特例：
int* end = &arr[5]; int* begin = &arr[0]; end - begin合法，结果为5
类型必须相同且不能隐式转换
p1 - p2 要求两个指针类型完全一致，比如都是 int* 或都是 char*。C++ 不允许 int* 和 double* 直接相减；强制转换（如 (char*)p1 - (char*)p2）虽能编译，但得到的是字节差，不再是“元素个数”，且容易掩盖逻辑错误。
- 编译会拒绝：
int* p1; double* p2; auto x = p1 - p2;→ 类型不匹配错误 - 手动转成
char*可行但危险：(char*)p1 - (char*)p2返回ptrdiff_t，但语义已变，不再是“第几个元素” - 函数参数或模板中若泛化指针类型，需显式约束为同类型，例如用
static_assert(std::is_same_v<decltype decltype>)</decltype>
结果类型是 ptrdiff_t，不是 int 或 size_t
指针相减的返回类型由标准规定为 ptrdiff_t（定义在 <cstddef></cstddef>），它是有符号整数，能表示正负偏移，并适配不同平台指针宽度（32 位下通常是 int，64 位下常为 long）。用 int 接收可能截断；用 size_t 更危险——它无符号，负结果会绕回极大正数。
- 正确写法：
ptrdiff_t diff = p2 - p1; - 常见坑：
unsigned int n = p2 - p1;→ 若p2 ，结果被解释为极大正数 - 打印时用
%td格式符（C）或直接用std::cout（C++），避免%d或%lu误读
最容易被忽略的是“同一数组”这一前提的严格性：它不等价于“内存地址连续”，也不接受跨结构体成员、跨 std::vector::data() 与裸数组、甚至不同 new[] 分配的块之间的相减。只要不是同一个数组对象的起止范围内，就别碰 - 运算符。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
