Mastering TypeScript: Understanding the Power of extends

The extends keyword in TypeScript is a Swiss Army knife of sorts. It's used in multiple contexts, including inheritance, generics, and conditional types. Understanding how to use extends effectively can lead to more robust, reusable, and type-safe code.

Inheritance using extends

One of the primary uses of extends is in inheritance, allowing you to create new interfaces or classes that build upon existing ones.

interface User {
  firstName: string;
  lastName: string;
  email: string;
}

interface StaffUser extends User {
  roles: string[];
  department: string;
}

const regularUser: User = {
  firstName: "John",
  lastName: "Doe",
  email: "[e-mail]"
};

const staffMember: StaffUser = {
  firstName: "Jane",
  lastName: "Smith",
  email: "[e-mail]",
  roles: ["Manager", "Developer"],
  department: "Engineering"
};

In this example, StaffUser extends User, inheriting all its properties and adding new ones. This allows us to create more specific types based on more general ones.

Class Inheritance

The extends keyword is also used for class inheritance:

class Animal {
  constructor(public name: string) {}

  makeSound(): void {
    console.log("Some generic animal sound");
  }
}

class Dog extends Animal {
  constructor(name: string, public breed: string) {
    super(name);
  }

  makeSound(): void {
    console.log("Woof! Woof!");
  }

  fetch(): void {
    console.log(`${this.name} is fetching the ball!`);
  }
}

const myDog = new Dog("Buddy", "Golden Retriever");
myDog.makeSound(); // Output: Woof! Woof!
myDog.fetch(); // Output: Buddy is fetching the ball!

Here, Dog extends Animal, inheriting its properties and methods, and also adding its own.

Type Constraints in Generics

The extends keyword is crucial when working with generics, allowing us to constrain the types that can be used with a generic function or class.

interface Printable {
  print(): void;
}

function printObject<T extends Printable>(obj: T) {
  obj.print();
}

class Book implements Printable {
  print() {
    console.log("Printing a book.");
  }
}

class Magazine implements Printable {
  print() {
    console.log("Printing a magazine.");
  }
}

const myBook = new Book();
const myMagazine = new Magazine();

printObject(myBook);      // Output: Printing a book.
printObject(myMagazine);  // Output: Printing a magazine.
// printObject(42);       // Error, number doesn't have a 'print' method

1. interface Printable: Here, we define an interface named Printable. This interface declares a contract that any class implementing it must adhere to. Tha contract specifies that any class implementing Printable must provide a method named print that takes no arguments and returns void
2. function printObject<T extends Printable>(obj: T): This is a generic function named printObject. It takes a single argument named obj, which is type T. The type parameter T is constrained to types that extend (implement) the Printable interface can bef used as the argument to this function.
3. class Book implements Printable and class Magazine implements Printable: Here, we define two classes, Book and Magazine, both of which implement the Printable interface. This means that these classes must provide a print method as required by the contract of the Printable interface.
4. const myBook = new Book(); and const myMagazine = new Magazine();: We create instances of the Book and Magazine classes.
5. printObject(myBook); and printObject(myMagazine);: We call the printObject function with the instances of Book and Magazine. Since both Book and Magazine classes implement the Printable interface, they fulfill the constraint of the T extends Printable type parameter. Inside the function, the print method of the appropriate class is called, resulting in the expected output.
6. // printObject(42);: If we try to call printObject with a type that doesn't implement the Printable interface, such as the number 42, TypeScript will raise an error. This is because the type constraint is not satisfied, as number doesn't have a print method as required by the Printable interface.

In summary, the extends keyword in the context of function printObject<T extends Printable>(obj: T) is used to ensure that the type T used as the argument adheres to the contract defined by the Printable interface. This ensures that only types with a print method can be used with the printObject function, enforcing a specific behavior and contract for the function's usage.

Conditional Types

T extends U ? X : Y

• T is the type that being checked
• U is the condition type that T is being checked against.
• X is the type that the conditional type evaluates to if T extends (is assignable to) U
• Y is the type that the conditional type evaluates to if T does not extend U

type ExtractNumber<T> = T extends number ? T : never;

type NumberOrNever = ExtractNumber<number>; // number
type StringOrNever = ExtractNumber<string>; // never

Here, the ExtractNumber type takes a type parameter T. The conditional type checks whether T extends the number type. if does, the type resolves to T (which is number type). If it doesn't, the type resolves to never.

The extends Keyword with Union Types

Now, let's consider the expression A | B | C extends A. This might seem counterintuitive at first, but in TypeScript, this condition is actually false. Here's why:

1. In TypeScript, when you use extends with a union type on the left side, it's equivalent to asking: "Is every possible type in this union assignable to the type on the right?"
2. In other words, A | B | C extends A is asking: "Can A be assigned to A, AND can B be assigned to A, AND can C be assigned to A?"
3. While A can certainly be assigned to A, B and C might not be assignable to A (unless they are subtypes of A), so the overall result is false.

type Fruit = "apple" | "banana" | "cherry";
type CitrusFruit = "lemon" | "orange";

type IsCitrus<T> = T extends CitrusFruit ? true : false;

type Test1 = IsCitrus<"lemon">; // true
type Test2 = IsCitrus<"apple">; // false
type Test3 = IsCitrus<Fruit>; // false

In this example, IsCitrus<Fruit> is false because not all fruits in the Fruit union are CitrusFruit.

Best Practices and Tips

• Use extends for meaningful relationships: Only use inheritance when there's a clear "is-a" relationship between types.
• Prefer composition over inheritance: In many cases, composition (using interfaces and type intersections) can be more flexible than class inheritance.
• Be cautious with deep inheritance chains: Deep inheritance can make code harder to understand and maintain.
• Leverage conditional types for flexible APIs: Use conditional types with extends to create APIs that adapt based on input types.
• Use extends in generics to create reusable, type-safe functions: This allows you to write functions that work with a variety of types while still maintaining type safety

Comments

[Kudzai Murimi]

Thanks for sharing with the community, keep up the good work