0Pricing
Swift Academy · Lezione

Puntatori buffer non sicuri

Elabori in modo efficiente la memoria contigua.

Puntatori buffer non sicuri è una lezione Swift Academy gratuita su CoddyKit. Questa è la lezione 3 di 4. Puoi leggere la lezione completa qui gratuitamente — poi esercitati direttamente nel browser con un editor di codice integrato e un tutor IA disponibile 24/7. Fa parte del percorso di apprendimento Swift Academy, e i tuoi progressi si sincronizzano tra il web e l'app CoddyKit. Il corso Swift Academy include 4 lezioni in totale.

Che cos'è un puntatore a buffer

Un singolo puntatore tipizzato indirizza un elemento alla volta. Un UnsafeBufferPointer<T> racchiude un puntatore iniziale più un conteggio, offrendo una vista delimitata su un blocco contiguo di memoria conforme a Collection.

Questo consente di iterare, usare il subscript, eseguire map e reduce: tutte le API familiari delle collezioni applicate alla memoria grezza.

// A buffer pointer = base address + element count
// UnsafeBufferPointer<Int>(start: ptr, count: 5)

Buffer di sola lettura e mutabili

Come i singoli puntatori, i buffer sono disponibili in due varianti: UnsafeBufferPointer<T> per l'iterazione in sola lettura e UnsafeMutableBufferPointer<T> quando è necessario anche assegnare valori agli elementi.

let p = UnsafeMutablePointer<Int>.allocate(capacity: 4)
p.initialize(repeating: 0, count: 4)
let buf = UnsafeMutableBufferPointer(start: p, count: 4)
buf[0] = 11
print(buf[0]) // 11

Iterare come una collezione

Poiché un puntatore a buffer è una Collection, un ciclo for attraversa ogni elemento in ordine. Non servono calcoli manuali degli indici e non c'è rischio di errore di uno nel ciclo stesso; tuttavia, i limiti specificati restano sotto la Sua responsabilità.

let buf = UnsafeMutableBufferPointer<Int>.allocate(capacity: 3)
_ = buf.initialize(from: [10, 20, 30])
for value in buf { print(value) } // 10, 20, 30

Algoritmi delle collezioni già disponibili

map, filter, reduce, enumerated e indices funzionano tutti sui puntatori a buffer. È quindi possibile elaborare la memoria grezza con codice di alto livello, senza effettuare allocazioni.

let buf = UnsafeMutableBufferPointer<Int>.allocate(capacity: 4)
_ = buf.initialize(from: [1, 2, 3, 4])
let total = buf.reduce(0, +)   // 10
let evens = buf.filter { $0 % 2 == 0 } // [2, 4]
print(total, evens)

Allocare un buffer mutabile

UnsafeMutableBufferPointer<T>.allocate(capacity:) riserva il blocco e restituisce un buffer in un solo passaggio. È comunque necessario eseguire initialize prima della lettura e deallocate al termine.

let buf = UnsafeMutableBufferPointer<Int>.allocate(capacity: 5)
buf.initialize(repeating: 0)
defer {
    buf.deinitialize()
    buf.deallocate()
}

I limiti non vengono verificati automaticamente

Usare il subscript nell'intervallo 0..<count è corretto. Tuttavia, il buffer non può sapere se il count fornito è corretto. Se si crea un buffer con un count maggiore rispetto all'allocazione reale, le letture oltrepassano la fine e accedono a memoria non definita.

Derivi sempre il count dalla stessa allocazione che ha creato.

let p = UnsafeMutablePointer<Int>.allocate(capacity: 3)
p.initialize(repeating: 0, count: 3)
// CORRECT: count matches capacity
let good = UnsafeBufferPointer(start: p, count: 3)
// WRONG: count: 10 would read past the block
print(good.count)

Buffer vuoti

Un buffer con count: 0 è valido e può avere un indirizzo di base nil. Verifichi sempre isEmpty oppure faccia affidamento sul fatto che il ciclo non venga eseguito, invece di forzare lo scartamento di baseAddress.

let empty = UnsafeBufferPointer<Int>(start: nil, count: 0)
print(empty.isEmpty)       // true
print(empty.count)         // 0
for _ in empty { print("never runs") }

withUnsafeBufferPointer sugli array

Il modo più sicuro per ottenere un buffer consiste nel partire da un Array esistente tramite withUnsafeBufferPointer. Swift garantisce che lo storage sia contiguo e valido per tutta la durata della closure, evitando completamente l'allocazione manuale.

