在for循环中找到2个带有'，'运算符的线性C解决方案，有人能解释给定的逗号运算符语句吗？

Question

说明：

我手头有问题陈述，我在leedcode讨论部分遇到了一个有趣的2行C解决方案。我试图分解它以理解它的意思，除了一行小行，我理解了其余的。我的问题在最后。

Leetcode问题陈述：

给定一个按严格递增顺序排序的正整数数组arr和一个整数k。找到该数组中缺少的第k个正整数。

示例1：输入：arr=[2,3,4,7,11]，k=5输出：9

说明：缺少的正整数是[1,5,6,8,9,10,12,13，…]。第五个失踪

示例2：输入：arr=[1,2,3,4]，k=2输出：6

说明：缺少的正整数是[5,6,7，…]。第二个缺失的正整数是6。

约束条件：

1. 1

双衬里C解决方案：

    int findKthPositive(int* arr, int arrSize, int k){
        for (int arrCurrIndex = 0, counter = 1 ; (k && (arrCurrIndex < arrSize) ? ((arr[arrCurrIndex] != counter) ? k-- : ++arrCurrIndex) : k--) || (k = counter-1, 0) ; counter++);
        return k;
    } 

仅供参考：下面是一个正在部署的类似算法，但它只是更清楚地理解。

    int findKthPositive(int* arr, int arrSize, int k){ 
        for (int counter=1, arrCurrIndex=0; counter<10000; counter++) { 
            // exceed arr limits 
            if (arrCurrIndex < arrSize) { 
                if (counter == arr[arrCurrIndex]) { // found element in array 
                    index++; 
                    continue; 
                } 
            } 
            // missing element 
            k--; 
            if (k==0) { 
                return counter; 
            } 
        } 
        return 0; 
    } 

我的问题：

解决方案#1中的以下行到底是什么意思？

<代码>（k=计数器-1，0）

======更新答案=======

我稍微修改了有问题的解决方案#1，使其更具可读性。它强调了所讨论的给定语句的情况。以下是修改后的解决方案：

int findKthPositive(int* arr, int arrSize, int k){
    // move counter out of the foor loop
    int counter=1;
    for (int arrCurrIndex = 0; 
    (k && (arrCurrIndex < arrSize) ? 
    ((arr[arrCurrIndex] != counter) ? k-- : ++arrCurrIndex) 
    : k--); counter++);
    return counter-1;    
}

Answer 1

二进制逗号运算符计算第一个操作数，丢弃结果，然后计算第二个操作数。

在您发布的表达式中，我们有

... || (k = counter-1, 0) ; 

因此，计数器-1实际上被分配给k，但其求值（k本身）被丢弃，因此使用0。为什么是0？因为它是逻辑或运算符的中性操作数。事实上

X || 0 ==> X

换句话说，我们有一个表达式

stuff_at_the_left || (k = counter-1, 0 )

即被评估为

stuff_at_the_left || 0

因为0是逻辑or中的中性操作数，所以最后的求值是左边的stuff\u。

这个奇怪的表达式的目的是为了作弊：作者在某个时候需要将该值赋给k，但不需要添加更多的行来“破坏”一行。因此，他们在逻辑表达式中包含赋值，使其与逗号运算符和or运算符的中性操作数相结合，成为中性操作数
我们还必须指出，只有当左处的所有stuff\u被评估为0时（由于C中逻辑运算符的短路性质），才执行赋值。生成的扩展代码为

if (!stuff_at_the_left)
    k= counter-1;

注意：在C中，逗号运算符的优先级是所有运算符中最低的，这就是为什么首先执行赋值。