Quiero declarar un tipo Map<T, K> y las claves en el mapa son clases y los valores del mapa deben ser instancias de la clave correspondiente. Por ejemplo:
class X {} type InstanceMap = // the type that I want to declare const map: InstanceMap = new Map(); map.set( X, new X() );No creo que esto sea posible, requeriría tipos genéricos existencialmente cuantificados . Tu puedes hacer
type InstanceMap<T> = Map<{new (): T}, T> usando un tipo de constructor para la clave, pero esto solo le permitiría almacenar una clase específica (¿y tal vez subclases?) Pero no cualquier clase. Tu código se compilaría con const map: InstanceMap<X> = new Map(); , pero map.set(Y, new Y()) fallaría.
En lugar de intentar instanciar un tipo de Map , podríamos intentar crear nuestra propia interfaz donde el cuantificador existencial se delegue a los métodos individuales:
interface InstanceMap { set<T>(c: new () => T, i: T): void; get<T>(c: new () => T): T | undefined; } Esto funciona para set y get , pero falla tan pronto como intenta declarar forEach o iteradores.