Почему неправильно формируется тип?

Question

[Incold]

Здравствуйте! Столкнулся с проблемой типизации компоненты
Типизация пропсов компоненты:

// Основная проблема в этом типе
type FunctionParams<U> = U extends undefined
  ? {
      page: number;
      limit: number;
    }
  : {
      page: number;
      limit: number;
    } & U;

interface IProps<T, U> {
  queries?: U;
  getList: (
    props: FunctionParams<U>
  ) => AxiosPromise<IAxiosPaginatedResponse<T>>;
  ...
}

Пример вызова:

const filters = {
   search:  '';
   city: 1;
 };
  <Pagination
       getList={getList}
       queries={filters}
       ...
   />

Функция getList:

export const getList = (props: {
  page: number;
  limit: number;
  search: string;
  city: number;
}): AxiosPromise<IAxiosPaginatedResponse<IListItem>> => {
  return ...
};

Задача состоит в том, чтобы совпадало количество (и типы) пропсов передаваемых в функцию, т.е. в рамках примера, чтобы в queries обязательно передавалось search и city, иначе выкидывать ошибку
Однако при передаче лишнего свойства в queries или если закоментить передачу queries, ошибка не появляется, вместо этого (в ide) тип пропса getList преобразуется в вид:
Если не передавать queries

(props: ({page: number, limit: number} & {page: number, limit: number, search: string, city: number}) => ...

Если передать в queries лишнее свойство, например, newProp: string

(props: ({page: number, limit: number} & {newProp: string, search: string, city: number}) => ...

Почему в первой ошибке не срабатывает условный тип (если U автоматически формирует тип из параметров функции, то как этого избежать, другими словами, как правильно написать проверку), а во второй не ругается на лишнее свойство?

Заранее, спасибо, за любую помощь!

Comments

[WbICHA]

Честно говоря, не очень понятно в чём именно проблема и что конкретно ты хочешь получить.
Можно более конкретные примеры?

[Aetae]

Сделай минимальный пример тут https://www.typescriptlang.org/play

[Incold]

WbICHA, Aetae, добрый вечер, спасибо, что откликнулись.
Выложил пример сюда:
https://www.typescriptlang.org/play?#code/JYWwDg9g...

[Aetae]

Incold, =)
Добавь ещё примеров: вот так делаю так получаю - ок, так делаю - должен получить такую-то ошибку но нет.

Пока ты просто скопировал код из поста, и лично мне лень пытаться разгадать ребус. Тебе может оно очевидно и я может пойму если повтыкаю и поэкспериментирую полчасика, но я лучше на котиков посмотрю, пока ты не разжуёшь или кто-то ещё не ответит.)

[Aetae]

Incold, но если я что-то понял, то у тебя не получится нормальным образом, т.к. в ts структурная типизация, и можно спокойно слать лишнее:

const getList = (props: {
  page: number;
  limit: number;
  search: string;
  city: number;
}) => {
  console.log(props)
};

const filters =  {
  search: '',
  city: 1,
  page: 1,
  limit: 1,
  оппа: 1
};

getList(filters) // ok

Есть всякие жуткие полурабочие хаки на эут тему, но тут уж сам гугли если захочешь с этим связаться.

[Incold]

Aetae, про хаки понял, загуглю, но на всякий случай, добавил пару комментариев (внутри App): https://www.typescriptlang.org/play?#code/JYWwDg9g...

[Aetae]

Incold, вот наговнял что-то. Честно говоря даже я сам хз почему оно работает, случайно вышло =\. Но сообщения об ошибках недружелюбные.

[WbICHA]

Aetae, Incold, я бы переписал на вот так всё же, понятнее, имхо.
https://www.typescriptlang.org/play?#code/JYWwDg9g...
Логика та же.

[Aetae]

WbICHA, я предпочитаю на время тестирования не разбирать на субтипы, мне так легче охватить взором картину происходящего.

Это должно давать ошибку:

<Pagination
        getList={getList}
      />

Без queries должно принимать только функцию с дефалтными параметрами.
Ну и сообщения об ошибках у тебя ничуть не лучше моих.)

[WbICHA]

Aetae,

я предпочитаю на время тестирования не разбирать на субтипы, мне так легче охватить взором картину происходящего.

Хз, для меня то, что получилось у тебя, это какая-то каша. :D

Это должно давать ошибку:
Без queries должно принимать только функцию с дефалтными параметрами.

Подожди, откуда ты это взял? У ТСа кверис опционален без каких-либо условий.

Ну и сообщения об ошибках у тебя ничуть не лучше моих.)

Точно, хотел отметить, что ошибка просто 10 из 10 и поэтому желание так реализовать ещё аукнется.)
А ошибку получше и не получить, по сути.

Incold Aetae Меня тут осенило немного.) Не идеально, но решение рабочее, достаточно информативное и надёжно типизировано.)
https://www.typescriptlang.org/play?keyofStringsOn...

[Aetae]

WbICHA, ну ты хакер.)

Подожди, откуда ты это взял?

Последний закомментченный пример(

spoiler

// Если вообще не передавать queries, то тип пропса getList станет: 
//   (props: {
//     page: number;
//     limit: number;
// } & {
//     page: number;
//     limit: number;
//     search: string;
//     city: number;
// }) => void
// Это тоже должно быть ошибкой, т.к., во-первых, тип должен быть, т.к. по идее должен срабатывать условный тип:
//   (props: {
//     page: number;
//     limit: number;
//   }) => void
// а не тот, что на выходе, и, во-вторых, ts должен ругаться, т.к. функция ожидает большее количество свойств в объекте

)

[WbICHA]

Aetae, в таком случае твоё решение более верное. Я его адаптировал под отображение такой же ошибки, только вчера ночью тостер решил откинуться на 50% (ссылался на жс скрипты по мёртвой ссылке), так что постараюсь вечером скинуть решение.)
Но, конечно, решение костыльное шо ппц и, главное, непонятно для чего это всё.)

[Aetae]

Incold, WbICHA, чуть упростил и причесал, теперь понятно что происходит более-менее, даже слегка лучше сообщения.)

[WbICHA]

Aetae, красиво, хорош.)
Обновил твоё решение чтобы любую функцию передать можно было, а не только с возвращаемым значением void для функции с названием get*.) И, естественно, перенёс свои псевдоошибки:
https://www.typescriptlang.org/play?keyofStringsOn...

[Incold]

WbICHA, Aetae, спасибо, большое, продублируйте ваши решения в ответ на вопрос, чтобы я смог их отметить как правильные (если нужно, конечно)))

Answer 1

[WbICHA]

После множество итераций совместно с Aetae мы пришли к такому относительно красивому решению:
https://www.typescriptlang.org/play?keyofStringsOn...