Почему метод Count () использует ключевое слово «checked»?


23

Когда я искал разницу между Count и Count () , я подумал взглянуть на исходный код Count(). Я увидел следующий фрагмент кода, в котором мне интересно, почему checkedключевое слово необходимо / необходимо:

int num = 0;
using (IEnumerator<TSource> enumerator = source.GetEnumerator())
{
    while (enumerator.MoveNext())
    {
        num = checked(num + 1);
    }
    return num;
}

Исходный код:

// System.Linq.Enumerable
using System.Collections;
using System.Collections.Generic;

public static int Count<TSource>(this IEnumerable<TSource> source)
{
    if (source == null)
    {
        ThrowHelper.ThrowArgumentNullException(ExceptionArgument.source);
    }
    ICollection<TSource> collection = source as ICollection<TSource>;
    if (collection != null)
    {
        return collection.Count;
    }
    IIListProvider<TSource> iIListProvider = source as IIListProvider<TSource>;
    if (iIListProvider != null)
    {
        return iIListProvider.GetCount(onlyIfCheap: false);
    }
    ICollection collection2 = source as ICollection;
    if (collection2 != null)
    {
        return collection2.Count;
    }
    int num = 0;
    using (IEnumerator<TSource> enumerator = source.GetEnumerator())
    {
        while (enumerator.MoveNext())
        {
            num = checked(num + 1);
        }
        return num;
    }
}

2
В .NET 4.0 такой проверки еще не было, в 4.5 -. В некоторой степени вероятно, что это было сделано, чтобы избежать проблем с итераторами WinRT , обратите внимание, что они используют uint.
Ганс Пассант

Ответы:


35

Потому что он не хочет возвращать отрицательное число в (предположительно маловероятном) событии, когда в последовательности более 2 миллиардов нечетных элементов - или неотрицательное, но просто неправильное число в (даже более маловероятном) случае что в последовательности более 4 миллиардов с лишним предметов. checkedобнаружит состояние переполнения.


1
@ DavidMårtensson C # по умолчанию unchecked; checkedхотя на глобальном уровне его можно переключить по умолчанию с помощью переключателя компилятора, но, честно говоря, я редко вижу, что он используется, поэтому я считаю, что очень неправильно предполагать, что C # "обычно" запускается в checkedрежиме; Отметим также, что unsafeне имеет отношения сunchecked
Марк Гравелл

1
Это было для меня новостью, я проверял это в проекте перед тем, как писать, и C # жаловался на переполнение, пока не добавил необработанное? Изменить: нашел ответ на то, что я видел "Для константных выражений (выражений, которые могут быть полностью оценены во время компиляции), контекст по умолчанию всегда проверяется. Если константное выражение явно не помещается в непроверенный контекст, переполнения, которые происходят во время компиляции оценка выражения вызывает ошибки во время компиляции. "
Дэвид Мартенсон

@ DavidMårtensson ах, да - хороший нюанс; Я говорил о времени выполнения; как вы говорите: время компиляции отличается
Марк Гравелл

Но время компиляции не относится к примеру поста, поэтому мой комментарий был неверным, и я удалил его.
Дэвид Мартенссон
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.