Машинопись - постепенное расширение типа объекта

TypeScript 3.7 представил функции утверждения. который можно использовать для сужения типа передаваемых аргументов или даже this. Функции утверждения выглядят как охранники определяемых пользователем типов, но вы добавляете модификатор asserts перед предикатом типа. Вот как можно реализовать Extendable как класс с add() в качестве метода утверждения:

class Extendable {
    add<K extends PropertyKey, V>(key: K, val: V): asserts this is Record<K, V> {
        (this as unknown as Record<K, V>)[key] = val;
    }
}

Когда вы вызываете m.add(key, val), компилятор утверждает, что m будет иметь свойство с ключом с типом key и соответствующим значением с типом val. Вот как бы вы это использовали:

const m: Extendable = new Extendable();
//     ~~~~~~~~~~~~ <-- important annotation here!
m.add('one', 1)
m.add('two', 2)

console.log(m.one.toFixed(2)); // 1.00
console.log(m.two.toExponential(2)); // 2.00e+0

Все работает так, как вы ожидаете. После вызова m.add('one', 1) вы можете обратиться к m.one без предупреждения компилятора.

К сожалению, существует довольно серьезное предупреждение; функции утверждения работают, только если они имеют явно аннотированный тип. Согласно соответствующему запросу на вытягивание, «это конкретное правило существует для того, чтобы анализ потока управления потенциальных вызовы утверждений не запускают циклический дальнейший анализ ".

Это означает, что это ошибка:

const oops = new Extendable(); // no annotation
  oops.add("a", 123); // error!
//~~~~~~~~ <-- Assertions require every name in the call target to be declared with
// an explicit type annotation.

Единственное отличие состоит в том, что тип oops предполагается как Extendable вместо аннотированного как Extendable, как m. И вы получаете сообщение об ошибке при вызове oops.add(). В зависимости от вашего варианта использования это может быть либо несущественным, либо показательным.

Хорошо, надеюсь, что это поможет; удачи!

Ссылка на код