Swift Academy · Lekcja

Typy niejawne ze słowem kluczowym some

Zwracanie typów niejawnych z funkcji w celu zachowania tożsamości typu bez jej ujawniania.

Lekcja 2 z 413 kroki

Typy niejawne ze słowem kluczowym some to bezpłatna lekcja Swift Academy na CoddyKit. To lekcja 2 z 4. Możesz przeczytać całą lekcję poniżej za darmo — a potem ćwiczyć ją interaktywnie w przeglądarce z wbudowanym edytorem kodu i tutorem AI dostępnym 24/7. To część ścieżki edukacyjnej Swift Academy, a Twój postęp synchronizuje się między webem a aplikacją CoddyKit. Kurs Swift Academy zawiera 4 lekcji w sumie.

Problem rozwiązywany przez typy nieprzezroczyste

Zwrócenie typu protokołu za pomocą any powoduje utratę informacji o typie. some zachowuje te informacje, ukrywając implementację.

protocol Shape { var area: Double { get } }
struct Circle: Shape { var area: Double { .pi * 4 } }

Zwracanie some Protocol

some Shape jako typ zwracany informuje wywołującego: „zwracam konkretny typ Shape”, bez ujawniania, który to typ.

func makeShape() -> some Shape {
  return Circle()
}
let s = makeShape()
print(s.area)

Tożsamość typu zostaje zachowana

Ponieważ typy some mają stały typ bazowy, kompilator zezwala na operacje wymagające Self.

func makeEquatableShape() -> some Shape & Equatable {
  return Circle()
}
let a = makeEquatableShape()
let b = makeEquatableShape()
print(a == b) // works because types match

some a any

some jest nieprzezroczysty (pojedynczy, stały typ), a any jest egzystencjalny (dowolny zgodny typ w czasie wykonywania).

func withSome() -> some Shape { Circle() }  // opaque
func withAny() -> any Shape { Circle() }   // existential

some w Body SwiftUI

SwiftUI używa some View, aby ciało każdego widoku zwracało jeden spójny typ bez ujawniania szczegółów implementacji układu.

struct ContentView: View {
  var body: some View {
    Text("Hello, World!")
  }
}

Nieprzezroczyste parametry z some

Swift 5.7+ pozwala używać some Protocol w pozycjach parametrów jako składniowego skrótu dla ograniczeń generycznych.

func printArea(_ shape: some Shape) {
  print(shape.area)
}
printArea(Circle())

Odwrócone typy generyczne

Nieprzezroczysty parametr some P jest równoważny zapisowi (_ value: T). Kompilator wywnioskuje T w miejscu wywołania.

func doubled(_ value: some Numeric) -> some Numeric {
  value * 2
}

Ograniczenia dla some

Protokoły można łączyć z typami nieprzezroczystymi tak samo jak z typami generycznymi.

func process(_ item: some Codable & Hashable) {
  let hash = item.hashValue
  print(hash)
}

Zwracanie różnych typów

W przeciwieństwie do typów egzystencjalnych nie można zwracać różnych zgodnych typów z różnych gałęzi za pomocą typów nieprzezroczystych.

// This would NOT compile:
// func shape(_ big: Bool) -> some Shape {
//   big ? Circle() : Square()  // ERROR: different types
// }

Typy nieprzezroczyste w protokołach

Protokoły z typami skojarzonymi stają się łatwiejsze w użyciu jako typy zwracane dzięki some.

protocol Buildable { associatedtype Output; func build() -> Output }
func build(_ b: some Buildable) -> some Any {
  b.build()
}

Kiedy wybrać some

Wybierz some, gdy zwracasz jeden spójny typ i chcesz zachować jego tożsamość. Użyj any, gdy potrzebujesz heterogenicznych kolekcji.

var shapes: [any Shape] = [Circle(), Circle()]
let single: some Shape = Circle()

Szybkie sprawdzenie

Co słowo kluczowe some gwarantuje w odniesieniu do typu zwracanego?

Podsumowanie lekcji

some tworzy nieprzezroczyste typy zwracane, które ukrywają konkretny typ, zachowując jednocześnie jego tożsamość. some View w SwiftUI jest sztandarowym przykładem. Używaj some dla zwracanych wartości jednego typu, a any dla heterogenicznych kolekcji.

Bezpłatny start

Ucz się Swift dzięki korepetycjom AI — za darmo

Pisz i uruchamiaj kod w przeglądarce, otrzymuj natychmiastową pomoc od korepetytora AI dostępnego 24/7 i kontynuuj naukę w sieci lub w aplikacji.

Kursy
122
Lekcje
409

Często zadawane pytania

Czy lekcja „Typy niejawne ze słowem kluczowym some” jest bezpłatna?

Tak — pełny tekst „Typy niejawne ze słowem kluczowym some” jest dostępny za darmo tutaj w sieci. Aby ćwiczyć ją interaktywnie (wbudowany edytor kodu i tutor AI dostępny 24/7) i odblokować resztę kursu Swift Academy, przejdź na CoddyKit PRO. Kurs Swift Academy zawiera 4 lekcji w sumie.

Co nauczysz się w „Typy niejawne ze słowem kluczowym some”?

Zwracanie typów niejawnych z funkcji w celu zachowania tożsamości typu bez jej ujawniania. Ćwiczysz Swift Academy z praktycznym kodem, który uruchamiasz bezpośrednio w przeglądarce, a tutor AI dostępny 24/7 odpowiada na Twoje pytania podczas pracy nad lekcją.

Czy potrzebuję doświadczenia, aby zacząć Swift Academy?

Nie wymagamy żadnego doświadczenia. Swift Academy w CoddyKit jest strukturyzowany dla początkujących i zaawansowanych użytkowników, więc możesz zacząć tutaj lub od początku i uczyć się w swoim tempie. To lekcja 2 z 4.

Ile czasu zajmuje lekcja „Typy niejawne ze słowem kluczowym some”?

Większość lekcji CoddyKit trwa około 5–10 minut. Każda lekcja to mały, interaktywny krok, dzięki czemu robisz systematyczne postępy i zawsze wracasz dokładnie do tego samego miejsca — na webie i w aplikacji.

Czy mogę pisać i uruchamiać kod w tej lekcji Swift Academy?

Tak. Każda lekcja Swift Academy zawiera wbudowany edytor kodu, więc piszesz i uruchamiasz prawdziwy kod bezpośrednio w przeglądarce i od razu otrzymujesz sprzężenie zwrotne od AI — bez konfiguracji na komputerze.

Wszystkie lekcje w tym kursie

  1. Ograniczenia generyczne i klauzule where
  2. Typy niejawne ze słowem kluczowym some
  3. Existentials z any i wymazywanie typu
  4. Główne typy powiązane i typowane błędy
← Powrót do Swift Academy