我被要求在大学作业中描述这些代码的功能
int main() {
int t1[] = {0,0,1,1,1}, t2[] = {0,0,1,1,1};
int *p1 = t1, *p2 = t2;
while (!*p1++ || !*p2++);
cout << (p1-t1) << endl;
cout << (p2-t2) << endl;
}
我的理解是，创建了两个 int 类型的数组并填充了值，创建了两个指针并指向每个数组，然后我开始遇到问题。
while (!*p1++ || !*p2++);
在我看来，这句话的意思是当0移动*p1的位置一个单位或者当0移动*p2的位置一个单位时，我对这个假设并不太自信？
cout << (p1-t1) << endl;
然后我们转到 cout，我的理解是，我从t1的位置中减去p1的位置，其中p1由while定位，而t1指向数组中的第一个位置。
如果我的假设错误，请谅解，因为我只是在学习指针。
while循环实际上非常可怕。我从未在现实生活中见过这样的代码，并且会认为任何在现实生活中这样做的程序员都是疯子。我们需要逐步进行：
while (condition);
这里有一个带有空语句的while语句（仅一个";"的空语句）。条件被评估，如果为真，则执行该语句（因为空语句而不执行任何操作），然后我们重新开始。换句话说，条件将重复评估直到为假。
condition1 || condition2
这是一个“或”语句。首先评估第一个条件。如果它为真，则第二个条件不被评估，结果为“真”。如果它为假，则评估第二个条件，并相应地得到“真”或“假”的结果。
while (condition1 || condition2);
这段代码首先会评估第一个条件，如果它为真，则我们重新开始循环。如果为假，则我们评估第二个条件。如果第二个条件为真，则我们重新开始循环。如果两个条件都为假，则我们退出循环。请注意，只有在第一个条件为假时才会评估第二个条件。现在让我们看一下这些条件：
!*p1++
!*p2++
这与*(p1++) == 0和*(p2++) == 0相同。每个条件在评估后都会增加p1或p2，无论结果如何。如果*p1或*p2为零，则每个条件为真，否则为假。现在我们检查每次迭代发生的情况：
p1 = &t1 [0], p2 = &t2 [0]
*p1++ == 0 is true, *p2++ == 0 is never evaluated, p1 = &t1 [1], p2 = &t2 [0].
*p1++ == 0 is true, *p2++ == 0 is never evaluated, p1 = &t1 [2], p2 = &t2 [0].
*p1++ == 0 is false, *p2++ == 0 is true, p1 = &t1 [3], p2 = &t2 [1].
*p1++ == 0 is false, *p2++ == 0 is true, p1 = &t1 [4], p2 = &t2 [2].
*p1++ == 0 is false, *p2++ == 0 is false, p1 = &t1 [5], p2 = &t2 [3].
t1等同于&t1[0]。p1 - t1 == &t1[5] - &t1[0] == 5。 t2等同于&t2[0]。p2 - t2 == &t2[3] - &t2[0] == 3。
!来与零进行比较，而不是明确表示，这会使代码更加晦涩难懂。 - James Kanze!var 或裸露的 var 来编写零比较，尤其是当 var 是指针时。原因基本上与为什么不应该编写显式的 == true 或 == false 相同。 - zwolend() 迭代器实际上就相当于这样一个指针。 - bcrist你对 t1、t2、p1 和 p2 的评估是正确的。
while (!*p1++ || !*p2++);
while 循环体进入条件为 true 。由于这是一个逻辑或表达式，只有在 *p1++ 和 *p2++ 都变成非零值时，while 循环才会终止。由于逻辑或运算符会发生“短路”（如果第一个表达式为真，则不会执行第二个表达式），p1 和 p2 的变化情况如下：
iter p1 *p1 p2 *p2 condition
---- -- --- -- --- ---------
0 &t1[0] 0 &t2[0] 0 !*p1++ is true, !*p2++ not evaluated
1 &t1[1] 0 &t2[0] 0 !*p1++ is true, !*p2++ not evaluated
2 &t1[2] 1 &t2[0] 0 !*p1++ is false, !*p2++ is true
3 &t1[3] 1 &t2[1] 0 !*p1++ is false, !*p2++ is true
4 &t1[4] 1 &t2[2] 1 !*p1++ is false, !*p2++ is false
由于每次迭代都使用后置递增，因此p1以值&t1[5]结束，p2以值&t2[3]结束。
在同一数组中进行指针减法时，它会以数组元素数量为单位测量两个指针之间的距离。在大多数表达式中使用的数组名称将衰减为等于其第一个元素的指针的值。所以t1衰减为&t1[0]，t2衰减为&t2[0]。
因此：
p1 - t1 => 5
p2 - t2 => 3
关键要注意的是如何评估表达式 (a || b)。首先，表达式 a 会被评估。如果 a 返回 true，则不会评估 b，因为任何与 True 进行逻辑或运算的结果都将是 True。这被称为短路逻辑。
以下代码的改进也有所帮助 -
int main(void){
int t1[] = {0,0,1,1,1}, t2[] = {0,0,1,1,1};
int *p1 = t1, *p2 = t2;
cout << *p1 << " " << *p2 << endl;
cout << p1 << " " << p2 << endl;
while (!*p1++ || !*p2++) {
cout << *p1 << " " << *p2 << endl;
cout << p1 << " " << p2 << endl;
}
cout << (p1-t1) << endl;
cout << (p2-t2) << endl;
return 0;
}
输出：
0 0
0x7fff550709d0 0x7fff550709f0
0 0
0x7fff550709d4 0x7fff550709f0
1 0
0x7fff550709d8 0x7fff550709f0
1 0
0x7fff550709dc 0x7fff550709f4
1 1
0x7fff550709e0 0x7fff550709f8
5 // Final p1 - t1
3 // Final p2 - t2
!*p1++ 等同于 (!(*(p1++)))。这是一个后置递增运算符，它会将指针加一，但返回递增前的旧值。
循环中的表达式会被计算 5 次。
在第一次迭代中，p1 被递增。由于递增前当前的 *p1 值为 0，对 0 取反返回 1。由于短路运算，其余部分不再计算。因此只有 p1 被递增。
下一轮循环同样发生了相同的事情。
现在，我们有 p1 = t1 + 2 indices，和 p2 = t2。
在第三轮迭代中，*p1 的当前值不再是 0。因此，p1 和 p2 均被递增。
下一轮循环同样发生了相同的事情。
请注意，在前四轮迭代中，要么 p1，要么 p2 指向了一个 0 值，因此左侧或右侧的非运算结果都是 True，因此 while 循环继续。
因此，p1 会被递增 5 次，而 p2 会被递增 3 次。
总结 - p1 - t1 的值将包含连续出现在 t1 和 t2 开头的 0 的数量加 1（2 + 2 + 1）。p2 - t2 的值将计算为连续出现在 t2 开头的 0 的数量加 1（2 + 1）。
首先：
while (!*p1++ || !*p2++);
p1进行扫描，在t1数组中查找非零值。对于每个这样的非零值，在t2中跳过一个零值。最终结果类似于“计算t2中前导零的数量；跳过在t1中该数量的非零元素，以及任何零元素”。 - anatolyg这个关系可以帮助你更好地理解while循环中的条件：
arr[ i ] == * ( arr + i )
进行指针减法（如果指针类型相同），结果是两个元素之间的距离（以数组元素为单位）。
假设p1和p2都是T*类型的指针。那么计算得到的值为：
( p2 - p1 ) == ( addr( p2 ) - addr( p1 ) ) / sizeof( T )
关于这个问题在控制台上会输出什么，答案是在while循环的结尾没有分号的情况下会输出0 0。
这个循环有什么意义呢?
首先你使用了 OR 运算符，这意味着如果 p1 或 p2 指向的值为 0，则会执行该块。因此，在 p1 指向第三个元素（p1-t1）之前，它将给出 t1 中已经穿过的元素数，而 (p2-t2) 将为 0，因为 (p1-t1) 返回 true，所以不会检查第二个条件。当 p1 指向 1 时，它将开始递增 p2，直到它指向 t2 的第三个元素，这就是结束。
我相信这就是这个任务所要求的全部内容。
main应该返回一个int。一些系统期望当程序成功完成工作时，main返回0。当main返回void时，系统将尝试读取退出状态，得到的是垃圾值。 - GingerPlusPlus