user-0 提问: 数组指针之间的运算问题

回复:
user: user-1
content: 理解和讨论之前请先学会如何观察！  计算机组成原理→DOS命令→汇编语言→C语言（不包括C++）、代码书写规范→数据结构、编译原理、操作系统→计算机网络、数据库原理、正则表达式→其它语言（包括C++）、架构……  对学习编程者的忠告： 多用小脑和手，少用大脑、眼睛和嘴，会更快地学会编程！ 眼过千遍不如手过一遍！ 书看千行不如手敲一行！ 手敲千行不如单步一行！ 单步源代码千行不如单步Debug版对应汇编一行！ 单步Debug版对应汇编千行不如单步Release版对应汇编一行！ 不会单步Release版对应汇编？在你想单步Release版C/C++代码片断的前面临时加一句DebugBreak();重建所有，然后在IDE中运行。（一般人我不告诉他！）  VC调试时按Alt+8、Alt+7、Alt+6和Alt+5,打开汇编窗口、堆栈窗口、内存窗口和寄存器窗口看每句C对应的汇编、单步执行并观察相应堆栈、内存和寄存器变化，这样过一遍不就啥都明白了吗。 对VC来说，所谓‘调试时’就是编译连接通过以后，按F10或F11键单步执行一步以后的时候，或者在某行按F9设了断点后按F5执行停在该断点处的时候。 （Turbo C或Borland C用Turbo Debugger调试,Linux或Unix下用GDB调试时,看每句C对应的汇编并单步执行观察相应内存和寄存器变化。）  想要从本质上理解C指针，必须学习汇编以及C和汇编的对应关系。 从汇编的角度理解和学习C语言的指针，原本看似复杂的东西就会变得非常简单！ 指针即地址。“地址又是啥？”“只能从汇编语言和计算机组成原理的角度去解释了。” 但我又不得不承认：  有那么些人喜欢或者适合用“先具体再抽象”的方法学习和理解复杂事物；  而另一些人喜欢或者适合用“先抽象再具体”的方法学习和理解复杂事物。 而我本人属前者。  不要企图依赖输出指针相关表达式...的值【比如printf("%p\n",...);或者cout<<...】来理解指针的本质， 而要依赖调试时的反汇编窗口中的C/C++代码【比如void *p=(void *)(...);】及其对应汇编指令以及内存窗口中的内存地址和内存值来理解指针的本质。  这辈子不看内存地址和内存值；只画链表、指针示意图，画堆栈示意图，画各种示意图，甚至自己没画过而只看过书上的图……能从本质上理解指针、理解函数参数传递吗？本人深表怀疑！ 这辈子不种麦不收麦不将麦粒拿去磨面；只吃馒头、吃面条、吃面包、……甚至从没看过别人怎么蒸馒头，压面条，烤面包，……能从本质上理解面粉、理解面食吗？本人深表怀疑！！  提醒： “学习用汇编语言写程序” 和 “VC调试(TC或BC用TD调试)时按Alt+8、Alt+7、Alt+6和Alt+5,打开汇编窗口、堆栈窗口、内存窗口和寄存器窗口看每句C对应的汇编、单步执行并观察相应堆栈、内存和寄存器变化，这样过一遍不就啥都明白了吗。 （Linux或Unix下可以在用GDB调试时,看每句C对应的汇编并单步执行观察相应内存和寄存器变化。） 想要从本质上理解C指针，必须学习C和汇编的对应关系。” 不是一回事！  不要迷信书、考题、老师、回帖； 要迷信CPU、编译器、调试器、运行结果。 并请结合“盲人摸太阳”和“驾船出海时一定只带一个指南针。”加以理解。 任何理论、权威、传说、真理、标准、解释、想象、知识……都比不上摆在眼前的事实！  有人说一套做一套，你相信他说的还是相信他做的？ 其实严格来说这个世界上古往今来所有人都是说一套做一套，不是吗？  不要写连自己也预测不了结果的代码！  电脑内存或文件内容或传输内容只是一个一维二进制字节数组及其对应的二进制地址； 人脑才将电脑内存或文件内容或传输内容中的这个一维二进制字节数组及其对应的二进制地址的某些部分看成是整数、有符号数/无符号数、浮点数、复数、英文字母、阿拉伯数字、中文/韩文/法文……字符/字符串、汇编指令、函数、函数参数、堆、栈、数组、指针、数组指针、指针数组、数组的数组、指针的指针、二维数组、字符点阵、字符笔画的坐标、黑白二值图片、灰度图片、彩色图片、录音、视频、指纹信息、身份证信息……  十字链表交换任意两个节点C源代码（C指针应用终极挑战）http://download.csdn.net/detail/zhao4zhong1/5532495

