src/types.ts — Apod diskriminuota sąjunga

Kodo stulpelyje — src/types.ts domeno tipai. ApodImage ir ApodVideo — dvi sąsajos, o Apod — jų sąjunga.

Trys detalės, kurios daro visą darbą:

media_type: 'image' (ne string) — literalas. Tai diskriminantas, leidžiantis susiaurinimą.
hdurl?: string tik ApodImage, o ApodVideo jo visai neturi. Klaustukas reiškia „neprivalomas" (string | undefined) — nes ir nuotrauka ne visada turi didelės raiškos versiją.
copyright?: string abiejuose — nes bet kuri nuotrauka gali būti be autoriaus (vieša nuosavybė).

Apod sąjunga:

export type Apod = ApodImage | ApodVideo;

Kai turi Apod, kompiliatorius nežino, kuris jis — tad neleidžia pasiekti hdurl, kol nepatikrinsi media_type. Būtent to reikėjo 15 pamokos TS2551 klaidai išspręsti: patikrinimas atrakina hdurl.

Rating — literalų sąjunga:

export type Rating = 0 | 1 | 2 | 3 | 4 | 5;   // ne number

Patikrink (mintimis arba tsc).

const pic: Apod = /* ... */;
pic.hdurl;                        // ❌ TS2339/2551 — ne visi Apod turi hdurl
if (pic.media_type === 'image') {
  pic.hdurl;                      // ✅ dabar egzistuoja
}
const r: Rating = 47;             // ❌ Type '47' is not assignable to type 'Rating'

Patarimas. Klaustukas (?) ir sąjunga (|) — du skirtingi „gali nebūti". hdurl?: string = „šis laukas gali būti nenurodytas". Apod = ApodImage | ApodVideo = „šis objektas gali būti vienas iš dviejų pavidalų". Kartu jie tiksliai aprašo netvarkingą tikrovę: kartais vaizdo įrašas, kartais be autoriaus, kartais be didelės raiškos.

types.ts SUKURTI

Sukurk šį failą kataloge src/

// Types for NASA's APOD API. This is where TypeScript earns its keep: we encode
// what the API ACTUALLY returns, and the compiler enforces what we used to have
// to remember.

/** An APOD entry that is an IMAGE. */
export interface ApodImage {
  media_type: 'image';        // the discriminant — a literal, not just `string`
  date: string;               // YYYY-MM-DD — also the unique id
  title: string;
  explanation: string;
  url: string;
  hdurl?: string;             // only images have a high-res version — and not always
  copyright?: string;         // absent for public-domain images
}

/** An APOD entry that is a VIDEO (usually a YouTube/Vimeo embed). */
export interface ApodVideo {
  media_type: 'video';
  date: string;
  title: string;
  explanation: string;
  url: string;
  copyright?: string;
  // NOTE: no `hdurl`. Videos never have one — the type says so, so you can't reach for it.
}

/**
 * A DISCRIMINATED UNION.
 *
 * `media_type` is the discriminant: once you check it, TypeScript NARROWS the
 * type and knows exactly which fields exist.
 *
 *   if (pic.media_type === 'image') {
 *     pic.hdurl   // ✅ exists here (string | undefined)
 *   } else {
 *     pic.hdurl   // ❌ compile error — videos have no hdurl
 *   }
 *
 * The bug class "I forgot the media_type check" becomes impossible to write.
 */
export type Apod = ApodImage | ApodVideo;

/**
 * A LITERAL UNION instead of `number`.
 *
 * `rating: number` would let you write `rating = 47` or `rating = -3`. This
 * makes those a compile error. The set of legal values IS the type.
 */
export type Rating = 0 | 1 | 2 | 3 | 4 | 5;