指针的加减运算要求两个指针指向同一类型的内存块，如同一数组或同一结构体。否则，操作是非法的，会导致编译错误。