编码代码导致分段错误

Codility code causes segmentation fault

本文关键字：分段 错误 代码 编码      更新时间：2023-10-16

这是我对 Count Semiprimes codility 问题的解决方案，它对中小型输入是正确的，但对于大型测试用例会导致分段错误。

https://codility.com/demo/results/demo8JU794-FC7/

这通常发生在无效指针等上，但是我在这里看不到任何可能导致这种行为的内容。

你能发现代码有什么问题吗？

vector<int> solution(int N, vector<int> &P, vector<int> &Q) {
    int M = P.size();
    // Use sieve of eratosthenes to find prime numbers within range 0 to N
    vector<int> sieve(N+1);
    sieve[0] = sieve[1] = 0;
    for (int i = 2; i <= N; ++i)
    {
        if (sieve[i] == 0)
        {
            int k = i * i;
            while(k <= N)
            {
                // For each non prime store its lowest prime divisor.
                sieve[k] = i;
                k += i;
            }
        }
    }
    vector<int> answer(M);
    for (int i = 0; i < M; ++i)
    {
        // Count semiprimes for each range (P[i], Q[i])
        int count = 0;
        for(int j = P[i]; j <= Q[i]; ++j)
        {
            // If a number is divisible by prime and the result of this division is also a prime
            // Then it's a semiprime.
            if (sieve[j] != 0 && sieve[j / sieve[j]] == 0)
            {
                count++;
            }
        }
        answer[i] = count;
    }
    return answer;
}

在这一部分中，对于 N = 50000，k = i * i的结果溢出了一个 int，这是段错误的原因。

    if (sieve[i] == 0)
    {
        int k = i * i;
        while(k <= N)
        {
            // For each non prime store its lowest prime divisor.
            sieve[k] = i;
            k += i;
        }
    }

你能发布 seg 故障在哪里吗？

仅从外观上看，当 N 为 0 时，sieve[0] = sieve[1] = 0;将表现出未定义的行为。

相关文章：