Dlaczego metoda Count () używa słowa kluczowego „zaznaczone”?

Kiedy szukałem różnicy między Countem a Countem () , pomyślałem, żeby rzucić okiem na kod źródłowy Count(). Widziałem następujący fragment kodu, w którym zastanawiam się, dlaczego checkedsłowo kluczowe jest konieczne / potrzebne:

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

Kod źródłowy:

// 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;
    }
}

c# checked

— snr - Przywróć Monikę
źródło

.NET 4.0 nie miał jeszcze tej kontroli, 4.5 miał. Jest nieco prawdopodobne, że zostało to zrobione, aby uniknąć problemów z iteratorami WinRT , zauważ, że używają one uint.

— Hans Passant

Ponieważ nie chce zwracać liczby ujemnej w (co jest mało prawdopodobne) zdarzeniu, że w sekwencji jest więcej niż 2 miliardy nieparzystych pozycji - lub nieujemna, ale po prostu zła liczba w (jeszcze bardziej mało prawdopodobnym) przypadku że w sekwencji jest ponad 4 miliardy nieparzystych pozycji. checkedwykryje stan przepełnienia.

— Marc Gravell
źródło

@ DavidMårtensson C # domyślnie ustawiony na unchecked; można checkedgo domyślnie przełączyć na poziomie globalnym za pomocą przełącznika kompilatora - ale szczerze mówiąc rzadko widzę, że jest używany, więc myślę, że błędem jest sugerowanie, że C # jest „zwykle” uruchamiany w checkedtrybie; Należy również zauważyć, że unsafenie ma interakcji zunchecked

— Marc Gravell

To była dla mnie wiadomość, przetestowałem to w projekcie przed napisaniem, a C # skarżył się na przepełnienie, dopóki nie dodałem niezaznaczonego wokół niego? Edycja: Znalazłem odpowiedź na to, co widziałem „W przypadku wyrażeń stałych (wyrażeń, które można w pełni ocenić w czasie kompilacji) kontekst domyślny jest zawsze sprawdzany. O ile wyrażenie stałe nie jest jawnie umieszczone w niekontrolowanym kontekście, przepełnienia, które występują podczas kompilacji -czasowa ocena wyrażenia powoduje błędy czasu kompilacji. ”

— David Mårtensson

@ DavidMårtensson ah, tak - dobry niuans; Mówiłem o środowisku uruchomieniowym; jak mówisz: czas kompilacji jest inny

— Marc Gravell

Ale czas kompilacji nie dotyczy przykładu postu, więc mój komentarz był niepoprawny i usunąłem go.

— David Mårtensson