Typescript Как проверить что в дженерик передается не пустой объект?

Question

[nskaskyou]

Привет всем.

Есть класс
сlass Test<T> {}
Каким образом можно сказать что T должен быть объектом и при этом как минимум с одним ключем?

Пока что есть только
сlass Test<T extends Record<string, any>> {}
но это не распознает пустой объект

Заранее спасибо

Comments

[WbICHA]

Откровенно говоря эта проверка чуть более, чем ненужна, а если уж и нужно, то, в целом, лучше делать как Alexandroppolus , наверное, но если очень надо, можно сделать так:

class Test<T extends { 
  [Key in ([keyof T] extends [never] ? 'Expected at least one property' : keyof T)]: unknown 
}> {

[Alexandroppolus]

WbICHA, фига себе! не знал что выражение справа от extends может зависеть от T...

тогда его тоже можно сделать переиспользуемым:

type Check<T> = { 
  [Key in ([keyof T] extends [never] ? 'Expected at least one property' : keyof T)]: unknown 
};

class Test<T extends Check<T>> {}

если нужно ещё проверять, что T - объект, то Check будет таким

type Check<T> = Record<PropertyKey, unknown> & {
  [Key in ([keyof T] extends [never] ? 'Expected at least one property' : keyof T)]: unknown 
};

[WbICHA]

Alexandroppolus,

фига себе! не знал что выражение справа от extends может зависеть от T...

Да я сам удивился. :D
Причём сам Т использовать нельзя вне квадратных скобок.)

если нужно ещё проверять, что T - объект, то Check будет таким

Откуда PropertyKey?

class Test<T extends [T] extends [object] 
  ? Record<[keyof T] extends [never] ? 'Expected at least one property' : keyof T, unknown> 
  : never> {

[Alexandroppolus]

WbICHA, PropertyKey - стандартный тип из TS
PropertyKey = string | number | symbol

[WbICHA]

Alexandroppolus, нифигасе. О_о
Нигде ни разу его не видел.

[WbICHA]

Alexandroppolus, забавно, его, по сути, нет в доке тайпскрипта. Он встречается только один раз, и то, упоминается лишь мельком.

Answer 1

[Alexandroppolus]

Параметр T ведь как-то будет использоваться в классе? Наверняка там есть поля с таким типом, или функции с параметром типа T? Иными словами, значения T будут как-то передаваться снаружи?

если да, то можно добавить проверку, которая превращает пустой объект в never и в итоге им нельзя пользоваться

type Check<T extends {}> = {} extends T ? never : T;

class Test<T extends {}> {
    func(x: Check<T>) {
        console.log(x);
    }
}

const obj = new Test<{}>();

obj.func({}); // ошибка TS