在 switch 语句、功能请求中进行 Typescript 类型检查，还是我做错了？

Question

为什么 typescript 不知道 f1 在传递“SpecificStringObj”类型的参数时返回字符串？

interface F {
  (s: AnyStringObj | SpecificStringObj): string | number;
}

interface AnyStringObj {
  text: string;
}

interface SpecificStringObj {
  text: "specificity";
}

const f1: F = s => {
  switch (s.text) {
    case "specificity":
      return "s";
    default:
      return 1;
  }
};

const stringObj: SpecificStringObj = {
  text: "specificity"
};

const newStringObj: AnyStringObj = { text: f1(stringObj) };

此 Typescript 代码在对象的最后一行 .text 上失败，错误信息为:

[ts]
Type 'string | number' is not assignable to type 'string'.
  Type 'number' is not assignable to type 'string'. [2322]
t.tsx(6, 3): The expected type comes from property 'text' which is declared here on type 'AnyStringObj'
(property) AnyStringObj.text: string

我可以解决这个问题:

const newStringObj: AnyStringObj = { text: f1(stringObj) as string };

我的问题是:为什么 typescript 不知道因为我传递了一个“SpecificStringObj”函数将返回字符串？

---

附加问题:这是否适合功能请求？

Answer 1

您正在寻找function overloading .

interface AnyStringObj {
  text: string;
}

interface SpecificStringObj {
  text: "specificity";
}

function f1(s: SpecificStringObj): string;  
function f1(s: AnyStringObj): number;
function f1(s: AnyStringObj | SpecificStringObj): string | number { 
  switch (s.text) {
    case "specificity":
          return "s";
    default:
      return 1;
  }
}


const stringObj: SpecificStringObj = {
  text: "specificity"
};

const newStringObj: AnyStringObj = { text: f1(stringObj) };

Live example