Span<T> ir Memory<T> yra modernūs .NET tipai darbui su ištisinėmis atminties sritimis (masyvais, eilutėmis, buferiais) efektyviai — be išdėstymo ar kopijavimo. Jie leidžia parašyti aukšto našumo kodą, suteikdami rodinį į esamą atmintį, o ne kuriant naujas kopijas, sumažinant šiukšlių surinkimo spaudimą.
// ❌ Substring allocates a NEW string (copies the data) — GC pressure in hot paths
string text = "Hello, World";
string sub = text.Substring(7); // allocates a new "World" string
// ✅ Span — a VIEW into the existing memory, NO allocation, NO copy
ReadOnlySpan<char> span = text.AsSpan(7); // "World" — points into the original
Operacijos kaip Substring arba masyvo dalimas išdėsto naujus objektus ir kopijuoja duomenis. Span<T> vietoj to suteikia rodinį (rodyklę + ilgį) į esamą atmintį — dalimo operacijos nekainuoja nieko, nieko neišdėsto.
int[] numbers = { 1, 2, 3, 4, 5 };
Span<int> slice = numbers.AsSpan(1, 3); // {2, 3, 4} — a VIEW, no copy
slice[0] = 99; // modifies the ORIGINAL array (it's a view)
// parse without allocating substrings
ReadOnlySpan<char> input = "123,456".AsSpan();
int first = int.Parse(input.Slice(0, 3)); // parse a slice, no substring allocation
Span<T> leidžia dalinti ir apdoroti masyvus/eilutes/buferius be išdėstymo — tai būtina greitam kodui (analizavimas, serializavimas, didelių duomenų apdorojimas).
Span<T> is a ref struct — it can ONLY live on the stack (not on the heap, not in
async methods, not as a class field). This guarantees safety but limits where it's used.
// Memory<T> is like Span<T> but CAN be a field / used across await (heap-storable)
async Task ProcessAsync(Memory<byte> buffer) // works in async (Span<T> can't)
{
await stream.ReadAsync(buffer);
Span<byte> span = buffer.Span; // get a Span from it when you need to process
}
Memory<T> papildo Span<T> scenarijuose, kai reikia išsaugoti rodinį arba jį naudoti asinchroniškai (kur Span<T> steko tik pobūdis neveikia).
Span<T> ir Memory<T> yra svarbios šiuolaikinės .NET funkcijos aukšto našumo, be išdėstymo kodui, ir jų supratimas yra vertinga aukštesnio lygio žinias atspindinti savybė našumo kritiniams taikymams.
Jų pagrindinė vertė yra efektyvus darbas su ištisinėmis atminties sritimis (masyvais, eilutėmis, buferiais), suteikiant rodinį į esamą atmintį, o ne išdėstojan naujas kopijas — tai svarbu, nes išdėstymas sukuria šiukšlių surinkimo spaudimą, o greitame kode (analizavime, serializavime, didelių duomenų apdorojime, tinklo buferiuose) išdėstymo išvengimas žymiai pagerina našumą.
Operacijos, kurios paprastai išdėsto (Substring, masyvo dalimas), gali būti atliktos be išdėstymo naudojant spanus, sumažinant atminties naudojimą ir šiukšlių surinkimo pridėtą laiką.
Supratimas apie Span<T> (kopijavimo nereikalaujantas masyvų/eilučių/buferių dalimas), jos tik dėlei steko apribojimą (tai ref struct, todėl ji negali būti klasės lauku ar naudojama asinchroniniuose metoduose — svarus apribojimas), ir Memory<T> (papildinį, kuris gali būti saugomas ir naudojamas asinchroniniame kode) yra svarbus aukšto našumo C# įrašymui.
Šie tipai yra plačiai naudojami paties .NET našumo kritiniame kode ir vis daugiau bibliotekose bei taikymuose, kur be išdėstymo ir efektyvus atminties valdymas yra svarbūs.
Nors nereikalinga kasdienei verslo logikai, supratimas apie Span<T>/Memory<T> — ką jie daro (be išdėstymo atminties rodiniai), kodėl jie padeda (sumažinti išdėstymą ir šiukšlių surinkimo spaudimą), ir jų apribojimus — yra vertingas jei kuriate našumo jautrų C# kodą (analizavimą, serializavimą, didelės pralaidumo sistemas), išskiria programuotojus, galinčius rašyti labai efektyvų .NET kodą, ir yra aktualus aukštesnio lygio našumo orientuotiems vaidmenims.
IT pokalbių klausimų biblioteka su išsamiais atsakymais — nuo Junior iki Senior.
Paaukoti