Odroczone wykonanie

1. Wprowadzenie

Wyobraź sobie: napisałeś długie, piękne zapytanie LINQ i myślisz — „Voilà, zaraz wszystko się przetworzy!” A potem zauważasz, że nic się nie dzieje, dopóki nie policzysz elementów albo nie zamienisz wyniku na tablicę. To nie bug, to ficzer.

W .NET LINQ używa odroczonego wykonania: zapytanie nie startuje, dopóki nie zaczniesz faktycznie pobierać danych. To jak leniwy kelner — nie pobiegnie do kuchni, dopóki nie usłyszy: „Przynieś jedzenie!”, nawet jeśli zamówienie już jest złożone.

Takie zachowanie, znane jako leniwe obliczanie (Lazy Evaluation), sprawia, że LINQ jest szczególnie wydajny przy pracy z dużymi, potencjalnie nieskończonymi albo zasobożernymi źródłami danych.

Odroczone wykonanie oznacza, że zapytanie LINQ nie jest wykonywane od razu po zdefiniowaniu. Zaczyna działać dopiero wtedy, gdy naprawdę zaczynasz iterować lub przeglądać dane w kolekcji.

Przykład-ilustracja

var numbers = new List<int> { 1, 2, 3, 4, 5 };

// Zapytanie LINQ
var query = numbers.Where(n =>{
    Console.WriteLine($"Sprawdzamy {n}");
    return n % 2 == 0;
});
Console.WriteLine("Zapytanie zdefiniowane, ale liczby nie były sprawdzane!");

// Dopiero teraz zaczyna się iteracja!
foreach (var n in query)
{
    Console.WriteLine($"Znaleziono parzystą: {n}");
}

Co się stanie?
Kiedy uruchomisz ten kod, zobaczysz, że przed pętlą foreach na konsoli nic się nie pojawia — nawet nie są wykonywane warunki w twoim Where. Dopiero gdy zaczniesz iterować po elementach (np. przez foreach), zapytanie zacznie się wykonywać.

To właśnie jest deferred execution — dopóki nie poprosisz, nikt nic nie robi!

2. Po co jest odroczone wykonanie?

Odroczone wykonanie sprawia, że kod jest nie tylko zgrabny, ale i bardzo wydajny. Po co robić jakąś robotę z góry, skoro może się okazać, że wynik w ogóle nie będzie potrzebny? To szczególnie ważne, gdy masz do czynienia z dużymi kolekcjami albo ze strumieniami danych, które dopiero napływają — wyobraź sobie źródło, które może być nieskończone. Ładowanie tego wszystkiego od razu do pamięci po prostu nie ma sensu.

Poza tym odroczone wykonanie pozwala swobodnie łączyć i rozbudowywać zapytania. Możesz budować złożone łańcuchy operacji LINQ, nie martwiąc się, że od razu zaczną się wykonywać. Wszystko wydarzy się dopiero wtedy, gdy naprawdę zaczniesz pobierać dane — i ani minuty wcześniej.

Analogia

Odroczone wykonanie — to jak lista zakupów w telefonie: możesz dodawać i edytować produkty ile chcesz, ale do sklepu idziesz dopiero wtedy, gdy naprawdę jesteś gotowy coś kupić (i dopiero wtedy korzystasz z tej listy).

3. Jak to działa pod maską?

Zapytania LINQ, które zwracają IEnumerable<T>, zwykle są zaimplementowane przez iteratory (yield return) albo specjalne leniwe konstrukcje. Za każdym razem, gdy zaczynasz iterować po kolekcji (np. wywołując foreach albo ToList()), zapytanie startuje od nowa.

Ważna obserwacja

Jeśli zmienisz oryginalną kolekcję między zdefiniowaniem zapytania a jego wykonaniem, nowe lub zmienione dane też trafią do wyniku.

Przykład:

var numbers = new List<int> { 1, 2, 3 };
var query = numbers.Where(n => n > 1);
numbers.Add(4); // dodaliśmy nową liczbę
foreach (var n in query)
{
    Console.WriteLine(n); // wypisze 2, 3, 4
}

Schemat: kiedy wykonywane jest zapytanie LINQ?

flowchart TD
    A[Definicja zapytania LINQ] --> B{Wykonanie zapytania?}
    B -- Nie --> C[Oczekiwanie]
    B -- Tak (np. foreach, ToList) --> D[Wykonanie zapytania]
    D --> E[Wynik lub akcja]

4. Przykłady, gdzie "lenistwo" LINQ ma znaczenie

Leniwe filtrowanie

var bigNumbers = Enumerable.Range(1, 1_000_000_000)
    .Where(n => n % 123_456 == 0);

foreach (var n in bigNumbers.Take(5))
{
    Console.WriteLine(n);
}

