字符串文字参数作为编译时类型名称

Question

给定以下类型：

declare namespace Word {
    interface Application { }
    interface Document { 
        Save(): void;
    }
}

我可以写多个重载如下：

interface ActiveXObject {
    new(progid: 'Word.Application'): Word.Application;
    new(progid: 'Word.Document'): Word.Document;
}

它采用各种字符串文字并返回相应的类型。因此，以下内容无法编译：

var doc = new ActiveXObject('Word.Document');

//compilation error here -- Word.Document doesn't have this method
doc.BadMethod();

是否可以编写一个返回类型为字符串字面量引用的类型的重载？

类似的东西：

interface ActiveXObject {
    new(progid: string): typefrom(progid);
}

并且编译器会将以下内容标记为无法识别的类型：

var nonexistentType = new ActiveXObject('Word.NonexistentType');

Answer 1

您可以利用映射类型和查找类型。但是，您仍然需要声明一个类型来查找。

link

declare namespace Word {
    interface Application { }
    interface Document { 
        Save(): void;
    }
}
type Mapping = {
    Application: Word.Application,
    Document: Word.Document
}
interface ActiveXObject {
  new<K extends keyof Mapping>(k: K): Mapping[K]
}

var doc = new ActiveXObject('Document');

//compilation error here -- Word.Document doesn't have this method
doc.BadMethod();

如果你可以定义命名空间 Word 来导出类，你有更好的技巧。

declare namespace Word {
    export class Application { }
    export class Document { 
        Save(): void;
    }
}

interface ActiveXObject {
  new<K extends keyof typeof Word>(k: K): (typeof Word)[K]['prototype']
}

var doc = new ActiveXObject('Document');

doc.BadMethod(); // error
doc.Save(); // ok