TypeScript Indexed Access Type

​

Syntax

type ExtractedType = TargetType[IndexType];

• TargetType: The object, array, or tuple type being queried.
• IndexType: The type representing the key(s) to look up. This can be a string, numeric, or symbol literal type, a union of literal types, a primitive type (such as string or number when accessing index signatures or arrays), or a generic type parameter (e.g., K extends keyof T).

​

Mechanics and Behavior

​

1. Single Property Extraction

type Configuration = {
  endpoint: string;
  timeout: number;
  secure: boolean;
};

type TimeoutType = Configuration["timeout"]; 
// Result: number

​

2. Union Type Extraction

type EndpointOrSecure = Configuration["endpoint" | "secure"]; 
// Result: string | boolean

​

3. Exhaustive Extraction via keyof

type AllConfigurationValues = Configuration[keyof Configuration]; 
// Result: string | number | boolean

​

4. Array and Tuple Extraction

• Tuples: Indexing with a specific numeric literal extracts the type at that exact position.
• Arrays/Tuples: Indexing with the primitive number type extracts a union of all possible element types within the array or tuple.

type DataTuple = [string, number, boolean];

type FirstElement = DataTuple[0]; 
// Result: string

type AnyTupleElement = DataTuple[number]; 
// Result: string | number | boolean

type StringArray = string[];
type ArrayElement = StringArray[number]; 
// Result: string

​

Strict Type Constraints

1. Invalid indices yield errors: Attempting to use a type that cannot index the target type will result in a compiler error (Type 'X' cannot be used to index type 'Y').
2. Values cannot be used as indices: You cannot pass a runtime variable into an indexed access type unless you extract its type using the typeof operator.

const key = "timeout";

// ERROR: 'key' refers to a value, but is being used as a type here.
type InvalidLookup = Configuration[key]; 

// VALID: Extracts the literal type "timeout" from the constant value.
type ValidLookup = Configuration[typeof key];