// o,o
T1: {
class A {
a: number;
b: string;
c: boolean;
}
// - ,-
type $a<T> = Partial<{ [k in keyof T]: any }>;
type $j<O, T extends $a<O>> = Omit<O, keyof T> & T;
// -, -
const qqqq: $j<A, { b: Date }> = new A() as any;
// -.-
const aa = qqqq.a // number
const bb = qqqq.b // Date
const cc = qqqq.c // boolean
}
// o,o
T2: {
class A {
a: number;
b: string;
c: boolean;
}
type $a<T> = Partial<{ [k in keyof T]: any }>;
type $j<O, T extends $a<O>> = Omit<O, keyof T> & T;
// - ,-
type $foo = <B, R extends $a<B>>(base: B) => $j<B, R>;
const foo: $foo = null as any;
// -, -
const qqqq = foo<A, { b: Date }>(new A());
// -.-
const aa = qqqq.a // number
const bb = qqqq.b // Date
const cc = qqqq.c // boolean
}
// o,o
T3: {
class Q {
q: number
constructor(props: { q: string }) { }
}
class A {
a: number;
b: string;
c: boolean;
d: { q: string }
}
// -.-
type $modifier = (new (...args: any[]) => any) | ((...args: any[]) => any);
type $a<T> = Partial<{ [k in keyof T]: any }>;
type $b<T> = Partial<{ [k in keyof T]: $modifier }>;
type $j<B, R extends $a<B>> = {
[key in keyof B]: R[key] extends new (...args: any[]) => infer Q
? Q
: R[key] extends (...args: any[]) => infer Q
? Q
: B[key];
}
// - ,-
type $foo = <B, R extends Partial<{ [k in keyof B]: $modifier }>>(base: B, replace: R) => $j<B, R>;
const foo: $foo = null as any;
// -, -
const qqqq = foo(new A(), { a: q => ({ q: '' }), b: Date, c: String, d: Q });
// -.-
const aa = qqqq.a // { q: string; }
const bb = qqqq.b // Date !as instance
// bb.toLocaleDateString()
const cc = qqqq.c // String !as instance
// cc.toLowerCase()
const dd = qqqq.d // Q
// dd.q // number
}
// o,o
T4: {
class A {
a: { sum: number };
b: string;
c: boolean;
}
// -.-
type $modifier<T> = (new (props: T) => any) | ((props: T) => any);
type $a<T> = Partial<{ [k in keyof T]: any }>;
type $b<T> = Partial<{ [k in keyof T]: $modifier<T[k]> }>;
type $j<B, R extends $a<B>> = {
[key in keyof B]: R[key] extends new (...args: any[]) => infer Q
? Q
: R[key] extends (...args: any[]) => infer Q
? Q
: B[key];
}
// - ,-
type $foo = <B, R extends $b<B>>(base: B, replace: R) => $j<B, R>;
const foo: $foo = null as any;
// -, -
const qqqq = foo(new A(), { a: ({ sum }) => ({ sum: '' + sum }) });
// -.-
const aa = qqqq.a // { sum: string; }
const bb = qqqq.b // string
const cc = qqqq.c // boolean
}
class B<Class, Key extends keyof Class, T> { smth!: Key; } type ObjectFromEntries<Entries extends [keyof any, any][]> = { [key in Entries[number][0]]: key extends Entries[infer I][0] ? Entries[I][1] : never }; function foo<Class, Key extends keyof Class, Type, Args extends Array<Key | B<Class, Key, Type>>>(obj: Class, ...items: Args): ObjectFromEntries<{ [key in keyof Args]: Args[key] extends Key ? [Args[key], Class[Args[key]]] : Args[key] extends B<Class, infer K, infer T> ? [Args[key]["smth"], T] : never; }> { return null as any; }
stackoverflow.com/q/59996713/4928642