arg是number类型 那arg+1肯定是number类型。函数返回值Type 也对吧？

Question

arg是number类型 那arg+1肯定是number类型。函数返回值Type 也对吧。
为什么报错呢

function identity<Type>(arg: Type): Type {
  if(typeof arg === 'number' ){
    //Type 'number' is not assignable to type 'Type'.
    // 'Type' could be instantiated with an arbitrary 
    //type which could be unrelated to 'number'.
    return arg + 1  
  }else {
    return arg
  }
}

Answer 1

看图就很容易理解了，比如你传入的是 1 ，那么其实最终的返回值也为 1，而当符合你的 type arg === 'number' 时，你对其进行了 + 1 ，此时为 2 和推断的结果本身就是不一致的。

你疑惑的点其实是先入为主认为，只要你传入数字类型就会被推断为 number 了。

本文参与了SegmentFault 思否面试闯关挑战赛，欢迎正在阅读的你也加入。

Answer 2

报错解释的已经很清楚了，你这个函数要求返回的是 Type 类型，但是你返回的是 number 类型，ts 编译器只能在你 type arg === 'number' 之后推断出下面的类型是 number，并不能推断出 Type 就是 number，所以你还是要把返回的数据断言成 Type 类型

function identity<Type>(arg: Type): Type {
  if (typeof arg === 'number' ){
    return arg + 1 as Type
  }else {
    return arg
  }
}

Answer 3

TS 可以推断出 arg 既是 number 又是 Type，但并不能确定 number 和 Type 之间的关系，更不能直接划等号。

可以在声明的时候使用“重载”声明，调用的时候会自动去匹配类型。

function identity(arg: number): number;
function identity<Type>(arg: Type): Type;
function identity(arg: any): any {
  if (typeof arg === 'number') {
    return arg + 1
  } else {
    return arg
  }
}

const a: number = identity(3);
const b: string = identity("hello");