Contraintes génériques avec extends

Bienvenue

Le problème en l’absence de contraintes

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

Ajouter une contrainte

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

Contraindre à une interface

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

Contrainte `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

Étendre une union

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

Contraindre à un constructeur

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

Plusieurs contraintes avec une intersection

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

Héritage des contraintes

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

T s’étend lui-même (récursif)

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;
}

Messages d’erreur liés aux contraintes

Vérification rapide

Récapitulatif