admin管理员组文章数量:1023867
I want (for example) to forbid Date instances when calling a function that accepts objects:
type ExcludeDate<T> = T extends Date ? never : T
function f<T extends object>(arg: T & ExcludeDate<T>) {
}
f(new Date()) // Error: Argument of type 'Date' is not assignable to parameter of type 'never'.(2345)
Is there any simpler way to achieve the same result?
I'm looking for something like this (which doesn't work of course):
function f<T extends Exclude<object, Date>>(arg: T) {
}
I want (for example) to forbid Date instances when calling a function that accepts objects:
type ExcludeDate<T> = T extends Date ? never : T
function f<T extends object>(arg: T & ExcludeDate<T>) {
}
f(new Date()) // Error: Argument of type 'Date' is not assignable to parameter of type 'never'.(2345)
Is there any simpler way to achieve the same result?
I'm looking for something like this (which doesn't work of course):
function f<T extends Exclude<object, Date>>(arg: T) {
}
1 Answer
Reset to default 1You can pass the generic param to a generic conditional type. To break the circular reference, use a mapped type:
Playground
type NotType<T extends object, U extends object, M = {[K in keyof T]: T[K]}> = M extends object ? M extends U ? never : M : never;
function f<T extends NotType<T, Date>>(arg: T) {
}
f(new RegExp('')) // ok
f(1); // not an object
f(new Date) // error
I want (for example) to forbid Date instances when calling a function that accepts objects:
type ExcludeDate<T> = T extends Date ? never : T
function f<T extends object>(arg: T & ExcludeDate<T>) {
}
f(new Date()) // Error: Argument of type 'Date' is not assignable to parameter of type 'never'.(2345)
Is there any simpler way to achieve the same result?
I'm looking for something like this (which doesn't work of course):
function f<T extends Exclude<object, Date>>(arg: T) {
}
I want (for example) to forbid Date instances when calling a function that accepts objects:
type ExcludeDate<T> = T extends Date ? never : T
function f<T extends object>(arg: T & ExcludeDate<T>) {
}
f(new Date()) // Error: Argument of type 'Date' is not assignable to parameter of type 'never'.(2345)
Is there any simpler way to achieve the same result?
I'm looking for something like this (which doesn't work of course):
function f<T extends Exclude<object, Date>>(arg: T) {
}
-
1
This is not really possible, since a
Dateis anobject. A callf<object>(new Date())will always succeed at the type level. – Bergi Commented Nov 28, 2024 at 12:59 -
1
TS doesn't have negated types as requested in ms/TS#4196. You could use generics like you're doing to try to catch
Dates. Or you could approximate "not aDate" like "anobjectwithout a definedgetFullYearproperty" as shown in this playground link. It's not perfect since it will possibly exclude non-Dates, but in practice things like this are good enough (who putsgetFullYearin a random object?). Does that fully address the question? If so I'll write an answer or find a duplicate. If not, what's missing? – jcalz Commented Nov 28, 2024 at 23:55 - @jcalz Thanks for your reply and the link to [github/microsoft/TypeScript/issues/4196](ms/TS#4196). I will use Alexander Nenashev suggestion, which seems to work just fine. – Franck Wolff Commented Nov 29, 2024 at 13:39
1 Answer
Reset to default 1You can pass the generic param to a generic conditional type. To break the circular reference, use a mapped type:
Playground
type NotType<T extends object, U extends object, M = {[K in keyof T]: T[K]}> = M extends object ? M extends U ? never : M : never;
function f<T extends NotType<T, Date>>(arg: T) {
}
f(new RegExp('')) // ok
f(1); // not an object
f(new Date) // error
本文标签： typescriptHow to narrow the object type by excluding specific class instancesStack Overflow
版权声明：本文标题：typescript - How to narrow the object type by excluding specific class instances? - Stack Overflow 内容由热心网友自发贡献，该文观点仅代表作者本人， 转载请联系作者并注明出处：http://it.en369.cn/questions/1745518723a2154213.html， 本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容，一经查实，本站将立刻删除。
Dateis anobject. A callf<object>(new Date())will always succeed at the type level. – Bergi Commented Nov 28, 2024 at 12:59Dates. Or you could approximate "not aDate" like "anobjectwithout a definedgetFullYearproperty" as shown in this playground link. It's not perfect since it will possibly exclude non-Dates, but in practice things like this are good enough (who putsgetFullYearin a random object?). Does that fully address the question? If so I'll write an answer or find a duplicate. If not, what's missing? – jcalz Commented Nov 28, 2024 at 23:55