let numbers = [4, 8, 15, 16, 23]
let maxValue = numbers.withUnsafeBufferPointer { buf -> Int in
    var m = buf[0]
    for v in buf where v > m { m = v }
    return m
}
print(maxValue) // 23

Modificare lo storage di un array

withUnsafeMutableBufferPointer consente di scrivere direttamente nello storage di un array. Questa tecnica viene usata occasionalmente per trasformazioni in-place critiche per le prestazioni, quando ARC e i controlli dei limiti aggiungerebbero overhead.

var data = [1, 2, 3, 4]
data.withUnsafeMutableBufferPointer { buf in
    for i in buf.indices { buf[i] *= 10 }
}
print(data) // [10, 20, 30, 40]

baseAddress per le API C

Quando chiama una funzione C che si aspetta un puntatore più una lunghezza, passi buffer.baseAddress e buffer.count. L'indirizzo di base è nil solo per i buffer vuoti, quindi gestisca questo caso.

let bytes: [UInt8] = [0xDE, 0xAD, 0xBE, 0xEF]
bytes.withUnsafeBufferPointer { buf in
    if let base = buf.baseAddress {
        // c_function(base, buf.count)
        print("start:", base, "len:", buf.count)
    }
}

Quando usare i puntatori a buffer

Usi i puntatori a buffer quando serve accedere in modo contiguo, tipizzato e simile a una collezione a una regione di memoria: per collegare array C, analizzare formati binari o ridurre l'overhead nei cicli più eseguiti. Quando possibile, preferisca le forme con closure with... all'allocazione manuale.

// Counting set bits across a byte buffer
let data: [UInt8] = [0b1011, 0b0110, 0b1111]
let bits = data.withUnsafeBufferPointer { buf in
    buf.reduce(0) { $0 + $1.nonzeroBitCount }
}
print(bits) // 3 + 2 + 4 = 9

Verifica rapida

Ricordi che cosa aggiunge un puntatore a buffer rispetto a un singolo puntatore.

Riepilogo

I puntatori a buffer racchiudono una regione contigua come una collezione delimitata:

  • UnsafeBufferPointer / UnsafeMutableBufferPointer = indirizzo di base + count.
  • Si ottengono map, filter, reduce e l'iterazione con for sulla memoria grezza.
  • È preferibile usare withUnsafeBufferPointer sugli array, così Swift gestisce validità e durata.
  • Il count fornito viene considerato attendibile: lo derivi dall'allocazione reale.

Domande Frequenti

La lezione «Puntatori buffer non sicuri» è gratuita?

Sì — il testo completo di «Puntatori buffer non sicuri» è gratuito qui sul web. Per esercitarvi in modo interattivo (un editor di codice integrato e un tutor IA 24/7) e sbloccare il resto del corso Swift Academy, passa a CoddyKit PRO. Il corso Swift Academy include 4 lezioni in totale.

Cosa imparerò in «Puntatori buffer non sicuri»?

Elabori in modo efficiente la memoria contigua. Eserciti Swift Academy con codice pratico che esegui direttamente nel browser, e un tutor IA 24/7 risponde alle tue domande mentre lavori sulla lezione.

Ho bisogno di esperienza per iniziare Swift Academy?

Non è richiesta alcuna esperienza precedente. Swift Academy su CoddyKit è strutturato per principianti e studenti avanzati, quindi puoi iniziare da qui o dall'inizio e procedere al tuo ritmo. Questa è la lezione 3 di 4.

Quanto tempo richiede la lezione «Puntatori buffer non sicuri»?

La maggior parte delle lezioni CoddyKit richiede circa 5–10 minuti. Ogni lezione è breve e interattiva, quindi fai progressi costanti e riprendi esattamente da dove hai lasciato su web e app.

Posso scrivere ed eseguire codice in questa lezione Swift Academy?

Sì. Ogni lezione Swift Academy include un editor di codice integrato, quindi scrivi ed esegui codice reale direttamente nel tuo browser e ricevi feedback istantaneo dall'IA — nessuna configurazione locale necessaria.

Tutte le lezioni di questo corso

  1. MemoryLayout e allineamento
  2. UnsafePointer e UnsafeMutablePointer
  3. Puntatori buffer non sicuri
  4. withUnsafeBytes e interoperabilità con C
← Torna a Swift Academy