Расширение типа объекта аргумента функции

На самом деле не существует конкретного полезного типа, который работал бы таким образом. Вы хотели бы сказать, что разрешите T иметь любой дополнительный ключ, отсутствующий в T, и свойство этого ключа будет иметь тип (val: T) => T. Камнем преткновения является то, что нельзя говорить «любая клавиша, кроме keyof T». Для этого потребуется что-то вроде «подписи индекса отдыха» или «типа свойства по умолчанию», как это требуется в microsoft/TypeScript#17867 . Но это не часть языка. Различные обходные пути обсуждаются в разделе Как определить тип Typescript как словарь строк, но с одним числовым свойством «id» . Конечно, вы могли бы описать общее ограничение , которое проверяет такие объекты, но оно не позволит вам определить тип параметра добавляемых вами функций. Делать это таким образом - это беспорядок.

Было бы гораздо лучше добавить одно свойство с известным ключом (например, fns), которое содержит значения типа (val: T) => T... сместив эти функции на один уровень вниз. Это можно описать как определенный тип следующим образом:

type Expand<T> =
  T extends object ? {
    [K in keyof T]: Expand<T[K]> } &
  { fns?: { [k: string]: (val: T) => T } } :
  T

Это рекурсивный условный тип , который пересекает каждый тип объекта с объектом, дополнительно содержащим свойство fns с сигнатурой индекса. Для

type ICreate = {
  param: {
    first: {
      value: number;
    }
  }
}

расширенная версия эквивалентна

type ExpandICreate = Expand<ICreate>;
/* type ExpandICreate = {
    param: {
        first: {
            value: number;
            fns?: { [k: string]: (val: { value: number }) => { value: number }}
        }
        fns?: { [k: string]: 
          (val: { first: { value: number }}) => { first: { value: number }}
        }
    }
    fns?: { [k: string]: (val: ICreate) => ICreate }
} */

Этого достаточно, чтобы ваша исходная версия работала, но подпись индекса не «помнит», какие ключи присутствуют, а дополнительные свойства не «помнит», есть они или нет:

const create = <T,>(params: Expand<T>) => params;

const result = create<ICreate>({
  param: {
    first: {
      value: 1,
      fns: {
        change: (val) => val,
      }
    }
  }
});

result.param.first.value.toFixed(); // okay
result.param.first.fns.change({ value: 1 }); // error, fns might be undefined
result.param.first.fns?.change({ value: 1 }); // okay
result.param.first.fns?.whaaaaa({ value: 1 }); // also okay

Если вы хотите, чтобы TS знал, что fns существует под first и что change существует под fns и что whaaaaaa не существует под fns, то вам нужно сделать create() еще более общим. Вы хотите написать

const create = <T, U extends Expand<T>>(params: U) => params;

но невозможно вызвать это, если вы вручную указываете T и компилятор делает вывод U. Это будет microsoft/TypeScript#26242 и это не часть языка. Обходной путь здесь — каррирование:

const create = <T,>() => <U extends Expand<T>>(params: U) => params;

Итак, вы вызываете create<ICreate>() и возвращает функцию, которую вы вызываете с помощью params:

const result = create<ICreate>()({
  param: {
    first: {
      value: 1,
      fns: {
        change: (val) => val,
      }
    }
  }
})

result.param.first.value.toFixed(); // okay
result.param.first.fns.change({ value: 1 }); // okay
result.param.first.fns.whaaaaa({ value: 1 }); // error

Теперь это работает так, как вам хотелось бы.

Детская площадка, ссылка на код