Ograniczenia generyczne za pomocą extends

Wprowadzenie

Problem bez ograniczeń

function getLength<T>(val: T): number {
  // return val.length; // Error — T might not have .length
}

Dodawanie ograniczenia

function getLength<T extends { length: number }>(val: T): number {
  return val.length;
}
getLength('hello');  // OK — string has .length
getLength([1, 2]);   // OK — array has .length
// getLength(42);   // Error — number has no .length

Ograniczanie do interfejsu

interface Named { name: string; }
function greet<T extends Named>(person: T): string {
  return 'Hello, ' + person.name;
}

Ograniczenie keyof

function getProperty<T, K extends keyof T>(obj: T, key: K): T[K] {
  return obj[key];
}
const age = getProperty({ name: 'Alice', age: 30 }, 'age'); // number

Ograniczanie do unii

type Status = 'active' | 'inactive' | 'banned';
function setStatus<T extends Status>(status: T): void {
  console.log('Setting status:', status);
}

Ograniczanie do konstruktora

function create<T>(ctor: new () => T): T {
  return new ctor();
}

Wiele ograniczeń za pomocą przecięcia

interface Serializable { serialize(): string; }
interface Loggable { log(): void; }
function process<T extends Serializable & Loggable>(item: T): void {
  item.log();
  console.log(item.serialize());
}

Dziedziczenie ograniczeń

class Animal { breathe() { return 'breathing'; } }
function care<T extends Animal>(a: T): string { return a.breathe(); }

T rozszerza samo siebie (rekurencyjnie)

interface Comparable<T> { compareTo(other: T): number; }
function max<T extends Comparable<T>>(a: T, b: T): T {
  return a.compareTo(b) >= 0 ? a : b;
}

Komunikaty błędów ograniczeń

Szybkie sprawdzenie

Podsumowanie