Generics TypeScript: вывести тип из типа аргументов функции?

В вашей сигнатуре функции

declare function create_C<T>(a1: A<T>, a2: (obj: any) => T): C<T>;

есть два сайта вывода для T («сайт вывода» означает «место, где компилятор может попытаться вывести тип для параметра типа»). Один сайт взят из свойства type первого аргумента a1, а другой сайт является типом возвращаемого значения второго аргумента a2. Компилятор смотрит на вызов как

create_C(new B_Component(), () => ({ prop2: 2 });

и пытается вывести T с обоих сайтов. В этом случае есть совпадение: и (new B_Component()).type, и {prop2: 2} могут быть присвоены {prop2: number}. Так что ошибки нет, и вы получаете C<{prop2: number>. В другой ситуации это может быть именно то поведение, которое вы хотите от компилятора.

Вместо этого вы хотите, чтобы компилятор использовал только a1 для вывода T и просто проверял, соответствует ли a2 ему. То есть вы хотите, чтобы T в (obj: any) => T был параметром невыводимого типа (см. Microsoft / TypeScript # 14829). К сожалению, "официальной" поддержки для этого нет. Но, к счастью, есть обходные приемы, которые часто можно использовать, чтобы добиться такого поведения.

Вот один из таких приемов: если вы измените параметр типа на сайте вывода с T на T & {}, это снижает приоритет сайта. Таким образом, компилятор будет склонен сначала делать T выводы из других сайтов вывода и возвращаться к T & {} только в том случае, если он не может сделать вывод из других мест. И тип T & {} очень похож на T (если T является типом объекта, то он в основном такой же), поэтому он не сильно меняет семантику. Давай попробуем:

declare function create_C_better<T>(a: A<T>, b: (obj: any) => T & {}): C<T>;

Поехали:

const c2 = create_C_better(
    new B_Component(),
    () => ({ prop2: 2 }) // error!
    //    ~~~~~~~~~~~~~~ <-- prop1 is missing
)

const c3 = create_C_better(
    new B_Component(),
    () => ({ prop1: "all right", prop2: 2 })
); // C<B>

Там вы получаете желаемую ошибку, когда отсутствует prop1, а когда вы ее исправляете, вы получаете результат типа C<B> по желанию.

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

Ссылка на код

Это связано с secondArgument: (obj: any) => T. Если вы примените вышеупомянутое определение к () => ({ prop2: 2 }) Тип T - { prop2: number }. Вы можете изменить его на что-нибудь другое, чтобы получить желаемый результат. Например.

    interface C<T> {
      firstArgument: A<T>;
      secondArgument: (obj: any) => any;
    }

    export interface A<T> {
      type: T;
    }

    declare function create_C<T>(
      firstArgument: A<T>,
      secondArgument: (obj: any) => any
    ): C<T>;

    interface B {
      prop1: string;
      prop2: number;
    }

    export class B_Component implements A<B> {
      type: B;
      configuration: B = {
        prop1: "",
        prop2: 1
      };
    }
    const b = new B_Component();
    export const c = create_C(b, () => ({ prop2: 2 }));