Qual è la logica dei metodi di risoluzione di Swift che utilizzano `Int`s?

Question

ho notato un sacco di veloci costruito ins prendere o tornare Int s e non UInt s:

Ecco alcuni esempi: Array

mutating func reserveCapacity(minimumCapacity: Int) 

var capacity: Int { get } 

init(count: Int, repeatedValue: T) 

mutating func removeAtIndex(index: Int) -> T 

Dato che la lingua è completamente nuovo, e assumendo che questa scelta progettuale non è stata arbitraria - Mi chiedo: Perché i dati incorporati rapidi prendono Int s e non UInt s?

Alcune note: Chiedendo perché sto lavorando su alcune collezioni me stesso e mi chiedo che tipo dovrei usare per cose come reserveCapacity ecc Quello che mi aspetto che naturalmente è per reserveCapacity di prendere una UInt invece.

Answer 1

Ecco una possibile spiegazione (io non sono un esperto in materia): Supponiamo di avere questo codice

let x = 3 
test(x) 

func test(t: Int) { 
} 

Questo compilerà senza un problema, in quanto il tipo di 'x' viene dedotto per essere Int.

Tuttavia, se si cambia la funzione di

func test(t: UInt) { 
} 

Il compilatore darà un errore di generazione ('Int' is not convertible to 'UInt')

Quindi la mia ipotesi è che è solo per convenienza, perché la sicurezza il tipo di Swift sarebbe altrimenti richiedi di convertirli manualmente ogni volta.

Answer 2

UInt è una causa comune di bug. È molto facile generare accidentalmente un -1 e terminare con loop infiniti o problemi simili. (Molti programmatori C e C++ hanno imparato nel modo più duro che dovresti semplicemente usare int a meno che non sia necessario per unsigned.) A causa di come Swift gestisce la conversione dei tipi, questo è ancora più importante. Se hai mai lavorato con NSUInteger con gli avvisi "firmati-non firmati" attivati ​​(che sono un errore in Swift, non un avvertimento opzionale come in C), sai che dolore è.

La programmazione Swift guida spiega la loro logica specifica nella sezione relativa UInt:

NOTA

Utilizzare UInt solo quando specificamente bisogno di un tipo intero senza segno con la stessa dimensione come dimensione della parola nativa della piattaforma . Se questo non è il caso, Int è preferito, anche quando i valori da memorizzare sono noti per essere non negativi. Un uso coerente di Int per valori interi aiuta l'interoperabilità del codice, evita la necessità di convertire tra diversi tipi di numeri e corrisponde l'inferenza del tipo intero, come descritto in Sicurezza di tipo e Inferenza di tipo.