user: user-2
content: *p-*q是可以计算的，因为他们都表示指针所指向的地址里的内容。望采纳！

user: user-0
content: 引用 7 楼 fefe82的回复:p-q 不可以。p q 类型不同直接是编译错误。类型相同的时候是一个未定义行为。 但是类型相同时，这东西编译期运行期都不好检查，一般编译器都不管。多数编译器都能有一个结果。 未定义行为，编译器没有义务进行任何编译期或运行期检查，但是程序可能得到任何结果。  =================================== *p - *q ： 首先澄清一个概念，指向数组的指针与指向数组元素的指针是完全不同的两个概念。  p q 如果是指向两个数组的指针，那么 *p 与 *q 就都是数组。他们在参与运算时，会转化为指向各自第一个元素的指针。如果数组类型不同，无法相减；类型相同，同上是未定义行为。  如果 p q 分别为指向两个数组元素的指针，那么 *p  *q 就分别是两个数组的某一个元素。能否相减要看数组是啥类型的。 都是整型数组时一般没有问题（注意有符号整型溢出同样是未定义行为） 都是指针数组时，一般要是同类型指针才能运算，只有两个指针指向同一个数组的元素时结果才是有定义的。 ....... 怎么区分指向数组的指针和指向数组元素的指针呢！

user: user-3
content: p-q 不可以。p q 类型不同直接是编译错误。类型相同的时候是一个未定义行为。 但是类型相同时，这东西编译期运行期都不好检查，一般编译器都不管。多数编译器都能有一个结果。 未定义行为，编译器没有义务进行任何编译期或运行期检查，但是程序可能得到任何结果。  =================================== *p - *q ： 首先澄清一个概念，指向数组的指针与指向数组元素的指针是完全不同的两个概念。  p q 如果是指向两个数组的指针，那么 *p 与 *q 就都是数组。他们在参与运算时，会转化为指向各自第一个元素的指针。如果数组类型不同，无法相减；类型相同，同上是未定义行为。  如果 p q 分别为指向两个数组元素的指针，那么 *p  *q 就分别是两个数组的某一个元素。能否相减要看数组是啥类型的。 都是整型数组时一般没有问题（注意有符号整型溢出同样是未定义行为） 都是指针数组时，一般要是同类型指针才能运算，只有两个指针指向同一个数组的元素时结果才是有定义的。 .......

user: user-4
content: 例如： int a[10]={0};  int *p =a; a表示该数组的首个元素的地址；&a表示该数组的地址。 数组a的元素个数=sizeof（a）/sizeof(a[0])。 sizeof（a）计算数组a占的字节数，sizeof(a[0])计算每个元素占的字节数。

user: user-5
content: 如果你一个数组类型定义为char一个数组定义为int就不能计算，必须类型一致

user: user-0
content: 引用 3 楼 paschen的回复:1、可以进行p-q的运算，两个指针相减返回的是指向类型元素的个数  2、*p - *q能不能运算取决于*p与*q这种类型能不能进行相减运算 能具体解释下第一个吗？

user: user-6
content: 1、可以进行p-q的运算，两个指针相减返回的是指向类型元素的个数  2、*p - *q能不能运算取决于*p与*q这种类型能不能进行相减运算

user: user-0
content: p-q我在书上看到的是只能在同一数组中才合法啊！！！

user: user-7
content: 假设有2个数组a[]和b[]， 并且指针p=a;q=b; 那么p是数组a的起始地址，相当于p=&a[0]，q是数组b的起始地址，相当于q=&b[0] *p-*q是可以计算的，相当于a[0]-b[0] PS：理论上p-q也是可以算的，结果是它们地址的差