Сравнение строк в машинописном тексте перед компиляцией

Чтобы компилятор мог отслеживать строковые литеральные типы , соответствующие действительным идентификаторам ребер, нам нужно сделать Package универсальным в объединении этих типов, а также всех типов и интерфейсов, которые содержат такие идентификаторы также должны быть общими.

Что-то вроде этого:

interface IEdge<K extends string = string> {
    id: K
}

interface IModule<K extends string = string> {
    id: string
    data: {
        inputEdges: readonly IEdge<K>[]
    }
}

Здесь я добавил параметр универсального типа K к IEdge и IModule. Если вы их не укажете, они по умолчанию будут string похожи на вашу версию. Кроме того, когда вы создаете sampleModule, компилятор будет делать вывод только string для этих идентификаторов, если вы не дадите ему подсказку, что ему следует уделить больше внимания, например, с утверждением const:

const sampleModule = {
    id: "sampleModule",
    data: {
        inputEdges: [
            {
                id: "sampleEdge"
            },
            {
                id: "anotherEdge"
            }
        ]
    }
} as const;

Это as const заставляет компилятор вывести sampleModule как этот тип:

/* const sampleModule: {
    readonly id: "sampleModule";
    readonly data: {
        readonly inputEdges: readonly [{
            readonly id: "sampleEdge";
        }, {
            readonly id: "anotherEdge";
        }];
    };
} */
    

Итак, теперь компилятор точно знает, что "sampleEdge" и "anotherEdge" являются допустимыми идентификаторами ребер. Также обратите внимание, что inputEdges был выведен как тип массива только для чтения, который технически шире, чем массив для чтения и записи. Вот почему я расширил шрифт IModule<K> до readonly IEdge<K>[]. Это, вероятно, не будет иметь значения, если вам не нужно начинать изменять этот массив постфактум (но я надеюсь, что вы этого не сделаете, поскольку это может изменить допустимые идентификаторы ребер).

Чтобы упростить задачу, я заменю ваш метод init() аргументом конструктора. Таким образом, тип вашего экземпляра пакета может знать об идентификаторах краев с момента его создания. В противном случае нам пришлось бы пытаться сузить тип при вызове init(), что сложно сделать правильно. Технически вы можете сделать это, создав init()метод утверждения, но это не весело. Если кому-то не нужно, чтобы экземпляр пакета сидел без дела до его инициализации, нам следует выполнить инициализацию в конструкторе, что в любом случае более традиционно.

Вот:

class Package<K extends string> {
    constructor(public module: IModule<K>) { }
    recieveOnEdge(
        edgeId: K,
        callback: any
    ) {
        console.info(edgeId, callback)
    }
}

Итак, вы можете видеть, что receiveOnEdge() принимает только edgeId типа K. Давайте проверим это:

const packageInstance = new Package(sampleModule);
// const packageInstance: Package<"sampleEdge" | "anotherEdge">    

Таким образом, компилятор делает вывод, что packageInstance имеет тип Package<"sampleEdge" | "anotherEdge">, что приводит к желаемому поведению с receiveOnEdge():

packageInstance.recieveOnEdge("sampleEdge", "doesNotMatter"); // okay
packageInstance.recieveOnEdge("badEdge", "doesNotMatter"); // error

Площадка ссылка на код