Typeof Type Operator

The typeof type operator

JavaScript already has a typeof operator you can use in an expression context:

  1. ts
    // Prints "string"
    console.log(typeof "Hello world");

TypeScript adds a typeof operator you can use in a type context to refer to the type of a variable or property:

  1. ts
    let s = "hello";
    let n: typeof s;
    let n: string

This isn’t very useful for basic types, but combined with other type operators, you can use typeof to conveniently express many patterns. For an example, let’s start by looking at the predefined type ReturnType<T>. It takes a function type and produces its return type:

  1. ts
    type Predicate = (x: unknown) => boolean;
    type K = ReturnType<Predicate>;
    type K = boolean

If we try to use ReturnType on a function name, we see an instructive error:

  1. ts
    function f() {
    return { x: 10, y: 3 };
    }
    type P = ReturnType<f>;
    'f' refers to a value, but is being used as a type here. Did you mean 'typeof f'?2749'f' refers to a value, but is being used as a type here. Did you mean 'typeof f'?

Remember that values and types aren’t the same thing. To refer to the type that the value f has, we use typeof:

  1. ts
    function f() {
    return { x: 10, y: 3 };
    }
    type P = ReturnType<typeof f>;
    type P = {
  2. x: number;
  3. y: number;
  4. }

Limitations

TypeScript intentionally limits the sorts of expressions you can use typeof on.

Specifically, it’s only legal to use typeof on identifiers (i.e. variable names) or their properties. This helps avoid the confusing trap of writing code you think is executing, but isn’t:

  1. ts
    // Meant to use = ReturnType<typeof msgbox>
    let shouldContinue: typeof msgbox("Are you sure you want to continue?");
    ',' expected.1005',' expected.