1

Есть такой код

    class A {
      a!: number;
      b!: string;
      c!: boolean;
    }

    class B<Class, Key extends keyof Class, T> {
    }

    function foo<Class, Key extends keyof Class, Type>(
      obj: Class,
      ...items: Array<Key | B<Class, Key, Type>>
    ): {
      [key in Key]: unknown extends Type ? Class[key] : Type;
    } {
      return null as any;
    }

    foo(new A(), "a", "c", new B<A, "b", Date>());
    foo(new A(), new B<A, "b", Date>(), new B<A, "c", string>(), "a");

мне нужно, чтобы возвращаемое значание функции foo в первом случае было {a: number, b: Date, c: boolean}, во втором случае - {a: number, b: Date, c: string}

то есть, мы можем передать ключи как аргументы, но можем передать особый класс, который должен переопределить тип для этого поля, должно работать в любых комбинациях и с проверкой типов и ключей(то есть нельзя выбрать ключ, которого не было в классе А)

3
  • жесть какая-то) зачем все это?
    – ThisMan
    19 окт 2019 в 2:42
  • Ну, пример жесткий, но в реальной задаче эта возможность очень пригодится
    – Lawliet
    19 окт 2019 в 2:47
  • Не работает: 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
    – Qwertiy
    31 янв 2020 в 1:13

1 ответ 1

0
// 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
}

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.