Ошибка в итераторах с контрактами кода?

Я предполагаю, что это связано с отложенным характером итераторов. Помните, что обработка контракта будет происходить с окончательно сгенерированным IL, а не с кодом C #. Это означает, что вы должны учитывать сгенерированный код для таких функций, как итераторы и лямбда-выражения.

Если вы декомпилируете этот код, вы обнаружите, что «i» на самом деле не является параметром. Это будет переменная в классе, которая используется для реализации итератора. Таким образом, код на самом деле больше похож на следующий

class IteratorImpl {
  private int i;
  public bool MoveNext() {
    Contract.Require(i >0);
    ..
  }
}

. Я не очень хорошо знаком с API контракта, но я предполагаю, что сгенерированный код намного сложнее проверить.

Помните, что итераторы не запускаются до тех пор, пока они не будут перечислены, а компилируются в какой-то особый соус в серверной части. Общий шаблон, которому вы должны следовать, если хотите проверить параметры, и это, вероятно, справедливо для контрактов, состоит в том, чтобы иметь функцию-оболочку:

static IEnumerable<int> Test (int i)
{
    Contract.Requires(i > 0);
    return _Test(i);
}

private static IEnumerable<int> _Test (int i)
{
    for (int j = 0; j < i; j++)
        yield return j;
}

Таким образом Test () будет проверять параметры при его вызове, а затем вернуть _Test (), который фактически просто возвращает новый класс.

Большое спасибо всем, кто дал полезные ответы. Вот мои реализации нескольких различных методов поиска первых n простых чисел в C #. Первые два метода в значительной степени соответствуют тому, что было опубликовано здесь. (Имена постеров указаны рядом с заголовком.) Я планирую когда-нибудь заняться ситом Аткина, хотя подозреваю, что это будет не так просто, как методы, которые здесь используются в настоящее время. Если кто-нибудь может найти способ улучшить любой из этих методов, я хотел бы знать: -)

Стандартный метод ( Питер Смит , jmservera , Rekreativc )

Первое простое число - 2. Добавьте это в список простых чисел. Следующее простое число - это следующее число, которое не делится без остатка ни на какое число в этом списке.

public static List<int> GeneratePrimesNaive(int n)
{
    List<int> primes = new List<int>();
    primes.Add(2);
    int nextPrime = 3;
    while (primes.Count < n)
    {
        int sqrt = (int)Math.Sqrt(nextPrime);
        bool isPrime = true;
        for (int i = 0; (int)primes[i] <= sqrt; i++)
        {
            if (nextPrime % primes[i] == 0)
            {
                isPrime = false;
                break;
            }
        }
        if (isPrime)
        {
            primes.Add(nextPrime);
        }
        nextPrime += 2;
    }
    return primes;
}

Это было оптимизировано только проверкой на делимость до квадратного корня из проверяемого числа; и проверкой только нечетных чисел. Это может быть дополнительно оптимизировано путем тестирования только чисел вида 6k + [1, 5] или 30k + [1, 7, 11, 13, 17, 19, 23, 29] или и т. д. .

Сито Эратосфена ( звездно-синий )

Это находит все простые числа для k . Чтобы составить список первых n простых чисел, нам сначала нужно аппроксимировать значение n -го простого числа. Это делает следующий метод , описанный здесь .

public static int ApproximateNthPrime(int nn)
{
    double n = (double)nn;
    double p;
    if (nn >= 7022)
    {
        p = n * Math.Log(n) + n * (Math.Log(Math.Log(n)) - 0.9385);
    }
    else if (nn >= 6)
    {
        p = n * Math.Log(n) + n * Math.Log(Math.Log(n));
    }
    else if (nn > 0)
    {
        p = new int[] { 2, 3, 5, 7, 11 }[nn - 1];
    }
    else
    {
        p = 0;
    }
    return (int)p;
}

// Find all primes up to and including the limit
public static BitArray SieveOfEratosthenes(int limit)
{
    BitArray bits = new BitArray(limit + 1, true);
    bits[0] = false;
    bits[1] = false;
    for (int i = 0; i * i <= limit; i++)
    {
        if (bits[i])
        {
            for (int j = i * i; j <= limit; j += i)
            {
                bits[j] = false;
            }
        }
    }
    return bits;
}

public static List<int> GeneratePrimesSieveOfEratosthenes(int n)
{
    int limit = ApproximateNthPrime(n);
    BitArray bits = SieveOfEratosthenes(limit);
    List<int> primes = new List<int>();
    for (int i = 0, found = 0; i < limit && found < n; i++)
    {
        if (bits[i])
        {
            primes.Add(i);
            found++;
        }
    }
    return primes;
}

Сито Сундарама

Я только недавно обнаружил это сито , но его можно реализовать довольно просто. Моя реализация не так быстро, как решето Эратосфена,

Этот код будет работать с последней версией .NET 4.0 (только что попробовал), где Код Контракты в интераторах поддерживаются , но, как я недавно узнал, не всегда работает должным образом (подробнее здесь ).