这个题，可能是翻译的问题，“同一数组的元素”，为了便于理解，我把“一”字后面加上量词“个”
“同一 个 数组的元素”
可以理解成两种意思
第一种：“同一个”“数组的元素” 这种情况，只要指针指向数组之中，都合法
第二种：“同一个数组的”“元素” 这种情况，当p2小于p1时，在相减过程中，会指向数组外
，但，没有其它操作，也是合法的，然后又相加回来，
就又处于合法状态。
其实，在很多情况下，虽然指向的同一数组，这个表达式也是不合法的。比如void型的指针，
或是指向类私有成员指针。。很多情况。
不知道这个题问的是什么意思。
特别是在问题中它是这样强调：当p1和p2具有什么“值”的时候这个语句是非法的？
这句话，应该这样理解，当p1和p2在某些“值”的时候，是非法的，而在正常的情况下，它是合法的。
这就是问题另人迷惑的所在。因为我没有找到，当这两个指针指向“同一个数组”时，它非法的所在。
除非推翻它问题的描述。两个指针不是指“同一数组”。但，如果不是指向“同一数组”，这个问题
就失去了它提问的根本，变得没有意义。
最后说的话：
如果“无值型(void)”的“无值”，也算一种“值”的话，我想，这就是正确答案
晚上12点结帖，不想为这个无意义的题讨论下去了。
