Indexed Access Types

We can use an indexed access type to look up a specific property on another type:

  1. ts
    type Person = { age: number; name: string; alive: boolean };
    type Age = Person["age"];
    type Age = number

The indexing type is itself a type, so we can use unions, keyof, or other types entirely:

  1. ts
    type I1 = Person["age" | "name"];
    type I1 = string | number
     
    type I2 = Person[keyof Person];
    type I2 = string | number | boolean
     
    type AliveOrName = "alive" | "name";
    type I3 = Person[AliveOrName];
    type I3 = string | boolean

You’ll even see an error if you try to index a property that doesn’t exist:

  1. ts
    type I1 = Person["alve"];
    Property 'alve' does not exist on type 'Person'.2339Property 'alve' does not exist on type 'Person'.

Another example of indexing with an arbitrary type is using number to get the type of an array’s elements. We can combine this with typeof to conveniently capture the element type of an array literal:

  1. ts
    const MyArray = [
    { name: "Alice", age: 15 },
    { name: "Bob", age: 23 },
    { name: "Eve", age: 38 },
    ];
     
    type Person = typeof MyArray[number];
    type Person = {
  2. name: string;
  3. age: number;
  4. }
    type Age = typeof MyArray[number]["age"];
    type Age = number
    // Or
    type Age2 = Person["age"];
    type Age2 = number

You can only use types when indexing, meaning you can’t use a const to make a variable reference:

  1. ts
    const key = "age";
    type Age = Person[key];
    Type 'any' cannot be used as an index type.
    'key' refers to a value, but is being used as a type here. Did you mean 'typeof key'?2538
    2749Type 'any' cannot be used as an index type.
    'key' refers to a value, but is being used as a type here. Did you mean 'typeof key'?

However, you can use a type alias for a similar style of refactor:

  1. ts
    type key = "age";
    type Age = Person[key];