src/lib/api.ts — tipo sargas prie ribos

Kodo stulpelyje — src/lib/api.ts. Du sprendimai daro visą darbą.

1. request() grąžina Promise<unknown>, ne Promise<any>. Skirtumas esminis:

any — „nesirūpink tipais, daryk ką nori". Skylė.
unknown — „turi kažką, bet dar nežinai ką; privalai patikrinti prieš naudodamas".

Su unknown kompiliatorius neleis iškart naudoti rezultato kaip Apod[] — priverčia praeiti pro sargą.

2. Tipo sargas isApod:

function isApod(value: unknown): value is Apod {
  if (typeof value !== 'object' || value === null) return false;
  const v = value as Record<string, unknown>;
  return (
    typeof v['date'] === 'string' &&
    typeof v['url'] === 'string' &&
    (v['media_type'] === 'image' || v['media_type'] === 'video')
  );
}

value is Apod — tai tipo predikatas. Jei funkcija grąžina true, kompiliatorius nuo tos vietos laiko value kaip Apod. Tikroji patikra vyksta vykdymo metu (tikrina laukus), o jos rezultatas atrakina tipą kompiliavimo metu.

Ir fetchPictures naudoja jį prie ribos:

return data.filter(isApod).reverse();   // išmeta bet ką netvarkingą, nelūžta

.filter(isApod) — gudru: ne tik patikrina, bet ir išfiltruoja blogus įrašus. Jei NASA grąžins vieną sugadintą nuotrauką, ji tiesiog dingsta, o galerija veikia. Grąžinamas tipas — jau švarus Apod[].

Patarimas. Sargą rašom vieną kartą, vienoje vietoje — prie tinklo ribos. Toliau visa programa dirba su patikimu Apod, be jokių papildomų patikrų. Tai — „stumk any/unknown į pakraščius, o šerdį laikyk griežtai tipizuotą". Riba yra ten, kur nepatikimas pasaulis susitinka su tavo tipais.

api.ts SUKURTI

Sukurk šį failą kataloge src/lib/

// The API layer.
//
// The important idea: `response.json()` returns `any`. That `any` is a HOLE in
// the type system — it lets unchecked, unshaped data flow into an app that
// believes it is well-typed. Types describe what we EXPECT; they do NOT check
// what we GOT. TypeScript will not save you from an API that changes.
//
// So we VALIDATE at the boundary. The type guard below confirms what we got.

import type { Apod } from '../types.js';
import { NetworkError, RateLimitError, ApiError } from './errors.js';

const API_URL = 'https://api.nasa.gov/planetary/apod';
const API_KEY = import.meta.env.VITE_NASA_API_KEY ?? 'DEMO_KEY';

/**
 * A TYPE GUARD. The return type `value is Apod` tells the compiler: "if this
 * returns true, you may treat `value` as an Apod." That is how untrusted
 * `unknown` data becomes a trusted, typed value.
 */
function isApod(value: unknown): value is Apod {
  if (typeof value !== 'object' || value === null) return false;
  const v = value as Record<string, unknown>;
  return (
    typeof v['date'] === 'string' &&
    typeof v['title'] === 'string' &&
    typeof v['url'] === 'string' &&
    (v['media_type'] === 'image' || v['media_type'] === 'video')
  );
}

// request() returns Promise<unknown> — NOT Promise<any>. The caller is FORCED
// to validate before it can use the result as anything.
async function request(url: string): Promise<unknown> {
  let response: Response;
  try {
    response = await fetch(url);
  } catch {
    throw new NetworkError();        // fetch only rejects on a network failure
  }
  if (response.ok) return response.json();
  if (response.status === 429) throw new RateLimitError();
  throw new ApiError(response.status);
}

export async function fetchPictures(url: string): Promise<Apod[]> {
  const data = await request(url);
  if (!Array.isArray(data)) throw new ApiError(500);
  return data.filter(isApod).reverse();   // drop anything malformed, don't crash the gallery
}