Co tu się dzieje?
Zapytanie tworzy potencjalnie miliardową kolekcję, ale faktycznie przefiltruje i zwróci tylko 5 liczb! Cała reszta po prostu nie zostanie policzona i nie zajmie pamięci.

Zagnieżdżone zapytania i transakcje

Załóżmy, że mamy listę zamówień i produktów, i chcemy dostać pierwsze 5 zamówień, które zawierają określony produkt.

var orders = GetBigOrderList(); // załóżmy, że tu są tysiące zamówień

var filtered = orders
    .Where(order => order.Products.Any(p => p.Name == "Kawa"))
    .Take(5);

foreach(var o in filtered)
{
    Console.WriteLine(o.Id);
}

LINQ nie sprawdza reszty zamówień, gdy już znajdzie 5 pasujących!

5. Niespodzianki

Scenariusze, gdy odroczone wykonanie może prowadzić do niespodzianek:

Zmiana źródła danych po zdefiniowaniu zapytania

Jak pokazano wcześniej, jeśli między zdefiniowaniem zapytania a jego faktycznym wykonaniem oryginalna kolekcja się zmieni, zapytanie zobaczy nowe dane.

Wielokrotna iteracja tego samego zapytania

Zapytanie LINQ jest wykonywane od nowa przy każdym przejściu.

var query = numbers.Where(n => {
    Console.WriteLine($"Sprawdzamy {n}");
    return n % 2 == 0;
});

foreach(var n in query) {} // jedno przejście
foreach(var n in query) {} // drugie przejście — znowu wszystko liczone od nowa

Jeśli chcesz powtarzalny wynik — zmaterializuj (zrób .ToList() albo .ToArray()).

6. Kiedy zapytania LINQ NIE są odroczone?

Nie wszystkie operacje LINQ są odroczone. Niektóre metody wykonują natychmiastowe ("chciwe") wykonanie (Immediate Execution). Na przykład:

• .ToList()
• .ToArray()
• .Count()
• .Average()
• .Sum()
• .First(), .Last(), .Single()

One wszystkie zmuszają LINQ do natychmiastowego wykonania zapytania, bo zwracają nie IEnumerable, tylko gotowy wynik.

Przykład:

var query = numbers.Where(n => n > 2);
var result = query.ToList(); // Tutaj zapytanie wykona się od razu!

7. Pojęcie "leniwe obliczanie" (Lazy Evaluation)

Odroczone wykonanie (deferred execution) — to jeden konkretny przykład leniwego obliczania (Lazy Evaluation) w .NET.

Leniwe obliczanie — to wtedy, gdy wynik nie jest liczony, dopóki naprawdę nie będzie potrzebny. Poza LINQ, w C# są też inne mechanizmy do leniwych obliczeń.

Klasa Lazy<T>

C# udostępnia specjalny typ Lazy<T>, żeby tworzyć wartości "na żądanie".

Prosty przykład:

// Tworzymy leniwą liczbę, która zostanie policzona dopiero, gdy o nią poprosimy
var lazyValue = new Lazy<int>(() =>
{
    Console.WriteLine("Liczymy wartość!");
    return 42;
});

Console.WriteLine("Obiekt Lazy utworzony, ale wartość nie policzona");
Console.WriteLine($"Wartość: {lazyValue.Value}"); // tu nastąpi obliczenie

Po co to wszystko?
Na przykład, trzymasz parametr, który rzadko jest potrzebny, a jego obliczenie jest długie albo kosztowne.

8. Tabela: metody LINQ i tryb wykonania

Where

Select

Take

Skip

Join

ToList

ToArray

Count

First

9. Typowe błędy i cechy implementacji

"Dodatkowa robota" przez powtórne przejścia

Ponieważ odroczone wykonanie powoduje nowe obliczenia przy każdym przejściu, czasem można dostać niepotrzebne przeliczenia.

var expensiveQuery = bigList.Where(x => SomeHeavyCalculation(x));

var result1 = expensiveQuery.ToList(); // policzone — raz
var result2 = expensiveQuery.ToList(); // policzone — dwa (ten sam wynik, ale znowu tracimy czas)

Lekarstwo to zmaterializowanie danych tylko raz:
var cached = expensiveQuery.ToList();

"Złap wyjątek, jeśli potrafisz"

Jeśli funkcja w zapytaniu rzuca wyjątek, pojawi się on dopiero przy iteracji po kolekcji, a nie przy definiowaniu zapytania.

Modyfikacja kolekcji podczas iteracji

Zmiana kolekcji, po której trwa iteracja, może prowadzić do wyjątku InvalidOperationException.

2

Zadanie

C# SELF, poziom 34, lekcja 0

Niedostępne

Wykonanie odroczone i wielokrotne zapytania

Wykonanie odroczone i wielokrotne zapytania

Otwórz