求教一个typescript的类型定义问题

Question

我定义了三个类型如下：

type ParamsA = {
  same: string;
  a: string;
};
type ParamsB = {
  same: string;
  b: number;
};
type Common = {
  c: number;
};

两个方法：

function fnA(data: ParamsA & Common) {
  console.log(data);
}
function fnB(data: ParamsB & Common) {
  console.log(data);
}

然后我在页面使用的时候：

type Json = Partial<ParamsA & ParamsB>;

const randomBoolean = true; // 这里可能是true，也可能是false
const json: Json = {};

function fnc() {
  // 这里可以保证json里面的值根据randomBoolean的值对应的类型都有
  // 例如，为true的时候就是肯定有same a c，但是b不一定会有
  const params = {
    ...json,
    c: 1,
  };
  if (randomBoolean) {
    delete params.b;
  } else {
    delete params.a;
  }
  const f = randomBoolean ? fnA : fnB;
  f(params);
}

问题就是我在使用f(params)的时候怎么让这个params有上面方法里面定义的类型？

我尝试写了一个方法去推导出类型，但是还是不行，请大佬解答一二。

declare function filterParams<T>(
  x: Json
): T extends true ? ParamsA & Common : ParamsB & Common;

// 使用的时候
f(filterParams<typeof randomUnm>(params))

Answer 1

interface ParamsA {
    same: string,
    a: string
}
interface ParamsB {
    same: string,
    b: number
}
interface Common {
    c: number
}

function fnA(data: ParamsA & Common) {
    console.log("[fnA]", data)
}
function fnB(data: ParamsB & Common) {
    console.log("[fnB]", data)
}

type Json = Partial<ParamsA> & Partial<ParamsB> & Common

function isParamsA(p: Partial<ParamsA & ParamsB>): p is ParamsA {
    return p.same && p.a && typeof p.a === 'string'
}
function isParamsB(p: Partial<ParamsA & ParamsB>): p is ParamsB {
    return p.same && typeof p.b === 'number'
}

function fnc(params: Json) {
    if (isParamsA(params)) {
        fnA(params)
    } else if (isParamsB(params)) {
        fnB(params)
    }
}
const testA: Json = {
    a: 'a型参数独有',
    same: '共同参数',
    c: 1,
}

const testB: Json = {
    b: 12345,
    same: '共同参数',
    c: 1,
}

fnc(testA)
fnc(testB)

这样应该是你想要的。

Answer 2

type ParamsA = {
  same: string;
  a: string;
};
type ParamsB = {
  same: string;
  b: number;
};
type Common = {
  c: number;
};

function fnA(data: ParamsA & Common) {
  console.log(data);
}

function fnB(data: ParamsB & Common) {
  console.log(data);
}

function fnC(randomBoolean: true): typeof fnA;
function fnC(randomBoolean: false): typeof fnB;
function fnC(randomBoolean: boolean) {
  return randomBoolean ? fnA : fnB;
}


type Json = Partial<ParamsA & ParamsB>;

const randomBoolean = true; // 这里可能是true，也可能是false
const json: Json = {};

function fnc() {
  // 这里可以保证json里面的值根据randomBoolean的值对应的类型都有
  // 例如，为true的时候就是肯定有same a c，但是b不一定会有

  const params = {
    ...json,
    c: 1
  };
  if (randomBoolean) {
    delete params.b;
  } else {
    delete params.a;
  }
  const f = fnC(randomBoolean);
  // 这块params 和Json的类型 你定义的稀巴烂， 你自己根据业务 重新搞下吧
  f(params as ParamsA & Common);

  const f2 = fnC(!randomBoolean);
  f2(params as ParamsB & Common);
}